Американский математик и учёный-компьютерщик
Вудро Вильсон « Вуди » Бледсо (12 ноября 1921 г. — 4 октября 1995 г.) — американский математик , учёный-компьютерщик и выдающийся педагог. Он является одним из основателей искусственного интеллекта (ИИ), внёс ранний вклад в распознавание образов , [1] распознавание лиц , [2] и автоматическое доказательство теорем . [3] [4] [5] [6] Он продолжал вносить значительный вклад в ИИ на протяжении всей своей долгой карьеры. Одним из его вдохновителей был Фрэнк Розенблатт . [7]
Начиная с 1966 года он работал на кафедре математики и компьютерных наук Техасского университета в Остине , а с 1987 года занимал кафедру Питера О'Доннелла-младшего по компьютерным наукам. [8] : 723
Бледсоу присоединился к Церкви Иисуса Христа Святых последних дней во взрослом возрасте и служил в церкви епископом , советником президентства кола и патриархом кола . Он также был лидером бойскаутов Америки . [9] [10] Бледсоу умер 4 октября 1995 года от бокового амиотрофического склероза , более известного как БАС или болезнь Лу Герига.
Работы
Метод n -кортежа (1959) был ранним методом обучения программы распознавания образов. Основной метод иллюстрируется задачей распознавания 36 буквенно-цифровых символов (0-9, az). [11]
Пусть входными данными будет двоичное изображение 10x15. Оно эквивалентно одной строке со 150 двоичными буквами. Теперь случайным образом разобьем 150 двоичных пикселей на 75 пар. Каждая пара имеет 4 варианта: 00, 01, 10, 11. Теперь мы определим двоичную матрицу 300x36 следующим образом:
Пусть представляет собой 00-состояние первой пары, и аналогично для остальных. У нас есть 300 таких состояний, каждое из которых представлено в строке. Каждый из 36 столбцов соответствует одному буквенно-цифровому символу. Вся двоичная матрица организована следующим образом: Распознаватель образов определяется двоичной матрицей. Он обучается, сначала устанавливая все записи в ноль, затем ему представляют несколько двоичных изображений каждого буквенно-цифрового символа. Для каждого изображения соответствующие записи в матрице устанавливаются в единицу, а другие записи остаются неизменными. Это пример машинного обучения .
После обучения распознавателя его можно использовать для распознавания новых изображений. Сначала вычислите соответствующий вектор столбца нового изображения, затем возьмите скалярное произведение с каждым столбцом двоичной матрицы. Столбец с наибольшим скалярным произведением выводится как наиболее вероятный символ.
Дальнейшее чтение
- Бойер, Энн Оливия; Бойер, Роберт С. (1991). «Биографический очерк У. В. Бледсо». В Бойер, Роберт С. (ред.). Автоматизированное рассуждение: эссе в честь Вуди Бледсо . Kluwer Academic Publishers Group. стр. 1–29. CiteSeerX 10.1.1.57.3396 . ISBN 9780792314097.
Избранные публикации
- WW Bledsoe (1977). «Доказательство теоремы о неразрешимости». Искусственный интеллект . 9 : 1–35. CiteSeerX 10.1.1.455.6139 . doi :10.1016/0004-3702(77)90012-1.
- WW Bledsoe; I. Browning (1959). "Pattern Recognition and Reading by Machine". Доклады, представленные на Восточной объединенной компьютерной конференции IRE-AIEE-ACM 1–3 декабря 1959 г. IRE-AIEE-ACM '59 (Восточная): 225–232. doi : 10.1145/1460299.1460326 . S2CID 15672245.
- Вуди Бледсо (1986). «У меня был сон: Президентское обращение AAAI, 19 августа 1985 года». Журнал AI . 7 (1): 57–61.
Ссылки
- ^ WW Bledsoe (1966). «Некоторые результаты распознавания многокатегорийных образов». J. ACM . 13 (2): 304–316. doi : 10.1145/321328.321340 . S2CID 17150326.
- ^ Равив, Шон. «Тайная история распознавания лиц». Wired . ISSN 1059-1028 . Получено 31 августа 2023 г.
- ^ WW Bledsoe (1971). «Эвристики расщепления и редукции в автоматическом доказательстве теорем» (PDF) . Artif. Intell . 2 (1): 55–77. doi :10.1016/0004-3702(71)90004-x.
- ^ WW Bledsoe (сентябрь 1975 г.). «Новый метод доказательства некоторых формул Пресбургера». Труды IJCAI (PDF) . стр. 15–21.
- ^ WW Bledsoe (1977). «Доказательство теоремы неразрешимости». Искусственный интеллект . 9 : 1–35. CiteSeerX 10.1.1.455.6139 . doi :10.1016/0004-3702(77)90012-1. — Предшествующий технический отчет ATP29 (сентябрь 1975 г.)
- ^ WW Bledsoe и Kenneth Kunen и Robert E. Shostak (1985). «Результаты полноты для доказательств неравенств». Artif. Intell . 27 (3): 255–288. doi :10.1016/0004-3702(85)90015-3.— Предшествующий технический отчет ATP65 (1983)
- ^ МакКордак, Памела (2018). Машины, которые думают: личное расследование истории и перспектив искусственного интеллекта . Книга AK Peters. Boca Raton London New York: CRC Press. стр. 106. ISBN 978-1-56881-205-2.
- ^ Жан-Луи Лассе; Гордон Плоткин , ред. (1991). Вычислительная логика — Эссе в честь Алана Робинсона . Кембридж/Массачусетс: MIT Press. ISBN 978-0-262-12156-9.
- ↑ Мемориальная резолюция – Вудро В. Бледсоу
- ^ "Умер пионер науки Техасского университета 'Вуди' Бледсоу". Austin American-Statesman . 6 октября 1995 г. Получено 13 марта 2013 г.
- ^ Bledsoe, WW; Browning, I. (1959). "Pattern recognize and reading by machine". Доклады, представленные на восточной совместной компьютерной конференции IRE-AIEE-ACM '59 (Eastern) 1-3 декабря 1959 г. ACM Press. стр. 225–232. doi :10.1145/1460299.1460326. ISBN 978-1-4503-7868-0. S2CID 15672245.
Внешние ссылки
- Майкл Баллантайн, Роберт С. Бойер и Ларри Хайнс. «Вуди Бледсо: его жизнь и наследие» Журнал AI, т. 17. № 1, стр. 7–20, весна 1996 г., Американская ассоциация искусственного интеллекта.
- Вуди Бледсоу на библиографическом сервере DBLP
- WW Bledsoe на вики-сайте по программированию шахмат