Bledsoe, Woodrow Wilson

Woodrow Wilson Bledsoe
Syntymäaika 12. marraskuuta 1921( 11.12.1921 ) [1]
Syntymäpaikka
Kuolinpäivämäärä 4. lokakuuta 1995( 10.4.1995 ) [1] (73-vuotias)
Kuoleman paikka
Maa
Työpaikka
Alma mater
tieteellinen neuvonantaja Anthony Morse [d] [2]
Palkinnot ja palkinnot Herbrand-palkinto [d] ( 1994 )

Woodrow Wilson (Woody) Bledsoe ( s . 12. marraskuuta  1921  - 4. lokakuuta 1995 ) oli amerikkalainen tekoälytutkija, joka antoi merkittävän panoksen hahmontunnistuksen [3] ja automaattisen todistuksen teoriaan . [4] [5] [6] [7]

Osa töistä

Artikkelit

Muistiinpanot

  1. ↑ 1 2 3 Woody Bledsoe: Hänen elämänsä ja perintönsä  (englanniksi) // AI Magazine - AAAI , 1996. - Voi. 17, Iss. 1. - ISSN 0738-4602 ; 2371-9621
  2. ↑ Matemaattinen sukututkimus  (englanniksi) - 1997.
  3. ↑ W. W. Bledsoe. Jotkut tulokset monikategoriakuvioiden tunnistamisesta  // J. ACM  :  Journal. - 1966. - Voi. 13 . - s. 304-316 .
  4. ↑ W. W. Bledsoe. Jakamis- ja pelkistysheuristiikka automaattisessa lausetodistuksessa   // Artif . Intellig. : päiväkirja. - 1971. - Voi. 2 , ei. 1 . - s. 55-77 .
  5. ↑ W. W. Bledsoe. Proc. IJCAI  (englanniksi) . - 1975. - s. 15-21.
  6. ↑ W. W. Bledsoe. Ei-resoluutiolauseen todistaminen. ATP29. Edellinen tekninen raportti  (englanniksi)  // Artificial Intelligence . - 1975. - syyskuu ( osa 9 ). - s. 1-35 . - doi : 10.1016/0004-3702(77)90012-1 . Arkistoitu alkuperäisestä 4. maaliskuuta 2016.
  7. ↑ W. W. Bledsoe, Kenneth Kunen, Robert E. Shostak. Täydellisyystulokset eriarvoisuuden todistajille. ATP65. Edellinen tekninen raportti  (englanniksi)  // Artif. Intellig.. - 1983. - Voi. 27 , ei. 3 . - s. 255-288 . Arkistoitu alkuperäisestä 4. maaliskuuta 2016.

Linkit

  Siirry Wikidata-kohteeseen  Temaattiset sivustot