Woody Bledsoe

Woody Bledsoe

Woodrow Wilson "Woody" Bledsoe (November 12 1921 Maysville, Oklahoma, U.S.October 4 1995 Austin, Texas, USA) was a mathematician, computer scientist, and prominent educator. He is one of the pioneers of artificial intelligence, pattern recognition, and automated theorem proving. Bledsoe died on 4 October 1995 of ALS, more commonly known as Lou Gehrig's disease.

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 . [ [http://www.utexas.edu/faculty/council/1998-1999/memorials/Bledsoe/bledsoe.html Memorial Resolution - Woodrow W. Bledsoe ] ]

Notes

References

*Michael Ballantyne, Robert S. Boyer and Larry Hines. "Woody Bledsoe: His Life and Legacy", originally published in [http://www.aaai.org/Library/Magazine/Vol17/17-01/vol17-01.html AI Magazine, Vol. 17. No. 1, pp. 7-20] , Spring 1996, American Association for Artificial Intelligence.


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Bledsoe — ist der Name mehrerer Personen: Ben Bledsoe, Mitglied der Boygroup Natural Drew Bledsoe (* 1972), ehemaliger American Football Spieler Jesse Bledsoe (1776–1836), US Senator aus Kentucky Jules Bledsoe (1898–1943), afroamerikanischer Sänger Samuel… …   Deutsch Wikipedia

  • Bledsoe — may refer to: People * Ben Bledsoe (born 1982), American pop singer * Drew Bledsoe (born 1972), former American football quarterback * Jesse Bledsoe (1776 1836), Senator from Kentucky * Jules Bledsoe (1898 1943), African American singer * Samuel… …   Wikipedia

  • Drew Bledsoe — stretching before a game in 2005. No. 11      Quarterback Personal information …   Wikipedia

  • Damien Woody — Woody at a June 2009 New York Jets mini camp No. 67      Guard/Tackle Personal information …   Wikipedia

  • Facial recognition system — A facial recognition system is a computer application for automatically identifying or verifying a person from a digital image or a video frame from a video source. One of the ways to do this is by comparing selected facial features from the… …   Wikipedia

  • Liste de personnes par nombre d'Erdős — Voici une liste non exhaustive de personnes ayant un nombre d Erdős de 0, 1 ou 2. Sommaire 1 #0 2 #1 3 #2 4 Référence …   Wikipédia en Français

  • Michael M. Richter — (* June 21, 1938 in Berlin) is a German mathematician and computer scientist. Richter is well known for his career in mathematical logic, in particular non standard analysis, and in artificial intelligence, in particular in knowledge based… …   Wikipedia

  • Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… …   Wikipedia

  • Herbrand Award — The Herbrand Award for Distinguished Contributions to Automated Deduction is an award given by CADE Inc. (although it predates the formal incorporation of CADE) to honour persons or groups for important contributions to the field of automated… …   Wikipedia

  • Automated reasoning — is an area of computer science dedicated to understand different aspects of reasoning. The study in automated reasoning helps produce software which allows computers to reason completely, or nearly completely, automatically. Although automated… …   Wikipedia

Share the article and excerpts

Direct link
https://en-academic.com/dic.nsf/enwiki/1807640 Do a right-click on the link above
and select “Copy Link”