Вудро Вілсон Бледсоу

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
Вудро Вілсон Бледсоу
англ. Woodrow Wilson Bledsoe
Bledsoe.gif
Народився 12 листопада 1921(1921-11-12)
Мейсвілл, Оклахома[en]
Помер 4 жовтня 1995(1995-10-04) (73 роки)
Техас
·бічний аміотрофічний склероз[2]
Громадянство США США
Діяльність математик, священик, інформатик, інженер, artificial intelligence researcher
Alma mater Університет Каліфорнії (Берклі)
Сфера інтересів Інформатика,
Штучний інтелект
Заклад Sandia National Laboratories[en],
Техаський університет
Науковий керівник англ. Anthony Perry Morse [1]
Нагороди

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

Деякі праці[ред. | ред. код]

Статті[ред. | ред. код]


Примітки[ред. | ред. код]

  1. Woodrow Wilson Bledsoe. Mathematics Genealogy Project. (англ.)
  2. Woody Bledsoe: His Life and Legacy // AI MagazineАсоціація з розвитку штучного інтелекту, 1996. — Т. 17, вип. 1. — ISSN 0738-4602
  3. W.W. Bledsoe (1966). Some Results on Multicategory Pattern Recognition. J.ACM 13 (2): 304–316.  (англ.)
  4. W.W. Bledsoe (1971). Splitting and Reduction Heuristics in Automatic Theorem Proving. Artif. Intell. 2 (1): 55–77.  (англ.)
  5. W.W. Bledsoe (Sep 1975). A New Method for Proving Certain Presburger Formulas. Proc. IJCAI. с. 15–21.  (англ.)
  6. W.W. Bledsoe (1977). Non-Resolution Theorem Proving. Artificial Intelligence 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 (1985). Completeness Results for Inequality Provers. Artif. Intell. 27 (3): 255–288.  — Preceding technical report ATP65 (1983) (англ.)

Посилання[ред. | ред. код]