Woody Bledsoe

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Woodrow Wilson Bledsoe
Bledsoe.gif
Born (1921-11-12)November 12, 1921
Maysville, Oklahoma
Died October 4, 1995(1995-10-04) (aged 73)
ALS
Thesis Separative Measures for Topological Spaces (1953)
Doctoral advisor Anthony Perry Morse
Doctoral students Robert Anderson, 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
Notable awards IJCAI Distinguished Service Award 1991, AMS Milestone Award 1991
Spouse Virginia (née Norgaard)
Children 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[1] and automated theorem proving.[2][3][4][5] He continued to make significant contributions to AI throughout his long career.

Bledsoe joined 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][7] Bledsoe died on October 4, 1995 of ALS, more commonly known as Lou Gehrig's disease.

Notes[edit]

  1. ^ W.W. Bledsoe (1966). "Some Results on Multicategory Pattern Recognition". J.ACM 13 (2): 304–316. 
  2. ^ W.W. Bledsoe (1971). "Splitting and Reduction Heuristics in Automatic Theorem Proving". Artif. Intell. 2 (1): 55–77. 
  3. ^ W.W. Bledsoe (Sep 1975). "A New Method for Proving Certain Presburger Formulas". Proc. IJCAI. pp. 15–21. 
  4. ^ 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)
  5. ^ 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)
  6. ^ Memorial Resolution – Woodrow W. Bledsoe
  7. ^ "UT science pioneer `Woody' Bledsoe dies". Austin American-Statesman. October 6, 1995. Retrieved 13 March 2013. 

Further reading[edit]

  • Anne Olivia Boyer, Robert S. Boyer (1991). "A Biographical Sketch of W. W. Bledsoe". In Robert S. Boyer. Automated Reasoning: Essays in Honor of Woody Bledsoe. Kluwer Academic Publishers Group. pp. 1–29. 

External links[edit]