Вудро Вілсон Бледсоу
Перейти до навігації
Перейти до пошуку
Вудро Вілсон Бледсоу | |
---|---|
англ. Woodrow Wilson Bledsoe | |
![]() | |
Народився | 12 листопада 1921 Мейсвілл, Оклахома |
Помер | 4 жовтня 1995 (73 роки) Техас ·бічний аміотрофічний склероз[2] |
Країна | ![]() |
Діяльність | математик, священник, інформатик, інженер, дослідник штучного інтелекту |
Alma mater | Університет Каліфорнії (Берклі) |
Галузь | Інформатика, Штучний інтелект |
Заклад | Sandia National Laboratories, Техаський університет |
Науковий керівник | англ. Anthony Perry Morse [1] |
Аспіранти, докторанти | Роберт Бойерd[3] Larry Marvin Hinesd[3] James Bertram Morris, Jr.d[3] Charles Edward Wilksd[3] John Wade Ulrichd[3] Vesko Genov Marinovd[3] Dallas Sylvester Lankford IVd[3] Guohui Fengd[3] Stephen Charles Dardend[3] Robert Brockett Andersond[3] Mark Steven Moriconid[3] John Threecivelous Minor, IIId[3] Peter Leonard Bruelld[3] William Mabry Tysond[3] Tie-Cheng Wangd[3] Donald Lee Simond[3] |
Нагороди |
|
Вудро Вілсон (Вудді) Бледсоу (англ. Woodrow Wilson (Woody) Bledsoe; нар.12 листопада 1921 — пом.4 жовтня 1995) — видатний американський науковець в галузі штучного інтелекту, зробивший значні внески в теорію розпізнавання образів[4] та автоматичного доведення.[5][6][7][8]
- W.W. Bledsoe (1977). Non-Resolution Theorem Proving. Artificial Intelligence. 9: 1—35. doi:10.1016/0004-3702(77)90012-1. (англ.)
- W.W. Bledsoe; I. Browning (1959). Pattern Recognition and Reading by Machine. Papers Presented at the December 1-3, 1959, Eastern Joint IRE-AIEE-ACM Computer Conference. IRE-AIEE-ACM '59 (Eastern). ACM: 225—232. doi:10.1145/1460299.1460326. (англ.)
- Woody Bledsoe (1986). I Had a Dream: AAAI Presidential Address, 19 August 1985. AI Magazine. 7 (1): 57—61. Архів оригіналу за 22 жовтня 2016. Процитовано 5 червня 2016. (англ.)
- ↑ Woodrow Wilson Bledsoe. Mathematics Genealogy Project [Архівовано 4 березня 2016 у Wayback Machine.]. (англ.)
- ↑ Woody Bledsoe: His Life and Legacy // AI Magazine — AAAI, 1996. — Vol. 17, Iss. 1. — ISSN 0738-4602; 2371-9621
- ↑ а б в г д е ж и к л м н п р с т Математичний генеалогічний проєкт — 1997.
- ↑ W.W. Bledsoe (1966). Some Results on Multicategory Pattern Recognition. J.ACM. 13 (2): 304—316. (англ.)
- ↑ W.W. Bledsoe (1971). Splitting and Reduction Heuristics in Automatic Theorem Proving (PDF). Artif. Intell. 2 (1): 55—77. Архів оригіналу (PDF) за 12 березня 2020. Процитовано 5 червня 2016. (англ.)
- ↑ W.W. Bledsoe (Sep 1975). A New Method for Proving Certain Presburger Formulas. Proc. IJCAI (PDF). с. 15—21. Архів оригіналу (PDF) за 5 серпня 2016. Процитовано 5 червня 2016. (англ.)
- ↑ 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 [Архівовано 4 березня 2016 у Wayback Machine.] (Sep.1975) (англ.)
- ↑ 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 [Архівовано 4 березня 2016 у Wayback Machine.] (1983) (англ.)
- Перелік публікацій на DBLP [Архівовано 22 жовтня 2016 у Wayback Machine.] (англ.)
- Boyer, Anne Olivia; Boyer, Robert S. (1991). A Biographical Sketch of W. W. Bledsoe. У Boyer, Robert S. (ред.). Automated Reasoning: Essays in Honor of Woody Bledsoe. Kluwer Academic Publishers Group. с. 1–29. CiteSeerX: 10.1.1.57.3396. (англ.)
![]() |
Це незавершена стаття про особу США. Ви можете допомогти проєкту, виправивши або дописавши її. |
![]() |
Це незавершена стаття про науковця. Ви можете допомогти проєкту, виправивши або дописавши її. |
![]() |
Це незавершена стаття про IT-спеціаліста чи спеціалістку. Ви можете допомогти проєкту, виправивши або дописавши її. |
![]() |
Це незавершена стаття зі штучного інтелекту. Ви можете допомогти проєкту, виправивши або дописавши її. |