Woody Bledsoe

mathématicien américain

Woodrow Wilson « Woody » Bledsoe (né le et mort le ) est un mathématicien et informaticien américain. Il est l'un des fondateurs de l'intelligence artificielle, apportant parmi les premières contributions à la reconnaissance de formes[1] et à la démonstration automatisée de théorèmes[2],[3],[4],[5].

Woody Bledsoe
Biographie
Naissance
Décès
Voir et modifier les données sur Wikidata (à 73 ans)
TexasVoir et modifier les données sur Wikidata
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Directeur de thèse
Anthony Morse (en) ()Voir et modifier les données sur Wikidata
Distinctions

Biographie

modifier

À partir de 1966, il travaille au département de mathématiques et d'informatique de l'Université du Texas à Austin, où il occupe la chaire Peter O'Donnell Jr. Centennial en science informatique à partir de 1987[6].

Bledsoe rejoint l'Église de Jésus-Christ des saints des derniers jours adulte. Il est également un temps chef de file des Boy Scouts of America[7]. Il décède le 4 octobre 1995 d'une sclérose latérale amyotrophique.

Sélection de publications

modifier
  • W.W. Bledsoe, « Non-Resolution Theorem Proving », Artificial Intelligence, vol. 9,‎ , p. 1–35 (DOI 10.1016/0004-3702(77)90012-1)
  • W.W. Bledsoe et I. Browning, « Pattern Recognition and Reading by Machine », Papers Presented at the December 1–3, 1959, Eastern Joint IRE-AIEE-ACM Computer Conference, iRE-AIEE-ACM '59 (Eastern),‎ , p. 225–232 (DOI 10.1145/1460299.1460326)
  • Woody Bledsoe, « I Had a Dream: AAAI Presidential Address, 19 August 1985 », AI Magazine, vol. 7,‎ , p. 57–61 (lire en ligne)

Bibliographie

modifier
  • Anne Olivia Boyer et Robert S. Boyer, Automated Reasoning: Essays in Honor of Woody Bledsoe, Kluwer Academic Publishers Group, , 1–29 (lire en ligne), « A Biographical Sketch of W. W. Bledsoe »

Références

modifier
  1. W.W. Bledsoe, « Some Results on Multicategory Pattern Recognition », J. ACM, vol. 13,‎ , p. 304–316 (DOI 10.1145/321328.321340)
  2. W.W. Bledsoe, « Splitting and Reduction Heuristics in Automatic Theorem Proving », Artif. Intell., vol. 2,‎ , p. 55–77 (DOI 10.1016/0004-3702(71)90004-x, lire en ligne)
  3. W.W. Bledsoe, Proc. IJCAI, , 15–21 p. (lire en ligne), « A New Method for Proving Certain Presburger Formulas »
  4. (en) W.W. Bledsoe, « Non-resolution theorem proving », Artificial Intelligence, vol. 9, no 1,‎ , p. 1–35 (DOI 10.1016/0004-3702(77)90012-1, lire en ligne, consulté le )
  5. W.W. Bledsoe and Kenneth Kunen and Robert E. Shostak, « Completeness Results for Inequality Provers », Artif. Intell., vol. 27,‎ , p. 255–288 (DOI 10.1016/0004-3702(85)90015-3) — Preceding technical report ATP65 (1983)
  6. Computational Logic — Essays in Honor of Alan Robinson, Cambridge/MA, MIT Press, , 727 p. (ISBN 978-0-262-12156-9)
  7. « Archive Search Results », sur nl.newsbank.com (consulté le )

Liens externes

modifier