|Woodrow Wilson Bledsoe|
November 12, 1921|
|Died||October 4, 1995
|Alma mater||University of California, Berkeley|
|Thesis||Separative Measures for Topological Spaces (1953)|
|Doctoral advisor||Anthony Perry Morse|
|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 and automated theorem proving. 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. Bledsoe died on October 4, 1995 of ALS, more commonly known as Lou Gehrig's disease.
- 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.
- W.W. Bledsoe (1977). "Non-Resolution Theorem Proving". Artificial Intelligence 9: 1–35. doi:10.1016/0004-3702(77)90012-1.
- W.W. Bledsoe; I. Browning (1959). "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) (ACM): 225–232. doi:10.1145/1460299.1460326.
- Woody Bledsoe (1986). "I Had a Dream: AAAI Presidential Address, 19 August 1985". AI Magazine 7 (1): 57–61.
- 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.
- W.W. Bledsoe at the Mathematics Genealogy Project
- 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.
- W.W. Bledsoe's publications at DBLP
- W.W. Bledsoe at the chess programming wiki
|This biographical article relating to a computer specialist in the United States is a stub. You can help Wikipedia by expanding it.|
|This article about an American scientist in academia is a stub. You can help Wikipedia by expanding it.|
|This article related to a person involved in the Latter Day Saint movement is a stub. You can help Wikipedia by expanding it.|