وودی بلدسو

وودی بلدسو
وودی بلدسو
زادهٔ	۱۲ نوامبر ۱۹۲۱; مایسویل، اکلاهما
درگذشت	۴ اکتبر ۱۹۹۵ (۷۳ سال)
محل تحصیل	دانشگاه کالیفرنیا، برکلی
فرزندان	۴

وودرو ویلسون «وودی» بلدسو (به انگلیسی: Woody Bledsoe)؛ (زاده ۱۲ نوامبر ۱۹۲۱ – درگذشته ۴ اکتبر ۱۹۹۵) ریاضی‌دان ، دانشمند رایانه و معلم برجسته آمریکایی بود. او یکی از بنیانگذاران هوش مصنوعی (AI) است که در تشخیص الگو‌،‌^[۱] تشخیص چهره^[۲] و اثبات قضیه خودکار مشارکت داشته است.^[۳]^[۴]^[۵] او در زندگی حرفه‌ای طولانی خود به کمک قابل توجهی به هوش مصنوعی پرداخته است.

در آغاز در سال ۱۹۶۶، او در بخش ریاضیات و علوم رایانه دانشگاه تگزاس در آستین کار کرد و از سال ۱۹۸۷ دارای کرسی صدمین ساله پیتر اودانل جونیور در علوم محاسباتی بود.

بلدسو به کلیسای عیسی مسیح قدیسان آخرالزمان پیوست و در کلیسا به عنوان اسقف و مشاور ریاست‌جمهور خدمت کرد. او همچنین به عنوان رهبر در پیشاهنگان آمریکا خدمت کرد.^[۶]^[۷] بلدسو در ۴ اکتبر ۱۹۹۵ بر اثر اسکلروز جانبی آمیوتروفیک ، که بیشتر به نام ALS یا بیماری لو گریگ شناخته می‌شود، درگذشت.

منابع[ویرایش]

↑ W.W. Bledsoe (1966). "Some Results on Multicategory Pattern Recognition". J. ACM. 13: 304–316. doi:10.1145/321328.321340.
↑ Raviv, Shaun. "The Secret History of Facial Recognition". Wired (به انگلیسی). ISSN 1059-1028. Retrieved 2023-08-31.
↑ W.W. Bledsoe (1971). "Splitting and Reduction Heuristics in Automatic Theorem Proving" (PDF). Artif. Intell. 2: 55–77. doi:10.1016/0004-3702(71)90004-x.
↑ 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. — Preceding technical report ATP29 (Sep.1975)
↑ W.W. Bledsoe and Kenneth Kunen and Robert E. Shostak (1985). "Completeness Results for Inequality Provers". Artif. Intell. 27: 255–288. doi:10.1016/0004-3702(85)90015-3. — Preceding technical report ATP65 (1983)
↑ Memorial Resolution – Woodrow W. Bledsoe
↑ "UT science pioneer 'Woody' Bledsoe dies". Austin American-Statesman. October 6, 1995. Retrieved 13 March 2013.

پیوند به بیرون[ویرایش]

P ≟ NP

این یک مقالهٔ خرد زندگی‌نامه مرتبط با یک دانشمند رایانه است. می‌توانید با گسترش آن به ویکی‌پدیا کمک کنید.

[1] W.W. Bledsoe (1966). "Some Results on Multicategory Pattern Recognition". J. ACM. 13: 304–316. doi:10.1145/321328.321340.

[2] Raviv, Shaun. "The Secret History of Facial Recognition". Wired (به انگلیسی). ISSN 1059-1028. Retrieved 2023-08-31.

[3] W.W. Bledsoe (1971). "Splitting and Reduction Heuristics in Automatic Theorem Proving" (PDF). Artif. Intell. 2: 55–77. doi:10.1016/0004-3702(71)90004-x.

[4] 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. — Preceding technical report ATP29 (Sep.1975)

[5] W.W. Bledsoe and Kenneth Kunen and Robert E. Shostak (1985). "Completeness Results for Inequality Provers". Artif. Intell. 27: 255–288. doi:10.1016/0004-3702(85)90015-3. — Preceding technical report ATP65 (1983)

[6] Memorial Resolution – Woodrow W. Bledsoe

[7] "UT science pioneer 'Woody' Bledsoe dies". Austin American-Statesman. October 6, 1995. Retrieved 13 March 2013.

[۱]

[۲]

[۳]

[۴]

[۵]

[۶]

[۷]

داده‌های کتابخانه‌ای
عمومی	ISNI 1 ویاف 1 ورلدکت
کتابخانه‌های ملی	نروژ آلمان اسرائیل ایالات متحده آمریکا هلند
پایگاه‌های دادهٔ علمی	ساینی (ژاپن) DBLP (علوم رایانه) مث‌سای‌نوت پروژهٔ تبارشناسی ریاضیات zbMATH
سایر	کاربرد چندوجهی اصطلاحات موضوعی ریرو (سوئیس) 1 سوداک (فرانسه) 1