1960'ların sonlarında geliştirilen Planner programlama dili, yapay zekadaki mevcut mantıksal yaklaşımlara bir alternatif sunan prosedürel bir bilgi gömme yöntemi getirdi. Bu proje, otuz yılı aşkın süren araştırmaları eşzamanlı hesaplama ve mantıksal programlamanın gelişimini etkileyen bir bilgisayar bilimcisi ve matematikçi olan Carl Eddie Hewitt'in kariyerinde merkezi bir sütun görevi gördü.
MIT'deki Akademik Temel
Carl Eddie Hewitt, 1971 yılında Massachusetts Teknoloji Enstitüsü'nden (MIT) matematik alanında doktora derecesini aldı. Doktora danışmanları arasında Seymour Papert, Marvin Minsky ve Mike Paterson bulunuyordu. Mezuniyetinin ardından, 1999–2000 akademik yılına kadar ders verdiği MIT Elektrik Mühendisliği ve Bilgisayar Bilimleri Bölümü'nde öğretim kadrosuna katıldı. Emekliliğinin ardından bölüme fahri profesör statüsü verildi. Görev süresi boyunca Gul Agha, Henry Baker, William Clinger, Irene Greif ve Akinori Yonezawa dahil olmak üzere çok sayıda doktora öğrencisine danışmanlık yaptı.
Planner'ın Gelişimi
MIT Yapay Zeka Laboratuvarı'ndaki zamanı boyunca Hewitt, robotlarda otomatik planlama ve teorem kanıtlama için tasarlanmış bir dil olan Planner üzerinde çalıştı. John McCarthy gibi araştırmacıların tercih ettiği önceki mantıksal yöntemlerin aksine Planner, iddialardan ve hedeflerden gelen kalıp yönlendirmeli çağrılardan yararlanıyordu. Dilin bir alt kümesi olan Micro-Planner, Gerry Sussman, Drew McDermott, Eugene Charniak ve Terry Winograd tarafından uygulandı ve daha sonra SHRDLU gibi programlara ve çeşitli doğal dil hikaye anlama deneylerine güç verdi. Hewitt daha sonra Planner kavramlarının uygulanmasını iyileştirmeyi amaçlayan Lisp'in genişletilmiş bir sürümü olan Muddle üzerinde iş birliği yaptı.
Aktör Modeli ve Eşzamanlı Hesaplama
1972'de Hewitt, lisansüstü öğrencileriyle birlikte eşzamanlı hesaplamanın aktör modelini geliştirdikten sonra odağını değiştirdi. Peter Bishop ve Richard Steiger ile birlikte yazılan 1973 tarihli bir makalede resmen tanıtılan model, paralel süreçler için yeni bir çerçeve önerdi. Bu çalışma, araştırmacılar Sussman ve Steele'in aktör oluşturma operatörlerinin lambda hesabı operatörüyle kimlik paylaştığını fark ettiği Scheme programlama dilinin oluşturulmasını etkiledi. Aktör modeli daha sonra E, SALSA ve ActorScript dahil olmak üzere çeşitli dillerin ve teorik π-hesabının gelişimine bilgi sağladı.
Profesyonel Sosyal Yardım ve Sonraki Araştırmalar
Hewitt, Eylül 1989'dan Ağustos 1990'a kadar Japonya'daki Keio Üniversitesi'nde IBM Kürsüsü Misafir Profesörü olarak görev yaparak uluslararası bir akademik varlık sürdürdü. Ayrıca Stanford Üniversitesi'nde misafir profesörlük yaptı. Araştırmasının son on yılında, sürekli tutarsız verileri işleyen bilgi sistemleri için titiz temeller oluşturmayı amaçlayan tutarsızlık sağlamlığına odaklandı. Akademik üretimi, açık bilgi sistemleri, parakonsistent mantık, bulut bilişim ve organizasyonel çoklu ajan sistemleri gibi çeşitli alanları kapsıyordu.
Hızlı gerçekler
- Doğum: 1944 - Ölüm: 2022, Aptos - Vatandaşlık: Amerika Birleşik Devletleri - Eğitim: Massachusetts Teknoloji Enstitüsü - Birincil Alan: Bilgisayar Bilimleri - Önemli Çalışma: Planner - Akademik Danışman: Marvin Minsky - Misafir Profesör: Keio Üniversitesi
Okuyucuların sorduğu sorular
### Planner dilinin amacı neydi?
Planner, özellikle yapay zeka ve robotikte kullanılmak üzere otomatik planlama ve teorem kanıtlama için tasarlanmıştı.
### Hewitt eşzamanlı programlamaya nasıl katkıda bulundu?
Birden fazla programlama dilini ve π-hesabının gelişimini etkileyen eşzamanlı hesaplama için resmi bir sistem olan aktör modelini geliştirdi.
