Woodrow Wilson Bledsoe
November 12, 1921
October 4, 1995
Separative Measures for Topological Spaces (1953)
Anthony Perry Morse
Robert S. Boyer, Peter Bruell, Stephen Darden, Guohui Feng, Larry Hines, Dallas Lankford, Vesko Marinov, John Minor, Mark Moriconi, James Morris, Donald Simon, William Tyson, John Ulrich, Tie-Cheng Wang, Charles Wilks
IJCAI Distinguished Service Award 1991, AMS Milestone Award 1991
Virginia (née Norgaard)
Margaret, Greg, Pam, Lance
Woodrow Wilson "Woody" Bledsoe (November 12, 1921 – October 4, 1995) was a mathematician, computer scientist, and prominent educator. He is one of the founders of artificial intelligence, making early contributions in pattern recognition and [1 ] automated theorem proving. [2 ] [3 ] [4 ] He continued to make significant contributions to AI throughout his long career. [5 ]
The Church of Jesus Christ of Latter-day Saints as an adult, and served in the church as a Bishop, counselor to the Stake Presidency, and Stake Patriarch. He also served as a leader in the Boy Scouts of America. [6 ] Bledsoe died on October 4, 1995 of [7 ] ALS, more commonly known as Lou Gehrig's disease.
^ W.W. Bledsoe (1966). "Some Results on Multicategory Pattern Recognition". J.ACM 13 (2): 304–316.
^ W.W. Bledsoe (1971). "Splitting and Reduction Heuristics in Automatic Theorem Proving" (PDF). Artif. Intell. 2 (1): 55–77.
^ W.W. Bledsoe (Sep 1975). "A New Method for Proving Certain Presburger Formulas". Proc. IJCAI (PDF). pp. 15–21.
^ W.W. Bledsoe (1977). "Non-Resolution Theorem Proving". Artificial Intelligence 9: 1–35. doi: 10.1016/0004-3702(77)90012-1. — Preceding technical report ATP29 (Sep.1975)
^ W.W. Bledsoe and Kenneth Kunen and Robert E. Shostak (1985). "Completeness Results for Inequality Provers". Artif. Intell. 27 (3): 255–288. — Preceding technical report ATP65 (1983)
^ Memorial Resolution – Woodrow W. Bledsoe
^ "UT science pioneer `Woody' Bledsoe dies". Austin American-Statesman. October 6, 1995 . Retrieved . 13 March 2013
Further reading [ edit ]
Boyer, Anne Olivia; Boyer, Robert S. (1991). "A Biographical Sketch of W. W. Bledsoe". In Boyer, Robert S. Automated Reasoning: Essays in Honor of Woody Bledsoe. Kluwer Academic Publishers Group. pp. 1–29. CiteSeerX: . 10 .1 .1 .57 .3396
External links [ edit ]