Бледсоу, Вудро Вильсон

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Вудро Вильсон Бледсоу
Дата рождения 12 ноября 1921(1921-11-12)[1]
Место рождения
  • Maysville[вд], Гарвин, Оклахома, США[1]
Дата смерти 4 октября 1995(1995-10-04)[1] (73 года)
Место смерти
Страна
Род деятельности математик, священник, специалист в области информатики, инженер, исследователь искусственного интеллекта
Место работы
Альма-матер
Научный руководитель Энтони Морс[вд][2]
Награды и премии

Вудро Уилсон (Вудди) Бледсоу (англ. Woodrow Wilson (Woody) Bledsoe; р. 12 ноября 1921 — 4 октября 1995) — американский учёный в области искусственного интеллекта, сделавший значительный вклад в теорию распознавания образов[3] и автоматического доказательства.[4][5][6][7]

Некоторые работы

[править | править код]

Примечания

[править | править код]
  1. 1 2 3 Woody Bledsoe: His Life and Legacy (англ.) // AI MagazineAAAI, 1996. — Vol. 17, Iss. 1. — ISSN 0738-4602; 2371-9621
  2. Mathematics Genealogy Project (англ.) — 1997.
  3. W. W. Bledsoe. Some Results on Multicategory Pattern Recognition (англ.) // J. ACM : journal. — 1966. — Vol. 13. — P. 304—316.
  4. W. W. Bledsoe. Splitting and Reduction Heuristics in Automatic Theorem Proving (англ.) // Artif. Intellig. : journal. — 1971. — Vol. 2, no. 1. — P. 55—77. Архивировано 12 марта 2020 года.
  5. W. W. Bledsoe. Proc. IJCAI (англ.). — 1975. — P. 15—21. Архивировано 5 августа 2016 года.
  6. W. W. Bledsoe. Non-Resolution Theorem Proving. ATP29. Preceding technical report (англ.) // Artificial Intelligence. — 1975. — September (vol. 9). — P. 1—35. — doi:10.1016/0004-3702(77)90012-1. Архивировано 4 марта 2016 года.
  7. W. W. Bledsoe, Kenneth Kunen, Robert E. Shostak. Completeness Results for Inequality Provers. ATP65. Preceding technical report (англ.) // Artif. Intellig.. — 1983. — Vol. 27, no. 3. — P. 255—288. Архивировано 4 марта 2016 года.