Woody Bledsoe - Woody Bledsoe
Woodrow Wilson Bledsoe | |
---|---|
Urodzony |
|
12 listopada 1921
Zmarły | 4 października 1995 | (w wieku 73)
Alma Mater | Uniwersytet Kalifornijski w Berkeley |
Małżonek (e) | Virginia (z domu Norgaard) |
Dzieci | 4 |
Nagrody | |
Kariera naukowa | |
Praca dyplomowa | Oddzielne miary dla przestrzeni topologicznych (1953) |
Doradca doktorancki | Anthony Perry Morse |
Doktoranci | Robert S. Boyer |
Woodrow Wilson „ Woody ” Bledsoe (12 listopada 1921 - 4 października 1995) był amerykańskim matematykiem , informatykiem i wybitnym pedagogiem. Jest jednym z twórców sztucznej inteligencji (AI), wnosząc wczesny wkład w rozpoznawanie wzorców i zautomatyzowane dowodzenie twierdzeń . Przez całą swoją długą karierę nadal wnosił znaczący wkład w sztuczną inteligencję.
Od 1966 r. Pracował na wydziale matematyki i informatyki Uniwersytetu Teksasu w Austin , gdzie od 1987 r. Kierował Peterem O'Donnell Jr. Centennial Chair in Computing Science.
Bledsoe dołączył Kościół Jezusa Chrystusa Świętych w Dniach Ostatnich jako dorosły i służył w kościele jako biskupa , doradcy do Stake przewodnictwa i Stake patriarchy . Służył również jako lider w Boy Scouts of America . Bledsoe zmarł 4 października 1995 roku z powodu stwardnienia zanikowego bocznego , bardziej znanego jako ALS lub choroba Lou Gehriga.
Dalsza lektura
- Boyer, Anne Olivia; Boyer, Robert S. (1991). „Szkic biograficzny WW Bledsoe”. W Boyer, Robert S. (red.). Automatyczne rozumowanie: eseje na cześć Woody'ego Bledsoe . Kluwer Academic Publishers Group. str. 1 -29. CiteSeerX 10.1.1.57.3396 .
Wybrane publikacje
- WW Bledsoe (1977). „Dowodzenie twierdzenia o braku rozdzielczości”. Sztuczna inteligencja . 9 : 1–35. CiteSeerX 10.1.1.455.6139 . doi : 10.1016 / 0004-3702 (77) 90012-1 .
- WW Bledsoe; I. Browning (1959). „Rozpoznawanie wzorców i czytanie przez maszynę”. Artykuły zaprezentowane na Konferencji Komputerowej Eastern Joint IRE-AIEE-ACM w dniach 1-3 grudnia 1959 r . IRE-AIEE-ACM '59 (wschodnia): 225–232. doi : 10.1145 / 1460299.1460326 . S2CID 15672245 .
- Woody Bledsoe (1986). „Miałem sen: przemówienie prezydenckie AAAI, 19 sierpnia 1985” . Magazyn AI . 7 (1): 57–61.
Bibliografia
- ^ WW Bledsoe (1966). „Niektóre wyniki w rozpoznawaniu wzorców w wielu kategoriach”. J. ACM . 13 (2): 304–316. doi : 10.1145 / 321328.321340 . S2CID 17150326 .
- ^ WW Bledsoe (1971). „Heurystyki podziału i redukcji w automatycznym dowodzeniu twierdzeń” (PDF) . Artif. Intell . 2 (1): 55–77. doi : 10.1016 / 0004-3702 (71) 90004-x .
- ^ WW Bledsoe (wrzesień 1975). „Nowa metoda sprawdzania niektórych receptur na presburgera”. Proc. IJCAI (PDF) . s. 15–21.
- ^ WW Bledsoe (1977). „Dowodzenie twierdzenia o braku rozdzielczości”. Sztuczna inteligencja . 9 : 1–35. CiteSeerX 10.1.1.455.6139 . doi : 10.1016 / 0004-3702 (77) 90012-1 . - Poprzedzający raport techniczny ATP29 (wrzesień 1975)
- ^ WW Bledsoe i Kenneth Kunen i Robert E. Shostak (1985). „Wyniki kompletności dla dostawców nierówności”. Artif. Intell . 27 (3): 255–288. doi : 10.1016 / 0004-3702 (85) 90015-3 . - poprzedzający raport techniczny ATP65 (1983)
- ^ Jean-Louis Lassez; Gordon Plotkin , wyd. (1991). Logika obliczeniowa - eseje na cześć Alana Robinsona . Cambridge / MA: MIT Press. ISBN 978-0-262-12156-9 .
- ^ Rezolucja Pamięci - Woodrow W. Bledsoe
- ^ „Nie żyje Woody Bledsoe, pionier nauki UT” . Austin American-Statesman . 6 października 1995 . Źródło 13 marca 2013 r .
Zewnętrzne linki
- Michael Ballantyne, Robert S. Boyer i Larry Hines. „Woody Bledsoe: His Life and Legacy” AI Magazine, t. 17. Nr 1, s. 7–20, wiosna 1996, American Association for Artificial Intelligence.
- Publikacje WW Bledsoe w DBLP
- WW Bledsoe na wiki programowania szachowego