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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Вудро Вильсон Бледсоу
Bledsoe.gif
Дата рождения 12 ноября 1921(1921-11-12)[1]
Место рождения
Дата смерти 4 октября 1995(1995-10-04)[1] (73 года)
Место смерти
Страна
Место работы
Альма-матер
Научный руководитель Anthony Morse[d][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. Математическая генеалогия (англ.) — 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. (англ.)
  5. W. W. Bledsoe. Proc. IJCAI (неопр.). — 1975. — С. 15—21. (англ.)
  6. W. W. Bledsoe. Non-Resolution Theorem Proving (неопр.) // Artificial Intelligence. — 1977. — Т. 9. — С. 1—35. — doi:10.1016/0004-3702(77)90012-1. — Preceding technical report ATP29 (Sep.1975) (англ.)
  7. W. W. Bledsoe and Kenneth Kunen and Robert E. Shostak. Произведенной Results for Inequality Provers (неопр.) // Artif. Intellig.. — 1985. — Т. 27, № 3. — С. 255—288. — Preceding technical report ATP65 (1983) (англ.)

Ссылки[править | править код]