Woody Bledsoe
From Wikipedia, the free encyclopedia
| Woodrow Wilson Bledsoe | |
|---|---|
 |
|
| Born | November 12, 1921 Maysville, Oklahoma |
| Died | October 4, 1995 (aged 73) ALS |
| Alma mater | University of California, Berkeley |
| Thesis | Separative Measures for Topological Spaces (1953) |
| Doctoral advisor | Anthony Perry Morse |
| Doctoral students |
|
| 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: 10
.1 .1 .57 .3396.
Selected publications[edit]
- 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.
References[edit]
- ^ 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.
External links[edit]
- 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. |
Categories:
- 1921 births
- 1995 deaths
- 20th-century American mathematicians
- American computer scientists
- American educators
- American leaders of The Church of Jesus Christ of Latter-day Saints
- Artificial intelligence researchers
- Converts to Mormonism
- Patriarchs (LDS Church)
- People from Maysville, Oklahoma
- University of Texas at Austin faculty
- American computer specialist stubs
- American academic scientist stubs
- Latter Day Saint people stubs
