25,161
edits
Changes
Created page with "'''Home * People * Woodrow W. Bledsoe''' FILE:bledsoe.gif|border|right|thumb|link=http://groups.csail.mit.edu/medg/people/doyle/gallery/bledsoe/| Woodrow..."
'''[[Main Page|Home]] * [[People]] * Woodrow W. Bledsoe'''
[[FILE:bledsoe.gif|border|right|thumb|link=http://groups.csail.mit.edu/medg/people/doyle/gallery/bledsoe/| Woodrow W. Bledsoe <ref>[http://groups.csail.mit.edu/medg/people/doyle/gallery/bledsoe/ Woodrow W. Bledsoe - MIT], [https://en.wikipedia.org/wiki/Woody_Bledsoe Woody Bledsoe from Wikipedia], [https://en.wikipedia.org/wiki/Wikimedia_Commons Wikimedia Commons]</ref> ]]
'''Woodrow Wilson (Woody) Bledsoe''', (November 12, 1921 – October 4, 1995)<br/>
was an American mathematician and computer scientist, and one of the pioneers of [[Artificial Intelligence|artificial intelligence]], [[Pattern Recognition|pattern recognition]], and [https://en.wikipedia.org/wiki/Automated_theorem_proving automated theorem proving], Ph.D. on Separative Measures for [https://en.wikipedia.org/wiki/Topological_space Topological Spaces] from [[University of California, Berkeley]] in 1953 <ref>[https://genealogy.math.ndsu.nodak.edu/id.php?id=32274 The Mathematics Genealogy Project - Woodrow Bledsoe]</ref>.
While working for [https://en.wikipedia.org/wiki/Sandia_National_Laboratories Sandia Corporation], in 1956, he witnessed a [https://en.wikipedia.org/wiki/Thermonuclear_weapon hydrogen bomb] test on [https://en.wikipedia.org/wiki/Enewetak_Atoll Enewetak Atoll] in the northwest [https://en.wikipedia.org/wiki/Marshall_Islands Marshall Islands]. In the early 60s, he researched on pattern recognition and [https://en.wikipedia.org/wiki/Facial_recognition_system facial recognition] at Panoramic Research <ref>[http://www.historyofinformation.com/detail.php?entryid=2495 Woodrow Bledsoe Originates of Automated Facial Recognition : History of Information]</ref> <ref>[http://pano.com/ Panorama Research]</ref>, and in 1965, he accepted an offer as professor of mathematics at the [https://en.wikipedia.org/wiki/University_of_Texas_at_Austin 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 Championship|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 [https://en.wikipedia.org/wiki/Amyotrophic_lateral_sclerosis ALS].
=Selected Publications=
<ref>[https://dblp.uni-trier.de/pers/b/Bledsoe:W=_W=.html DBLP: W. W. Bledsoe]</ref>
==1953 ...==
* [[Woodrow W. Bledsoe]] ('''1953'''). ''Separative Measures for Topological Spaces''. Ph.D. thesis, [[University of California, Berkeley]], advisor [[Mathematician#APMorse|Anthony Perry Morse]]
* [[Woodrow W. Bledsoe]], [https://en.wikipedia.org/wiki/Iben_Browning Iben Browning] ('''1959'''). ''[https://dl.acm.org/doi/10.1145/1460299.1460326 Pattern Recognition and Reading by Machine]''. In Proceedings of the Eastern Joint Computer Conference
==1960 ...==
* [[Woodrow W. Bledsoe]] ('''1962'''). ''[https://ieeexplore.ieee.org/document/5219243 A Basic Limitation on the Speed of Digital Computers]''. [https://dblp.org/db/journals/tc/tc10 IRE Transactions on Electronic Computers, Vol. 10], No. 3, [https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=5219243 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'''). ''[http://dl.acm.org/citation.cfm?id=1045152&dl=ACM&coll=DL&CFID=93686231&CFTOKEN=33609862 First U.S. computer chess tournament]''. [[ACM#SIG|ACM SIGART Bulletin]], No. 24 » [[ACM 1970]]
* [[Woodrow W. Bledsoe]], [[Mathematician#RSBoyer|Robert S. Boyer]], [https://dblp.uni-trier.de/pers/h/Henneman:William_H=.html William H. Henneman] ('''1971'''). ''Computer Proofs of Limit Theorems''. [[Conferences#IJCAI1971|IJCAI 1971]]
* [[Woodrow W. Bledsoe]] ('''1971'''). ''[https://dl.acm.org/doi/10.1145/1056574.1056576 Results of Second Annual Computer Chess Championship]''. [[ACM#SIG|ACM SIGART Bulletin]], No. 30 » [[ACM 1971]]
* [[Woodrow W. Bledsoe]] ('''1972'''). ''[https://dl.acm.org/doi/10.1145/1056587.1056589 Computer Chess Championship in Boston]''. [[ACM#SIG|ACM SIGART Bulletin]], No. 34 » [[ACM 1972]]
* [https://dblp.uni-trier.de/pers/b/Ballantyne:A=_Michael.html Michael Ballantyne], [[Woodrow W. Bledsoe]] ('''1977'''). ''[https://dl.acm.org/doi/10.1145/322017.322018 Automatic Proofs and Theorems in Analysis Using Non-standard Techniques]''. [[ACM#Journal|Journal of the ACM]], Vol. 24 No. 3
==1980 ...==
* [https://dblp.uni-trier.de/pers/b/Ballantyne:A=_Michael.html Michael Ballantyne], [[Woodrow W. Bledsoe]] ('''1982'''). ''On Generating and Using Examples in Proof Discovery''. [https://www.doc.ic.ac.uk/~shm/MI/mi10.html Machine Intelligence 10]
* [[Woodrow W. Bledsoe|Woody Bledsoe]] ('''1985'''). ''I Had a Dream: AAAI Presidential Address, 19 August 1985''. [[AAAI#AIMAG|AI Magazine]], Vol. 7, No. 1, [https://aaai.org/Library/President/Bledsoe.pdf pdf]
* [[Woodrow W. Bledsoe]], Richard Hodges ('''1988'''). ''[https://www.sciencedirect.com/science/article/pii/B9780934613675500174 A Survey of Automated Deduction]''. [https://www.sciencedirect.com/book/9780934613675/exploring-artificial-intelligence Exploring Artificial Intelligence]
==1990 ...==
* [[Mathematician#RSBoyer|Robert S. Boyer]] (ed.) ('''1991'''). ''[https://www.springer.com/gp/book/9789401055420 Automated Reasoning: Essays in Honor of Woody Bledsoe]''. [https://de.wikipedia.org/wiki/Springer_Science%2BBusiness_Media Springer]
* [https://dblp.uni-trier.de/pers/b/Ballantyne:A=_Michael.html Michael Ballantyne], [[Mathematician#RSBoyer|Robert S. Boyer]], [[Mathematician#LHines|Larry Hines]] ('''1996'''). ''[https://www.aaai.org/ojs/index.php/aimagazine/article/view/1207 Woody Bledsoe: His Life and Legacy]''. [[AAAI#AIMAG|AI Magazine]], Vol. 17 No. 1
=External Links=
* [https://en.wikipedia.org/wiki/Woody_Bledsoe Woody Bledsoe from Wikipedia]
* [https://genealogy.math.ndsu.nodak.edu/id.php?id=32274 The Mathematics Genealogy Project - Woodrow Bledsoe]
* [https://ethw.org/Oral-History:Woodrow_Wilson_Bledsoe Oral-History: Woodrow Wilson Bledsoe - GHN: IEEE Global History Network]
=References=
<references />
'''[[People|Up one level]]'''
[[Category:Mathematician|Bledsoe]]
[[Category:Researcher|Bledsoe]]
[[FILE:bledsoe.gif|border|right|thumb|link=http://groups.csail.mit.edu/medg/people/doyle/gallery/bledsoe/| Woodrow W. Bledsoe <ref>[http://groups.csail.mit.edu/medg/people/doyle/gallery/bledsoe/ Woodrow W. Bledsoe - MIT], [https://en.wikipedia.org/wiki/Woody_Bledsoe Woody Bledsoe from Wikipedia], [https://en.wikipedia.org/wiki/Wikimedia_Commons Wikimedia Commons]</ref> ]]
'''Woodrow Wilson (Woody) Bledsoe''', (November 12, 1921 – October 4, 1995)<br/>
was an American mathematician and computer scientist, and one of the pioneers of [[Artificial Intelligence|artificial intelligence]], [[Pattern Recognition|pattern recognition]], and [https://en.wikipedia.org/wiki/Automated_theorem_proving automated theorem proving], Ph.D. on Separative Measures for [https://en.wikipedia.org/wiki/Topological_space Topological Spaces] from [[University of California, Berkeley]] in 1953 <ref>[https://genealogy.math.ndsu.nodak.edu/id.php?id=32274 The Mathematics Genealogy Project - Woodrow Bledsoe]</ref>.
While working for [https://en.wikipedia.org/wiki/Sandia_National_Laboratories Sandia Corporation], in 1956, he witnessed a [https://en.wikipedia.org/wiki/Thermonuclear_weapon hydrogen bomb] test on [https://en.wikipedia.org/wiki/Enewetak_Atoll Enewetak Atoll] in the northwest [https://en.wikipedia.org/wiki/Marshall_Islands Marshall Islands]. In the early 60s, he researched on pattern recognition and [https://en.wikipedia.org/wiki/Facial_recognition_system facial recognition] at Panoramic Research <ref>[http://www.historyofinformation.com/detail.php?entryid=2495 Woodrow Bledsoe Originates of Automated Facial Recognition : History of Information]</ref> <ref>[http://pano.com/ Panorama Research]</ref>, and in 1965, he accepted an offer as professor of mathematics at the [https://en.wikipedia.org/wiki/University_of_Texas_at_Austin 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 Championship|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 [https://en.wikipedia.org/wiki/Amyotrophic_lateral_sclerosis ALS].
=Selected Publications=
<ref>[https://dblp.uni-trier.de/pers/b/Bledsoe:W=_W=.html DBLP: W. W. Bledsoe]</ref>
==1953 ...==
* [[Woodrow W. Bledsoe]] ('''1953'''). ''Separative Measures for Topological Spaces''. Ph.D. thesis, [[University of California, Berkeley]], advisor [[Mathematician#APMorse|Anthony Perry Morse]]
* [[Woodrow W. Bledsoe]], [https://en.wikipedia.org/wiki/Iben_Browning Iben Browning] ('''1959'''). ''[https://dl.acm.org/doi/10.1145/1460299.1460326 Pattern Recognition and Reading by Machine]''. In Proceedings of the Eastern Joint Computer Conference
==1960 ...==
* [[Woodrow W. Bledsoe]] ('''1962'''). ''[https://ieeexplore.ieee.org/document/5219243 A Basic Limitation on the Speed of Digital Computers]''. [https://dblp.org/db/journals/tc/tc10 IRE Transactions on Electronic Computers, Vol. 10], No. 3, [https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=5219243 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'''). ''[http://dl.acm.org/citation.cfm?id=1045152&dl=ACM&coll=DL&CFID=93686231&CFTOKEN=33609862 First U.S. computer chess tournament]''. [[ACM#SIG|ACM SIGART Bulletin]], No. 24 » [[ACM 1970]]
* [[Woodrow W. Bledsoe]], [[Mathematician#RSBoyer|Robert S. Boyer]], [https://dblp.uni-trier.de/pers/h/Henneman:William_H=.html William H. Henneman] ('''1971'''). ''Computer Proofs of Limit Theorems''. [[Conferences#IJCAI1971|IJCAI 1971]]
* [[Woodrow W. Bledsoe]] ('''1971'''). ''[https://dl.acm.org/doi/10.1145/1056574.1056576 Results of Second Annual Computer Chess Championship]''. [[ACM#SIG|ACM SIGART Bulletin]], No. 30 » [[ACM 1971]]
* [[Woodrow W. Bledsoe]] ('''1972'''). ''[https://dl.acm.org/doi/10.1145/1056587.1056589 Computer Chess Championship in Boston]''. [[ACM#SIG|ACM SIGART Bulletin]], No. 34 » [[ACM 1972]]
* [https://dblp.uni-trier.de/pers/b/Ballantyne:A=_Michael.html Michael Ballantyne], [[Woodrow W. Bledsoe]] ('''1977'''). ''[https://dl.acm.org/doi/10.1145/322017.322018 Automatic Proofs and Theorems in Analysis Using Non-standard Techniques]''. [[ACM#Journal|Journal of the ACM]], Vol. 24 No. 3
==1980 ...==
* [https://dblp.uni-trier.de/pers/b/Ballantyne:A=_Michael.html Michael Ballantyne], [[Woodrow W. Bledsoe]] ('''1982'''). ''On Generating and Using Examples in Proof Discovery''. [https://www.doc.ic.ac.uk/~shm/MI/mi10.html Machine Intelligence 10]
* [[Woodrow W. Bledsoe|Woody Bledsoe]] ('''1985'''). ''I Had a Dream: AAAI Presidential Address, 19 August 1985''. [[AAAI#AIMAG|AI Magazine]], Vol. 7, No. 1, [https://aaai.org/Library/President/Bledsoe.pdf pdf]
* [[Woodrow W. Bledsoe]], Richard Hodges ('''1988'''). ''[https://www.sciencedirect.com/science/article/pii/B9780934613675500174 A Survey of Automated Deduction]''. [https://www.sciencedirect.com/book/9780934613675/exploring-artificial-intelligence Exploring Artificial Intelligence]
==1990 ...==
* [[Mathematician#RSBoyer|Robert S. Boyer]] (ed.) ('''1991'''). ''[https://www.springer.com/gp/book/9789401055420 Automated Reasoning: Essays in Honor of Woody Bledsoe]''. [https://de.wikipedia.org/wiki/Springer_Science%2BBusiness_Media Springer]
* [https://dblp.uni-trier.de/pers/b/Ballantyne:A=_Michael.html Michael Ballantyne], [[Mathematician#RSBoyer|Robert S. Boyer]], [[Mathematician#LHines|Larry Hines]] ('''1996'''). ''[https://www.aaai.org/ojs/index.php/aimagazine/article/view/1207 Woody Bledsoe: His Life and Legacy]''. [[AAAI#AIMAG|AI Magazine]], Vol. 17 No. 1
=External Links=
* [https://en.wikipedia.org/wiki/Woody_Bledsoe Woody Bledsoe from Wikipedia]
* [https://genealogy.math.ndsu.nodak.edu/id.php?id=32274 The Mathematics Genealogy Project - Woodrow Bledsoe]
* [https://ethw.org/Oral-History:Woodrow_Wilson_Bledsoe Oral-History: Woodrow Wilson Bledsoe - GHN: IEEE Global History Network]
=References=
<references />
'''[[People|Up one level]]'''
[[Category:Mathematician|Bledsoe]]
[[Category:Researcher|Bledsoe]]
