Bledsoe, Woodrow Wilson

Woodrow Wilson Bledsoe
Födelsedatum 12 november 1921( 1921-11-12 ) [1]
Födelseort
Dödsdatum 4 oktober 1995( 1995-10-04 ) [1] (73 år)
En plats för döden
Land
Arbetsplats
Alma mater
vetenskaplig rådgivare Anthony Morse [d] [2]
Utmärkelser och priser Herbrand Award [d] ( 1994 )

Woodrow Wilson (Woody) Bledsoe ( född 12  november 1921  - 4 oktober 1995 ) var en amerikansk artificiell intelligensforskare som gjorde ett betydande bidrag till teorin om mönsterigenkänning [3] och automatiskt bevis . [4] [5] [6] [7]

En del av arbetet

Artiklar

Anteckningar

  1. ↑ 1 2 3 Woody Bledsoe: Hans liv och arv  (engelska) // AI Magazine - AAAI , 1996. - Vol. 17, Iss. 1. - ISSN 0738-4602 ; 2371-9621
  2. ↑ Mathematical Genealogy  (engelska) - 1997.
  3. ↑ W. W. Bledsoe. Några resultat om flerkategorimönsterigenkänning  // J. ACM  :  journal. - 1966. - Vol. 13 . - s. 304-316 .
  4. ↑ W. W. Bledsoe. Splittrings- och reduktionsheuristik i automatisk satsprovning   // Artif . Intellig. : journal. - 1971. - Vol. 2 , nr. 1 . - S. 55-77 .
  5. ↑ W. W. Bledsoe. Proc. IJCAI  (engelska) . - 1975. - S. 15-21.
  6. ↑ W. W. Bledsoe. Bevisande av icke-upplösningssats. ATP29. Föregående teknisk rapport  (engelska)  // Artificiell intelligens . - 1975. - September ( vol. 9 ). - S. 1-35 . - doi : 10.1016/0004-3702(77)90012-1 . Arkiverad från originalet den 4 mars 2016.
  7. ↑ W. W. Bledsoe, Kenneth Kunen, Robert E. Shostak. Fullständighetsresultat för ojämlikhetsprovare. ATP65. Föregående teknisk rapport  (engelska)  // Artif. Intellig.. - 1983. - Vol. 27 , nr. 3 . - S. 255-288 . Arkiverad från originalet den 4 mars 2016.

Länkar

  Gå till Wikidata-objektet  Tematiska platser