Bledsoe, Woodrow Wilson

Woodrow Wilson Bledsoe
Fecha de nacimiento 12 de noviembre de 1921( 1921-11-12 ) [1]
Lugar de nacimiento
Fecha de muerte 4 de octubre de 1995( 1995-10-04 ) [1] (73 años)
Un lugar de muerte
País
Lugar de trabajo
alma mater
consejero científico Antonio Morse [d] [2]
Premios y premios Premio Herbrand [d] ( 1994 )

Woodrow Wilson (Woody) Bledsoe ( nacido el  12 de noviembre de 1921  - 4 de octubre de 1995 ) fue un científico de inteligencia artificial estadounidense que hizo una contribución significativa a la teoría del reconocimiento de patrones [3] y la prueba automática . [4] [5] [6] [7]

Parte del trabajo

Artículos

Notas

  1. ↑ 1 2 3 Woody Bledsoe: su vida y legado  (inglés) // Revista AI - AAAI , 1996. - Vol. 17, edición. 1.- ISSN 0738-4602 ; 2371-9621
  2. ↑ Genealogía matemática  (inglés) - 1997.
  3. ↑ WW Bledsoe. Algunos resultados sobre el reconocimiento de patrones multicategoría  // J. ACM  :  revista. - 1966. - Vol. 13 _ - P. 304-316 .
  4. ↑ WW Bledsoe. Heurística de división y reducción en la demostración automática de teoremas   // Artif . Intelig. : diario. - 1971. - vol. 2 , núm. 1 . - Pág. 55-77 .
  5. ↑ WW Bledsoe. proc. IJCAI  (inglés) . - 1975. - Págs. 15-21.
  6. ↑ WW Bledsoe. Demostración del teorema de no resolución. ATP29. Informe técnico anterior  (inglés)  // Inteligencia artificial . - 1975. - Septiembre ( vol. 9 ). - Pág. 1-35 . - doi : 10.1016/0004-3702(77)90012-1 . Archivado desde el original el 4 de marzo de 2016.
  7. ↑ W. W. Bledsoe, Kenneth Kunen, Robert E. Shostak. Resultados de completitud para probadores de desigualdad. ATP65. Informe técnico precedente  (inglés)  // Artif. Intelig.. - 1983. - vol. 27 , núm. 3 . - pág. 255-288 . Archivado desde el original el 4 de marzo de 2016.

Enlaces

  Ir al elemento de Wikidata  sitios temáticos