Robert Kowalski tarafından geliştirilen Horn yan tümcelerinin işlemsel yorumu, mantıksal programlamada geriye doğru akıl yürütme için operasyonel temeli sağlar. 1941'de Bridgeport, Connecticut'ta doğan matematikçi ve bilgisayar bilimcisi, kariyerini ağırlıklı olarak Birleşik Krallık'taki akademik kurumlarda çalışırken, otomatik teorem kanıtlama ile insan odaklı hesaplama modellerinin kesişimine odakladı.
Akademik Geçmiş
Kowalski, yükseköğrenimine devam etmeden önce Fairfield College Hazırlık Okulu'na gitti. 1963'te Bridgeport Üniversitesi'nden matematik alanında lisans, 1966'da Stanford Üniversitesi'nden matematik alanında yüksek lisans derecesi aldı. Doktora çalışmaları onu Varşova Üniversitesi'ne ve nihayetinde 1970 yılında bilgisayar bilimleri alanında doktora derecesini aldığı Edinburgh Üniversitesi'ne götürdü.
Mantıksal Programlamanın Temelleri
Araştırma kariyeri, 1970'ten 1975'e kadar Edinburgh Üniversitesi'nde bursiyer olarak başladı. 1975'te Londra Imperial College Bilgi İşlem Bölümü'ne geçti. 1982'de hesaplamalı mantık alanında kürsü sahibi oldu ve 1999'da emeritus statüsüne ulaştı. Bu dönemin başlarında, Donald Kuehner ile birlikte SL-çözünürlüğünü geliştirdi ve bağlantı grafiği kanıtlama prosedürünü formüle etti. Maarten van Emden ile iş birliği yaparak, alanın mantıksal temellerini tanımlayan Horn yan tümcelerinin sabit nokta semantiğini ve minimal modelini oluşturdu.
Hukuk ve Mantıkta Uygulamalar
Kowalski, mantıksal programlamanın kapsamını hukuki akıl yürütme gibi karmaşık alanlara genişletti. Marek Sergot ile birlikte olay kalkülüsünü geliştirdi ve ilk hukuki uzman sistemleri oluşturmak için mantıksal programlamayı uyguladı. 1986 tarihli çalışmaları olan The British Nationality Act as a Logic Program, hesaplamalı hukuk alanında temel bir eser olmaya devam etmekte ve ekibe 2021'de ilk CodeX Ödülü'nü kazandırmıştır. Ayrıca, Fariba Sadri ile yaptığı çalışma, mantıksal üretim sistemlerinin oluşturulmasına ve iletişimi geliştirmek ve yasal sözleşmeleri resmileştirmek için tasarlanmış kısıtlı bir sözdizimi olan Logical English'in geliştirilmesine yol açtı.
Mesleki Tanınma
Katkıları önemli mesleki onurlarla işaretlenmiştir. 1991'de Yapay Zeka Geliştirme Derneği'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ı. 2012 ile 2014 yılları arasında, Japonya Bilimi Teşvik Derneği'nin Seçkin Bilim İnsanları Ödülü'nü aldı.
Hızlı gerçekler
- Doğum: 1941, Bridgeport - Alan: Mantık ve bilişim - Doktora: Edinburgh Üniversitesi, 1970 - Emeritus Profesör: Imperial College London - Üyelikler: AAAI, ACM - Temel İlgi Alanı: Hesaplamalı mantık - Önemli Kitap: Logic for Problem Solving, 1979 - CodeX Ödülü Sahibi: 2021
Okuyucuların sorduğu sorular
### Logical English'in temel işlevi nedir?
Prolog gibi programlama dilleri için sözdizimsel şeker görevi görür ve bireylerin standart İngilizce sözdizimini kullanarak mantıksal kuralları okumasına ve anlamasına olanak sağlamayı amaçlar.
### Kowalski mantığı insan düşüncesiyle nasıl bağdaştırıyor?
Hesaplamalı mantığın, karar teorisiyle birleştirildiğinde doğal dil iletişimini ve pratik akıl yürütme becerilerini geliştirebilen bir problem çözme modeli olarak hareket ettiğini savunuyor.
