Yapay Zekâ ve Otomatik Teorem İspatı
Jim Hicks
Haber ve Bilgi Servisi
University of Texas at Austin
Austin, Texas 78712
Texas Üniversitesi'nden bir matematik profesörü ve bilgisayar uzmanı olan Dr. Woodrow W. Bledsoe, 5–10 Ocak 1976 tarihlerinde Batı Almanya'nın Oberwolfach kentinde düzenlenecek Otomatik Teorem İspatı Oberwolfach Konferansı'nın eş başkanlarından biri olmuştur.
Otomatik teorem ispatı, yapay zekâ alanında Dr. Bledsoe'nun temel araştırma ilgi alanıdır. Kendisi 1972'den bu yana, yıllık yaklaşık 45.000 ABD doları tutarında bir National Science Foundation desteğiyle çalışmaktadır.
"Yapay zekâ, bilgisayarın ve bilgisayarla ilişkili tekniklerin, bilgisayarın insanların yaptığı zeki işleri yapmasını sağlamak üzere incelenmesidir," diyor Dr. Bledsoe. "Örneğin, bilgisayarlar satranç oynayabilir, resimleri tanıyabilir ve teoremleri ispatlayabilir—bunlar normalde makinelerden ziyade insanların yaptığı şeylerdir."
Eylül ayında Dr. Bledsoe, SSCB'nin Tiflis kentinde düzenlenen Dördüncü Uluslararası Yapay Zekâ Ortak Konferansı'nda ders vermek üzere davet edilen yedi uzmandan biriydi. Ağustos 1977'de Massachusetts Institute of Technology'de yapılacak bir sonraki konferansın genel başkanı seçilmiştir.
Dr. Bledsoe, International Journal on Artificial Intelligence dergisinin yayın kurulunda ve değerlendirme editörü olarak görev yapmaktadır. Ayrıca American Association for Computing Machinery'nin Yapay Zekâ Özel İlgi Grubu tarafından yayımlanan SIGART Newsletterın editörüdür.
UT'de yapay zekâya ilgi duyan öğretim üyeleri bir yapay zekâ grubu oluşturmuştur. Dr. Bledsoe'ya ek olarak şunlar yer almaktadır:
- Bilgisayar bilimleri profesörü Dr. Robert Simmons
- Psikoloji profesörü Dr. John C. Loehlin
- Bilgisayar bilimleri doçenti Dr. Laurent Siklossy
- Matematik yardımcı doçenti Dr. Daniel Chester
- Bilgisayar bilimleri yardımcı doçenti Dr. Donald Good
"Muhtemelen ülkedeki yapay zekâ alanındaki önde gelen kurumlar MIT, Stanford ve Carnegie-Mellon'dur," diyor Dr. Bledsoe, "ve UT de burada yer alan insanların niteliği sayesinde muhtemelen çok yakın bir dördüncü sırada gelir."
Dr. Bledsoe, 1966'dan bu yana UT matematik fakültesinin bir üyesidir. Otomatik teorem ispatına ek olarak araştırma ilgi alanları arasında ölçü kuramı, sistem analizi ve örüntü tanıma bulunmaktadır. Bilimsel dergilerde 30'dan fazla makale yazmıştır.
American Mathematics Society, Institute of Electrical and Electronics Engineers ve Association for Computing Machinery üyesidir.