Вуди Бледсо - Woody Bledsoe

Вудро Вильсон Бледсо
Родившийся	(1921-11-12)12 ноября 1921 г. Мейсвилл, Оклахома
Умер	4 октября 1995 г.(1995-10-04) (73 года)
Альма-матер	Калифорнийский университет в Беркли
Супруг (а)	Вирджиния (урожденная Норгаард)
Дети	4
Награды	Бронзовая звездная медаль 1945, IJCAI Премия за выдающиеся заслуги 1991 г., AMS Премия Milestone 1991, Премия Herbrand 1994
Научная карьера
Тезис	Разделительные меры для топологических пространств (1953)
Докторант	Энтони Перри Морс
Докторанты	Роберт С. Бойер

Вудро Вильсон "Вуди" Bledsoe (12 ноября 1921 - 4 октября 1995) был американцем математик, специалист в области информатики, и выдающийся педагог. Он один из основателей искусственный интеллект (AI), сделав ранний вклад в распознавание образов^[1] и автоматическое доказательство теорем.^[2][3][4][5] Он продолжал вносить значительный вклад в ИИ на протяжении всей своей долгой карьеры.

С 1966 года работал на кафедре математики и информатики Московского государственного университета им. Техасский университет в Остине, держа Питер О'Доннелл мл. Столетняя кафедра компьютерных наук с 1987 года.^[6]:723

Бледсо присоединился Церковь Иисуса Христа Святых последних дней будучи взрослым, и служил в церкви как епископ, советник Ставка президентство и кол патриарх. Он также был лидером в Бойскауты Америки.^[7][8] Бледсо умер 4 октября 1995 г. боковой амиотрофический склероз, более известный как БАС или болезнь Лу Герига.

дальнейшее чтение

• Бойер, Энн Оливия; Бойер, Роберт С. (1991). "Биографический очерк В. В. Бледсо". В Бойе, Роберт С. (ред.). Автоматизированное рассуждение: очерки в честь Вуди Бледсо. Kluwer Academic Publishers Group. стр.1 –29. CiteSeerX  10.1.1.57.3396.

Избранные публикации

• W.W. Бледсо (1977). «Доказательство теорем о неразрешающей способности». Искусственный интеллект. 9: 1–35. CiteSeerX  10.1.1.455.6139. Дои:10.1016/0004-3702(77)90012-1.
• W.W. Бледсо; И. Браунинг (1959). «Распознавание образов и чтение машиной». Доклады, представленные на 1–3 декабря 1959 г., Восточная объединенная компьютерная конференция IRE-AIEE-ACM. IRE-AIEE-ACM '59 (Восточный): 225–232. Дои:10.1145/1460299.1460326.
• Вуди Бледсо (1986). "Мне приснился сон: Послание президента AAAI, 19 августа 1985 г.". Журнал AI. 7 (1): 57–61.

Рекомендации

1. W.W. Бледсо (1966). «Некоторые результаты по распознаванию мультикатегорийных образов». J. ACM. 13 (2): 304–316. Дои:10.1145/321328.321340.
2. W.W. Бледсо (1971). «Эвристика расщепления и редукции в автоматическом доказательстве теорем» (PDF). Артиф. Intell. 2 (1): 55–77. Дои:10.1016 / 0004-3702 (71) 90004-х.
3. W.W. Бледсо (сентябрь 1975 г.). «Новый метод доказательства некоторых формул Пресбургера». Proc. IJCAI (PDF). С. 15–21.
4. W.W. Бледсо (1977). «Доказательство теоремы о неразрешающей способности». Искусственный интеллект. 9: 1–35. CiteSeerX  10.1.1.455.6139. Дои:10.1016/0004-3702(77)90012-1. - Предыдущий технический отчет ATP29 (Сентябрь 1975 г.)
5. W.W. Бледсо, Кеннет Кунен и Роберт Э. Шостак (1985). «Результаты полноты для средств доказательства неравенства». Артиф. Intell. 27 (3): 255–288. Дои:10.1016/0004-3702(85)90015-3. - Предыдущий технический отчет ATP65 (1983)
6. Жан-Луи Лассез; Гордон Плоткин, ред. (1991). Вычислительная логика - Очерки в честь Алана Робинсона. Кембридж / Массачусетс: MIT Press. ISBN  978-0-262-12156-9.
7. Мемориальная резолюция - Вудро В. Бледсо
8. "Умер пионер науки UT Вуди Бледсо". Остин, американский государственный деятель. 6 октября 1995 г.. Получено 13 марта, 2013.

внешняя ссылка

• Майкл Баллантайн, Роберт С. Бойер и Ларри Хайнс. "Вуди Бледсо: его жизнь и наследие" AI Magazine, Vol. 17. № 1, стр. 7–20, весна 1996 г., Американская ассоциация искусственного интеллекта.
• W.W. Публикации Бледсо в DBLP
• W.W. Bledsoe на шахматное программирование вики