Bledsoe, Woodrow Wilson

Woodrow Wilson Bledsoe
Data nașterii 12 noiembrie 1921( 1921-11-12 ) [1]
Locul nașterii
Data mortii 4 octombrie 1995( 04.10.1995 ) [1] (vârsta 73)
Un loc al morții
Țară
Loc de munca
Alma Mater
consilier științific Anthony Morse [d] [2]
Premii și premii Premiul Herbrand [d] ( 1994 )

Woodrow Wilson (Woody) Bledsoe ( născut la 12 noiembrie  1921 - 4 octombrie 1995  ) a fost un om de știință american în inteligența artificială care a adus o contribuție semnificativă la teoria recunoașterii modelelor [3] și a demonstrației automate . [4] [5] [6] [7]

O parte din lucrări

Articole

Note

  1. ↑ 1 2 3 Woody Bledsoe: His Life and Legacy  (engleză) // AI Magazine - AAAI , 1996. - Vol. 17, Iss. 1. - ISSN 0738-4602 ; 2371-9621
  2. ↑ Genealogia matematică  (engleză) - 1997.
  3. ↑ W. W. Bledsoe. Câteva rezultate privind recunoașterea modelelor multicategorie  // J. ACM  :  jurnal. - 1966. - Vol. 13 . - P. 304-316 .
  4. ↑ W. W. Bledsoe. Euristica de divizare și reducere în demonstrarea teoremei automate   // Artif . Intelig. : jurnal. - 1971. - Vol. 2 , nr. 1 . - P. 55-77 .
  5. ↑ W. W. Bledsoe. Proc. IJCAI  (engleză) . - 1975. - P. 15-21.
  6. ↑ W. W. Bledsoe. Demonstrarea teoremei fără rezoluție. ATP29. Raport tehnic precedent  (engleză)  // Inteligență artificială . - 1975. - Septembrie ( vol. 9 ). - P. 1-35 . - doi : 10.1016/0004-3702(77)90012-1 . Arhivat din original pe 4 martie 2016.
  7. ↑ W. W. Bledsoe, Kenneth Kunen, Robert E. Shostak. Rezultate complete pentru doveditorii de inegalitate. ATP65. Raport tehnic precedent  (engleză)  // Artif. Intellig.. - 1983. - Vol. 27 , nr. 3 . - P. 255-288 . Arhivat din original pe 4 martie 2016.

Link -uri

  Accesați articolul Wikidata  Site-uri tematice