우디 블레드소
Woody Bledsoe우드로 윌슨 블레드소 | |
---|---|
![]() | |
태어난 | |
죽은 | 1995년 10월 4일( | 73세)
모교 | 캘리포니아 대학교 버클리 |
배우자 | 버지니아(성: Norgaard) |
아이들. | 4 |
어워드 |
|
과학 경력 | |
논문 | 위상 공간의 분리 측도 (1953) |
박사 어드바이저 | 앤서니 페리 모스 |
박사과정 학생 | 로버트 S.보이어 |
우디 블레드소(Woody Wledsoe, 1921년 11월 12일~1995년 10월 4일)는 미국의 수학자, 컴퓨터 과학자, 저명한 교육자이다.그는 인공지능(AI)의 창시자 중 한 명으로 패턴 인식과[1] 자동 정리 [2][3][4][5]증명에 초기에 공헌했습니다.그는 오랜 경력 동안 AI에 중요한 기여를 계속했다.
1966년부터 그는 텍사스 오스틴 대학의 수학과 컴퓨터 공학과에서 일하며 피터 오도넬 주니어 학위를 받았습니다.1987년부터 [6]: 723 컴퓨터 사이언스 100주년 회장.
블레소는 성인이 되어 예수 그리스도 후기성도교회에 입교하여 주교, 스테이크 대통령 고문, 스테이크 족장으로 교회에서 봉사하였다.그는 [7][8]또한 미국의 보이스카우트에서 리더로 활동했다.블레소는 1995년 10월 4일 ALS 또는 루게릭병으로 알려진 근위축성 측삭경화증으로 사망했다.
추가 정보
- Boyer, Anne Olivia; Boyer, Robert S. (1991). "A Biographical Sketch of W. W. Bledsoe". In Boyer, Robert S. (ed.). Automated Reasoning: Essays in Honor of Woody Bledsoe. Kluwer Academic Publishers Group. pp. 1–29. CiteSeerX 10.1.1.57.3396. ISBN 9780792314097.
선택한 출판물
- W.W. Bledsoe (1977). "Non-Resolution Theorem Proving". Artificial Intelligence. 9: 1–35. CiteSeerX 10.1.1.455.6139. 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. IRE-AIEE-ACM '59 (Eastern): 225–232. doi:10.1145/1460299.1460326. S2CID 15672245.
- Woody Bledsoe (1986). "I Had a Dream: AAAI Presidential Address, 19 August 1985". AI Magazine. 7 (1): 57–61.
레퍼런스
- ^ W.W. Bledsoe (1966). "Some Results on Multicategory Pattern Recognition". J. ACM. 13 (2): 304–316. doi:10.1145/321328.321340. S2CID 17150326.
- ^ W.W. Bledsoe (1971). "Splitting and Reduction Heuristics in Automatic Theorem Proving" (PDF). Artif. Intell. 2 (1): 55–77. doi:10.1016/0004-3702(71)90004-x.
- ^ W.W. Bledsoe (September 1975). "A New Method for Proving Certain Presburger Formulas". Proc. IJCAI (PDF). pp. 15–21.
- ^ W.W. Bledsoe (1977). "Non-Resolution Theorem Proving". Artificial Intelligence. 9: 1–35. CiteSeerX 10.1.1.455.6139. doi:10.1016/0004-3702(77)90012-1. - 이전 기술 보고서 ATP29(1975년 7월)
- ^ 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. - 선행 기술 보고서 ATP65(1983)
- ^ Jean-Louis Lassez; Gordon Plotkin, eds. (1991). Computational Logic — Essays in Honor of Alan Robinson. Cambridge/MA: MIT Press. ISBN 978-0-262-12156-9.
- ^ 메모리얼 해상도– Woodrow W. Bledsoe
- ^ "UT science pioneer 'Woody' Bledsoe dies". Austin American-Statesman. October 6, 1995. Retrieved March 13, 2013.
외부 링크
- 마이클 밸런타인, 로버트 S.보이어와 래리 하인즈.Woody Bledsoe:그의 삶과 유산' AI 매거진 제17권No.1, 7-20, 1996년 봄, 미국 인공지능 협회.
- W.W. Bledsoe의 DBLP 출판물
- 체스 프로그래밍 위키의 W.W. 블레드소