Bledsoe, Woodrow Wilson

Woodrow Wilson Bledsoe
Születési dátum 1921. november 12.( 1921-11-12 ) [1]
Születési hely
Halál dátuma 1995. október 4.( 1995-10-04 ) [1] (73 évesen)
A halál helye
Ország
Munkavégzés helye
alma Mater
tudományos tanácsadója Anthony Morse [d] [2]
Díjak és díjak Herbrand-díj [d] ( 1994 )

Woodrow Wilson (Woody) Bledsoe ( született  : 1921. november  12. 1995. október 4. ) amerikai mesterséges intelligencia tudós , aki jelentős mértékben hozzájárult a mintafelismerés [3] és az automatikus bizonyítás elméletéhez . [4] [5] [6] [7]

A munka egy része

Cikkek

Jegyzetek

  1. 1 2 3 Woody Bledsoe: His Life and Legacy  (angolul) // AI Magazine - AAAI , 1996. - Vol. 17, Iss. 1. - ISSN 0738-4602 ; 2371-9621
  2. Matematikai genealógia  (angol) - 1997.
  3. W. W. Bledsoe. Néhány eredmény a többkategóriás mintafelismerésről  // J. ACM  :  folyóirat. - 1966. - 1. évf. 13 . - P. 304-316 .
  4. W. W. Bledsoe. Felosztási és redukciós heurisztika az automatikus   tételbizonyításban // Artif . Intellig. : folyóirat. - 1971. - 1. évf. 2 , sz. 1 . - P. 55-77 .
  5. W. W. Bledsoe. Proc. IJCAI  (angol) . - 1975. - P. 15-21.
  6. W. W. Bledsoe. Nem-felbontási tétel bizonyítása. ATP29. Előző műszaki jelentés  (angol)  // Mesterséges intelligencia . - 1975. - szeptember ( 9. köt. ). - P. 1-35 . - doi : 10.1016/0004-3702(77)90012-1 . Az eredetiből archiválva: 2016. március 4.
  7. W. W. Bledsoe, Kenneth Kunen, Robert E. Shostak. Teljességi eredmények egyenlőtlenség-bizonyítók számára. ATP65. Előző műszaki jelentés  (angol)  // Artif. Intellig.. - 1983. - évf. 27 , sz. 3 . - P. 255-288 . Az eredetiből archiválva: 2016. március 4.

Linkek