Woody Bledsoe

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Woodrow Wilson Bledsoe
Born (1921-11-12)November 12, 1921
Maysville, Oklahoma
Died October 4, 1995(1995-10-04) (aged 73)
Alma mater University of California, Berkeley
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
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.

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 accessible. 

Selected publications[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" (PDF). Artif. Intell. 2 (1): 55–77. 
  3. ^ W.W. Bledsoe (Sep 1975). "A New Method for Proving Certain Presburger Formulas". Proc. IJCAI (PDF). 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. 

External links[edit]