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)
Cause of death ALS
Alma mater University of California, Berkeley
Spouse(s) Virginia (née Norgaard)
Children Margaret, Greg, Pam, Lance
Scientific career
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

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]