Вікіпедія

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

штатівський математик, інформатик, дослідник штучного інтелекту (1921–95)
Немає перевірених версій цієї сторінки; ймовірно, її ще не перевіряли на відповідність правилам проекту.

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

Вудро Вілсон Бледсоу
англ. Woodrow Wilson Bledsoe
Народився12 листопада 1921(1921-11-12)
Мейсвілл, Оклахома
Помер4 жовтня 1995(1995-10-04) (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]
Нагороди

Деякі праці

ред.

Статті

ред.
  • 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. (англ.)

Примітки

ред.
  1. ↑ Woodrow Wilson Bledsoe. Mathematics Genealogy Project [Архівовано 4 березня 2016 у Wayback Machine.]. (англ.)
  2. ↑ Woody Bledsoe: His Life and Legacy // AI Magazine — AAAI, 1996. — Vol. 17, Iss. 1. — ISSN 0738-4602; 2371-9621
  3. ↑ а б в г д е ж и к л м н п р с т Математичний генеалогічний проєкт — 1997.
  4. ↑ W.W. Bledsoe (1966). Some Results on Multicategory Pattern Recognition. J.ACM. 13 (2): 304—316. (англ.)
  5. ↑ W.W. Bledsoe (1971). Splitting and Reduction Heuristics in Automatic Theorem Proving (PDF). Artif. Intell. 2 (1): 55—77. Архів оригіналу (PDF) за 12 березня 2020. Процитовано 5 червня 2016. (англ.)
  6. ↑ W.W. Bledsoe (Sep 1975). A New Method for Proving Certain Presburger Formulas. Proc. IJCAI (PDF). с. 15—21. Архів оригіналу (PDF) за 5 серпня 2016. Процитовано 5 червня 2016. (англ.)
  7. ↑ 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) (англ.)
  8. ↑ 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) (англ.)

Посилання

ред.


  Це незавершена стаття про особу США.
Ви можете допомогти проєкту, виправивши або дописавши її.
  Це незавершена стаття про науковця.
Ви можете допомогти проєкту, виправивши або дописавши її.
  Це незавершена стаття про IT-спеціаліста чи спеціалістку.
Ви можете допомогти проєкту, виправивши або дописавши її.
  Це незавершена стаття зі штучного інтелекту.
Ви можете допомогти проєкту, виправивши або дописавши її.
Отримано з https://uk.wikipedia.org/wiki/Вудро_Вілсон_Бледсоу