Woody Bledsoe - Woody Bledsoe - Wikipedia

Woodrow Wilson Bledsoe
Bledsoe.gif
narozený(1921-11-12)12. listopadu 1921
Maysville, Oklahoma
Zemřel4. října 1995(1995-10-04) (ve věku 73)
Alma materUniversity of California, Berkeley
Manžel (y)Virginia (rozená Norgaard)
Děti4
Ocenění
Vědecká kariéra
TezeSeparativní opatření pro topologické prostory (1953)
Doktorský poradceAnthony Perry Morse
DoktorandiRobert S. Boyer

Woodrow Wilson "Dřevnatý" Bledsoe (12. listopadu 1921 - 4. října 1995) byl Američan matematik, počítačový vědec a prominentní pedagog. Je jedním ze zakladatelů společnosti umělá inteligence (AI), včasné příspěvky v rozpoznávání vzorů[1] a automatizované dokazování věty.[2][3][4][5] Během své dlouhé kariéry významně přispíval k umělé inteligenci.

Od roku 1966 pracoval na katedře matematiky a výpočetní techniky University of Texas v Austinu, drží Peter O'Donnell Jr. Centennial Chair in Computing Science počínaje rokem 1987.[6]:723

Bledsoe se přidal Církev Ježíše Krista Svatých posledních dnů jako dospělý a sloužil v kostele jako biskup, poradce v Kůl předsednictví a podíl patriarcha. On také sloužil jako vůdce v Skauti Ameriky.[7][8] Bledsoe zemřel 4. října 1995 Amyotrofní laterální skleróza, běžněji známá jako ALS nebo Lou Gehrigova choroba.

Další čtení

  • Boyer, Anne Olivia; Boyer, Robert S. (1991). „Biografická skica W. W. Bledsoeho“. V Boyer, Robert S. (ed.). Automated Reasoning: Eseje na počest Woodyho Bledsoe. Kluwer Academic Publishers Group. str.1 –29. CiteSeerX  10.1.1.57.3396.

Vybrané publikace

Reference

  1. ^ W.W. Bledsoe (1966). Msgstr "Některé výsledky rozpoznávání vícekategorických vzorů". J. ACM. 13 (2): 304–316. doi:10.1145/321328.321340.
  2. ^ W.W. Bledsoe (1971). „Rozdělení a redukce heuristiky v automatickém ověřování vět“ (PDF). Artif. Intell. 2 (1): 55–77. doi:10.1016 / 0004-3702 (71) 90004-x.
  3. ^ W.W. Bledsoe (září 1975). „Nová metoda k prokázání určitých receptů Presburger“. Proc. IJCAI (PDF). str. 15–21.
  4. ^ W.W. Bledsoe (1977). „Prokazování věty bez rozlišení“. Umělá inteligence. 9: 1–35. CiteSeerX  10.1.1.455.6139. doi:10.1016/0004-3702(77)90012-1. - Předchozí technická zpráva ATP29 (Září 1975)
  5. ^ W.W. Bledsoe a Kenneth Kunen a Robert E. Shostak (1985). "Výsledky úplnosti pro poskytovatele nerovnosti". Artif. Intell. 27 (3): 255–288. doi:10.1016/0004-3702(85)90015-3. - Předchozí technická zpráva ATP65 (1983)
  6. ^ Jean-Louis Lassez; Gordon Plotkin, eds. (1991). Výpočetní logika - Pokusy o čest Alana Robinsona. Cambridge / MA: MIT Press. ISBN  978-0-262-12156-9.
  7. ^ Memorial Resolution - Woodrow W. Bledsoe
  8. ^ „Průkopník vědy UT„ Woody “Bledsoe umírá“. Austin americko-státník. 6. října 1995. Citováno 13. března 2013.

externí odkazy