Woody Bledsoe

Woodrow Wilson Bledsoe

Born| (1921-11-12)November 12, 1921

Maysville, Oklahoma

Died| October 4, 1995(1995-10-04) (aged 73)
Alma mater| University of California, Berkeley
Spouse(s)| Virginia (née Norgaard)
Children| 4
Awards|

* 30px Bronze Star Medal 1945,
* IJCAI Distinguished Service Award 1991,
* AMS Milestone Award 1991,
* Herbrand Award 1994

Scientific career
Thesis| Separative Measures for Topological Spaces (1953)
Doctoral advisor| Anthony Perry Morse
Doctoral students| Robert S. Boyer

Woodrow Wilson "Woody" Bledsoe (November 12, 1921 – October 4, 1995) was an American mathematician, computer scientist, and prominent educator. He is one of the founders of artificial intelligence (AI), making early contributions in pattern recognition,[1] facial recognition,[2] and automated theorem proving.[3][4][5][6] He continued to make significant contributions to AI throughout his long career. One of his influences was Frank Rosenblatt.[7]

Beginning in 1966, he worked at the department of mathematics and computer science of the University of Texas at Austin, holding the Peter O'Donnell Jr. Centennial Chair in Computing Science starting in 1987.[8]: 723

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.[9][10] Bledsoe died on October 4, 1995, of amyotrophic lateral sclerosis, more commonly known as ALS or Lou Gehrig's disease.

## Contents

* 1 Works
* 2 Further reading
* 3 Selected publications
* 4 References
* 5 External links

## Works

The n-tuple method (1959) was an early method for learning a pattern recognition program. The basic method is illustrated by the problem of recognizing 36 alphanumerical characters (0-9, a-z).[11]

Let the input be a 10x15 binary image. It is equivalent to a single string with 150 binary letters. Now, randomly partition the 150 binary pixels into 75 pairs. Each pair has 4 possibilities: 00, 01, 10, 11. Now we will define a 300x36 binary matrix as follows:

Let 100 represent the 00-state of the first pair, and similarly for the others. We have 300 such states, each represented in a row. The 36 columns each correspond to one alphanumerical character. The entire binary matrix is arranged as follows:[01⋯9ab⋯z100101110111⋮7511]The pattern recognizer is defined by the binary matrix. It is trained by firstsetting all entries to zero, then it is presented with several binary images of each alphanumerical character. For each image, the corresponding entries in the matrix are set to one, and the other entries are unchanged. This is an example of machine learning.

After the training the recognizer, it can be used to recognize new images. First compute the new image's corresponding column vector, then take the dot-product with each column of the binary matrix. The column with the highest dot-product is outputted as the most likely character.

## Further reading

* 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. ISBN 9780792314097. https://archive.org/details/automatedreasoni00bled.
* Ballantyne, Michael; Boyer, Robert S.; Hines, Larry (1996). "Woody Bledsoe: His Life and Legacy" (in en). AI Magazine 17 (1): 7–20. doi:10.1609/aimag.v17i1.1207. ISSN 2371-9621. https://onlinelibrary.wiley.com/doi/full/10.1609/aimag.v17i1.1207.

## Selected publications

* 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 on - IRE-AIEE-ACM '59 (Eastern). pp. 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. http://www.aaai.org/ojs/index.php/aimagazine/article/view/528/464.

## References

1. ↑ W.W. Bledsoe (1966). "Some Results on Multicategory Pattern Recognition". J. ACM 13 (2): 304–316. doi:10.1145/321328.321340. http://elartu.tntu.edu.ua/handle/lib/39646.
2. ↑ Raviv, Shaun. "The Secret History of Facial Recognition" (in en-US). Wired. ISSN 1059-1028. https://www.wired.com/story/secret-history-facial-recognition/. Retrieved 2023-08-31.
3. ↑ W.W. Bledsoe (1971). "Splitting and Reduction Heuristics in Automatic Theorem Proving". Artif. Intell. 2 (1): 55–77. doi:10.1016/0004-3702(71)90004-x. https://saltworks.stanford.edu/assets/yy382gv1477.pdf.
4. ↑ W.W. Bledsoe (Sep 1975). "A New Method for Proving Certain Presburger Formulas". Proc. IJCAI. pp. 15–21. http://www.ijcai.org/Proceedings/75/Papers/003.pdf.
5. ↑ 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)
6. ↑ W.W. Bledsoe and Kenneth Kunen and Robert E. Shostak (1985). "Completeness Results for Inequality Provers". Artif. Intell. 27 (3): 255–288. doi:10.1016/0004-3702(85)90015-3. -- Preceding technical report ATP65 (1983)
7. ↑ McCorduck, Pamela (2018). Machines who think: a personal inquiry into the history and prospects of artificial intelligence. An A K Peters book. Boca Raton London New York: CRC Press. pp. 106. ISBN 978-1-56881-205-2.
8. ↑ Computational Logic -- Essays in Honor of Alan Robinson. Cambridge/MA: MIT Press. 1991. ISBN 978-0-262-12156-9.
9. ↑ Memorial Resolution – Woodrow W. Bledsoe
10. ↑ "UT science pioneer 'Woody' Bledsoe dies". Austin American-Statesman. October 6, 1995. http://nl.newsbank.com/nl-search/we/Archives?p_product=AASB&p_theme=aasb&p_action=search&p_maxdocs=200&p_topdoc=1&p_text_direct-0=0EAD97B2F7F19A6C&p_field_direct-0=document_id&p_perpage=10&p_sort=YMD_date:D&s_trackval=GooglePM.
11. ↑ Bledsoe, W. W.; Browning, I. (1959). "Pattern recognition and reading by machine" (in en). Papers presented at the December 1-3, 1959, eastern joint IRE-AIEE-ACM computer conference on - IRE-AIEE-ACM '59 (Eastern). ACM Press. pp. 225–232. doi:10.1145/1460299.1460326. ISBN 978-1-4503-7868-0. http://portal.acm.org/citation.cfm?doid=1460299.1460326.

## External links

* Papers and program printouts pertaining to Bledsoe's facial recognition algorithm of the 1960s
* {{DBLP}} template missing ID and not present in Wikidata.
* W.W. Bledsoe at the chess programming wiki

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Woody Bledsoe. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Biography:Woody_Bledsoe&oldid=4222316"