Woody Bledsoe
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].
Biographie
À 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
- 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)
Lectures complémentaires
- 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
- W.W. Bledsoe, « Some Results on Multicategory Pattern Recognition », J. ACM, vol. 13,‎ , p. 304–316 (DOI 10.1145/321328.321340)
- 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)
- W.W. Bledsoe, Proc. IJCAI, , 15–21 p. (lire en ligne), « A New Method for Proving Certain Presburger Formulas »
- (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 )
- 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)
- Computational Logic — Essays in Honor of Alan Robinson, Cambridge/MA, MIT Press, , 727 p. (ISBN 978-0-262-12156-9)
- « Archive Search Results », sur nl.newsbank.com (consulté le )
Liens externes
- Michael Ballantyne, Robert S. Boyer and Larry Hines. "Woody Bledsoe: His Life and Legacy" AI Magazine, Vol. 17. No. 1, pp. 7–20, Spring 1996, American Association for Artificial Intelligence.
- Publications de WW Bledsoe au DBLP
- WW Bledsoe sur le wiki de programmation d'Ă©checs
- Ressources relatives Ă la recherche :