Woody Bledsoe

Woodrow Wilson Bledsoe
Woodrow Wilson Bledsoe
Född	12 november 1921 ; Maysville, Oklahoma
dog	4 oktober 1995 (73 år)
Alma mater	University of California, Berkeley
Make	Virginia (född Norgaard)
Barn	4
Utmärkelser	Bronsstjärnemedalj 1945, ; IJCAI Distinguished Service Award 1991, ; AMS Milestone Award 1991, ; Herbrand Award 1994 ;
	Vetenskaplig karriär
Avhandling	Separative Measures for Topological Spaces (1953)
Doktorand rådgivare	Anthony Perry Morse
Doktorander	Robert S. Boyer

Woodrow Wilson " Woody " Bledsoe (12 november 1921 – 4 oktober 1995) var en amerikansk matematiker , datavetare och framstående pedagog. Han är en av grundarna av artificiell intelligens (AI), som ger tidiga bidrag inom mönsterigenkänning och automatiserad teorembevisande . Han fortsatte att göra betydande bidrag till AI under hela sin långa karriär.

Från och med 1966 arbetade han vid avdelningen för matematik och datavetenskap vid University of Texas i Austin och innehade Peter O'Donnell Jr. Centennial Chair in Computing Science med start 1987.

Bledsoe gick med i Jesu Kristi Kyrka av Sista Dagars Heliga som vuxen och tjänstgjorde i kyrkan som biskop , rådgivare till stavspresidentskapet och stavspatriark . Han tjänade också som ledare i Boy Scouts of America . Bledsoe dog den 4 oktober 1995 av amyotrofisk lateralskleros , mer känd som ALS eller Lou Gehrigs sjukdom.

Vidare läsning

Boyer, Anne Olivia; Boyer, Robert S. (1991). "En biografisk skiss av WW Bledsoe". I Boyer, Robert S. (red.). Automatiserat resonemang: Essays in Honor of Woody Bledsoe . Kluwer Academic Publishers Group. s. 1 –29. CiteSeerX 10.1.1.57.3396 . ISBN 9780792314097 .

Utvalda publikationer

WW Bledsoe (1977). "Bevisande av icke-upplösningssats". Artificiell intelligens . 9 : 1–35. CiteSeerX 10.1.1.455.6139 . doi : 10.1016/0004-3702(77)90012-1 .
WW Bledsoe; I. Browning (1959). "Mönsterigenkänning och läsning med maskin" . Dokument som presenterades vid den 1–3 december 1959, Eastern Joint IRE-AIEE-ACM Computer Conference . IRE-AIEE-ACM '59 (Östra): 225–232. doi : 10.1145/1460299.1460326 . S2CID 15672245 .
Woody Bledsoe (1986). "Jag hade en dröm: AAAI-presidentens tal, 19 augusti 1985" . AI Magazine . 7 (1): 57–61.

^ WW Bledsoe (1966). "Några resultat på flerkategorimönsterigenkänning" . J. ACM . 13 (2): 304–316. doi : 10.1145/321328.321340 . S2CID 17150326 .
^ WW Bledsoe (1971). "Splittrings- och reduktionsheuristik i automatisk satsprovning" ( PDF) . Artif. Intell . 2 (1): 55–77. doi : 10.1016/0004-3702(71)90004-x .
^ WW Bledsoe (september 1975). "En ny metod för att bevisa vissa Presburger-formler". Proc. IJCAI (PDF) . s. 15–21.
^ WW Bledsoe (1977). "Bevisande av icke-upplösningssats". Artificiell intelligens . 9 : 1–35. CiteSeerX 10.1.1.455.6139 . doi : 10.1016/0004-3702(77)90012-1 . — Föregående teknisk rapport ATP29 (sep. 1975)
^ WW Bledsoe och Kenneth Kunen och Robert E. Shostak (1985). "Fullständighetsresultat för ojämlikhetsprovare". Artif. Intell . 27 (3): 255–288. doi : 10.1016/0004-3702(85)90015-3 . — Föregående teknisk rapport ATP65 (1983)
^ Jean-Louis Lassez; Gordon Plotkin , red. (1991). Computational Logic — Essays in Honor of Alan Robinson . Cambridge/MA: MIT Press. ISBN 978-0-262-12156-9 .
^ Minnesupplösning – Woodrow W. Bledsoe
^ "UT-vetenskapspionjären 'Woody' Bledsoe dör" . Austin amerikansk statsman . 6 oktober 1995 . Hämtad 13 mars 2013 .

externa länkar

[1] WW Bledsoe (1966). "Några resultat på flerkategorimönsterigenkänning" . J. ACM . 13 (2): 304–316. doi : 10.1145/321328.321340 . S2CID 17150326 .

[2] WW Bledsoe (1971). "Splittrings- och reduktionsheuristik i automatisk satsprovning" ( PDF) . Artif. Intell . 2 (1): 55–77. doi : 10.1016/0004-3702(71)90004-x .

[3] WW Bledsoe (september 1975). "En ny metod för att bevisa vissa Presburger-formler". Proc. IJCAI (PDF) . s. 15–21.

[4] WW Bledsoe (1977). "Bevisande av icke-upplösningssats". Artificiell intelligens . 9 : 1–35. CiteSeerX 10.1.1.455.6139 . doi : 10.1016/0004-3702(77)90012-1 . — Föregående teknisk rapport ATP29 (sep. 1975)

[5] WW Bledsoe och Kenneth Kunen och Robert E. Shostak (1985). "Fullständighetsresultat för ojämlikhetsprovare". Artif. Intell . 27 (3): 255–288. doi : 10.1016/0004-3702(85)90015-3 . — Föregående teknisk rapport ATP65 (1983)

[Lassez.Plotkin.1991-6] Jean-Louis Lassez; Gordon Plotkin , red. (1991). Computational Logic — Essays in Honor of Alan Robinson . Cambridge/MA: MIT Press. ISBN 978-0-262-12156-9 .

[7] Minnesupplösning – Woodrow W. Bledsoe

[8] "UT-vetenskapspionjären 'Woody' Bledsoe dör" . Austin amerikansk statsman . 6 oktober 1995 . Hämtad 13 mars 2013 .

Myndighetskontroll
Internationell	SNABB ISNI VIAF WorldCat-identiteter
Nationell	Tyskland Israel Förenta staterna Nederländerna
Akademiker	DBLP MathSciNet Matematik Genealogy Project zbMATH
Övrig	IdRef

Woodrow Wilson Bledsoe

Född	( 1921-11-12 ) 12 november 1921 Maysville, Oklahoma
dog	4 oktober 1995 (1995-10-04) (73 år)
Alma mater	University of California, Berkeley
Make	Virginia (född Norgaard)
Barn	4
Utmärkelser	Bronsstjärnemedalj 1945, IJCAI Distinguished Service Award 1991, AMS Milestone Award 1991, Herbrand Award 1994
Vetenskaplig karriär
Avhandling	Separative Measures for Topological Spaces (1953)
Doktorand rådgivare	Anthony Perry Morse
Doktorander	Robert S. Boyer