Robert Kowalski - Robert Kowalski
Robert Kowalski | |
|---|---|
 | |
| doğmuş |
15 Mayıs 1941
Bridgeport , Connecticut, ABD
|
| milliyet | ingiliz |
| gidilen okul |
Chicago Üniversitesi Bridgeport Üniversitesi Stanford Üniversitesi Varşova Üniversitesi Edinburgh Üniversitesi |
| Bilinen |
Mantık programlama Olay hesabı |
| Ödüller | IJCAI Araştırma Mükemmelliği Ödülü (2011) |
| Bilimsel kariyer | |
| Alanlar |
Mantık Bilgisayar bilimi |
| kurumlar |
Edinburgh Üniversitesi Imperial College Londra |
| Tez | Çözünürlükle Teorem Kanıtlamanın Tamlığı ve Etkinliği Çalışmaları (1970) |
| Doktora danışmanı | Bernard Meltzer |
| Doktora öğrencileri |
David HD Warren Keith Clark |
Robert Anthony Kowalski (15 Mayıs 1941 doğumlu), araştırması hem insan odaklı bilgi işlem modelleri hem de insan düşüncesinin hesaplamalı modellerini geliştirmekle ilgilenen bir Amerikan-İngiliz mantıkçı ve bilgisayar bilimcisidir . Kariyerinin çoğunu Birleşik Krallık'ta geçirdi.
Eğitim
O eğitim gördü Chicago Üniversitesi , Bridgeport Üniversitesi (matematik BA, 1963), Stanford Üniversitesi (matematik MSc, 1966), Varşova Üniversitesi ve Edinburgh Üniversitesi'nde (doktora bilgisayar bilimi , 1970).
Kariyer
O bir oldu araştırma görevlisi at Edinburgh Üniversitesi'nde (1970-1975) ve en olmuştur Computing, Imperial College London'da Bölümü içinde bir sandalye elde, 1975 yılından bu yana Hesaplamalı mantık 1982'de ve 1999 yılında emekli Profesör olma.
Araştırmasına otomatik teorem ispatı alanında başladı, hem Donald Kuehner ile SL çözünürlüğünü hem de bağlantı grafiği ispat prosedürünü geliştirdi. O geliştirdiği SLD çözünürlük ve prosedürel yorumunu Horn maddeleri operasyonel semantiğini desteklemek, geriye akıl içinde mantık programlama . Maarten van Emden. ile, aynı zamanda, mantıksal programlamanın mantıksal anlamını destekleyen Horn yan tümcelerinin minimal modelini ve sabit nokta semantiğini geliştirdi.
Marek Sergot ile hem olay hesabını hem de mantıksal programlamanın yasal muhakeme uygulamasını geliştirdi . Fariba Sadri ile inançların mantık programları ve hedeflerin bütünlük kısıtlamaları ile temsil edildiği bir aracı modeli geliştirdi .
Kowalski, mantık programlarının bütünlük kısıtlamaları ve tanımsız, kaçırılabilir yüklemlerle zenginleştirildiği Abductive Logic Programming'in geliştiricilerinden biriydi . Bu çalışma, Phan Minh Dung ve Francesca Toni ile varsayılan akıl yürütme için çoğu mantığın, varsayım temelli argümantasyonun özel durumları olarak kabul edilebileceğinin gösterilmesine yol açtı .
1979 tarihli Logic for Problem Solving adlı kitabında Kowalski, mantıksal çıkarımın hem insanlar hem de bilgisayarlar tarafından kullanılabilecek basit ve güçlü bir problem çözme modeli sağladığını savunuyor. 2011 tarihli Hesaplamalı Mantık ve İnsan Düşüncesi - Yapay Zeka Nasıl Olunur adlı kitabında, hesaplamalı mantığın kullanılmasının sıradan insanların doğal dil iletişim becerilerini geliştirmelerine yardımcı olabileceğini ve karar teorisi ile birlikte bunu geliştirmek için kullanılabileceğini savunuyor. pratik problem çözme yetenekleri.
Daha yakın zamanlarda Fariba Sadri ile ortak çalışmasında, hesaplama mantığı üzerine önceki çalışmalarının çoğunu bütünleştiren mantık ve bilgisayar dili LPS'yi (Mantık Üretim Sistemleri) geliştirdi.
Başarılar ve ödüller
Kowalski 1991'de Amerikan Yapay Zeka Derneği'ne , 1999'da Avrupa Yapay Zeka Koordinasyon Komitesi'ne ve 2001'de Bilgisayar Makineleri Derneği'ne üye seçildi . 2011'de IJCAI Araştırma Mükemmelliği Ödülü'nü aldı , “ otomatik teorem kanıtlama ve mantık programlama konusundaki öncü çalışmaları da dahil olmak üzere, bilgi temsili ve problem çözme için mantığa katkılarından dolayı”. 2012'de, 2012-2014 için Seçkin Bilim Adamları için Bilimin Teşviki için Japonya Derneği Ödülü'nü aldı. 2021'de Fariba Sadri ve Marek Sergot ile yaptığı çalışmalardan dolayı "Mantıksal programlamanın İngiliz Vatandaşlık Yasası'nın resmileştirilmesi ve analizine uygulanması konusundaki çığır açan çalışmalarının kabulüyle Açılış CodeX Ödülü'nü aldı. Yazarların ufuk açıcı makalesi "The ACM dergisinin Communications dergisinde 1986'da yayınlanan British Nationality Act as a Logic Program", hesaplamalı hukukta ilk ve en iyi bilinen çalışmalardan biridir ve bu alanda en çok alıntı yapılan makalelerden biridir." [4]
Kitabın
- Problem Çözme için Mantık , Kuzey Hollanda, Elsevier, 1979.
- Hesaplamalı Mantık ve İnsan Düşüncesi: Nasıl Yapay Zekalı Olunur , Cambridge University Press, 2011.