Woodrow W. Bledsoe

Home * People * Woodrow W. Bledsoe



Woodrow Wilson (Woody) Bledsoe, (November 12, 1921 – October 4, 1995) was an American mathematician and computer scientist, and one of the pioneers of artificial intelligence, pattern recognition, and automated theorem proving, Ph.D. on Separative Measures for Topological Spaces from University of California, Berkeley in 1953. While working for Sandia Corporation, in 1956, he witnessed a hydrogen bomb test on Enewetak Atoll in the northwest Marshall Islands. In the early 60s, he researched on pattern recognition and facial recognition at Panoramic Research , and in 1965, he accepted an offer as professor of mathematics at the University of Texas at Austin, and was also affiliated with Massachusetts Institute of Technology. Bledsoe was interested in Computer Chess and published tournament reports on the early ACM North American Computer Chess Championships. From 1984 to 1985, he served as President of the AAAI. Woodrow W. Bledsoe died on October 4, 1995 of ALS.

=Selected Publications=

1953 ...

 * Woodrow W. Bledsoe (1953). Separative Measures for Topological Spaces. Ph.D. thesis, University of California, Berkeley, advisor Anthony Perry Morse
 * Woodrow W. Bledsoe, Iben Browning (1959). Pattern Recognition and Reading by Machine. In Proceedings of the Eastern Joint Computer Conference

1960 ...

 * Woodrow W. Bledsoe (1962). A Basic Limitation on the Speed of Digital Computers. IRE Transactions on Electronic Computers, Vol. 10, No. 3, pdf
 * Woodrow W. Bledsoe (1962). An Analysis of Genetic Populations. Technical Report, Panoramic Research Inc., Palo Alto, California
 * Woodrow W. Bledsoe (1962). The Evolutionary Method in Hill Climbing: Convergence Rates. Technical Report, Panoramic Research, Inc., Palo Alto, California
 * Woodrow W. Bledsoe (1964). The Model Method in Facial Recognition. Technical Report PRI 15, Panoramic Research, Inc., Palo Alto, California

1970 ...

 * Woodrow W. Bledsoe (1970). First U.S. computer chess tournament. ACM SIGART Bulletin, No. 24 » ACM 1970
 * Woodrow W. Bledsoe, Robert S. Boyer, William H. Henneman (1971). Computer Proofs of Limit Theorems. IJCAI 1971
 * Woodrow W. Bledsoe (1971). Results of Second Annual Computer Chess Championship. ACM SIGART Bulletin, No. 30 » ACM 1971
 * Woodrow W. Bledsoe (1972). Computer Chess Championship in Boston. ACM SIGART Bulletin, No. 34 » ACM 1972
 * Michael Ballantyne, Woodrow W. Bledsoe (1977). Automatic Proofs and Theorems in Analysis Using Non-standard Techniques. Journal of the ACM, Vol. 24 No. 3

1980 ...

 * Michael Ballantyne, Woodrow W. Bledsoe (1982). On Generating and Using Examples in Proof Discovery. Machine Intelligence 10
 * Woody Bledsoe (1985). I Had a Dream: AAAI Presidential Address, 19 August 1985. AI Magazine, Vol. 7, No. 1, pdf
 * Woodrow W. Bledsoe, Richard Hodges (1988). A Survey of Automated Deduction. Exploring Artificial Intelligence

1990 ...

 * Robert S. Boyer (ed.) (1991). Automated Reasoning: Essays in Honor of Woody Bledsoe. Springer
 * Michael Ballantyne, Robert S. Boyer, Larry Hines (1996). Woody Bledsoe: His Life and Legacy. AI Magazine, Vol. 17 No. 1

=External Links= =References= Up one level
 * Woody Bledsoe from Wikipedia
 * The Mathematics Genealogy Project - Woodrow Bledsoe
 * Oral-History: Woodrow Wilson Bledsoe - GHN: IEEE Global History Network