Die prozedurale Interpretation von Horn-Klauseln, entwickelt von Robert Kowalski, bildet die operative Grundlage für das Rückwärtsschließen in der logischen Programmierung. Der 1941 in Bridgeport, Connecticut, geborene Mathematiker und Informatiker konzentrierte seine Karriere auf die Schnittstelle zwischen automatischem Theorembeweisen und menschenorientierten Computermodellen, vorwiegend während seiner Tätigkeit an akademischen Einrichtungen im Vereinigten Königreich.
Akademischer Hintergrund
Kowalski besuchte die Fairfield College Preparatory School, bevor er ein Hochschulstudium aufnahm. Er erwarb 1963 einen BA in Mathematik an der University of Bridgeport, gefolgt von einem MSc in Mathematik an der Stanford University im Jahr 1966. Sein Promotionsstudium führte ihn an die Universität Warschau und schließlich an die Universität Edinburgh, wo er 1970 einen Doktortitel in Informatik erhielt.
Grundlagen der logischen Programmierung
Seine Forschungskarriere begann als Stipendiat an der Universität Edinburgh von 1970 bis 1975. Im Jahr 1975 wechselte er an das Department of Computing des Imperial College London. Er erhielt 1982 einen Lehrstuhl für computergestützte Logik und wurde 1999 emeritiert. Zu Beginn dieser Zeit entwickelte er gemeinsam mit Donald Kuehner die SL-Resolution und formulierte das Verbindungsgraphen-Beweisverfahren. In Zusammenarbeit mit Maarten van Emden etablierte er die Fixpunktsemantik und das minimale Modell von Horn-Klauseln, die die logischen Grundlagen des Fachgebiets definieren.
Anwendungen in Recht und Logik
Kowalski weitete die Reichweite der logischen Programmierung auf komplexe Bereiche wie das juristische Denken aus. Zusammen mit Marek Sergot entwickelte er den Ereigniskalkül und wandte die logische Programmierung an, um frühe juristische Expertensysteme zu schaffen. Ihre Studie aus dem Jahr 1986, The British Nationality Act as a Logic Program, bleibt ein wegweisendes Werk im Bereich des Computerrechts und brachte dem Team 2021 den ersten CodeX-Preis ein. Darüber hinaus führte seine Arbeit mit Fariba Sadri zur Schaffung von logischen Produktionssystemen und zur Entwicklung von Logical English, einer eingeschränkten Syntax, die darauf ausgelegt ist, die Kommunikation zu verbessern und Rechtsverträge zu formalisieren.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Berufliche Anerkennung
Seine Beiträge wurden mit bedeutenden beruflichen Auszeichnungen gewürdigt. Er wurde 1991 zum Fellow der American Association for Artificial Intelligence und 2001 zum Fellow der Association for Computing Machinery gewählt. Im Jahr 2011 erhielt er den IJCAI Award for Research Excellence. Zwischen 2012 und 2014 war er Träger eines Preises der Japan Society for the Promotion of Science für herausragende Wissenschaftler.
Fakten
- Geboren: 1941, Bridgeport - Fachgebiet: Logik und Informatik - Promotion: Universität Edinburgh, 1970 - Emeritus-Professor: Imperial College London - Mitgliedschaften: AAAI, ACM - Hauptinteresse: Computergestützte Logik - Bedeutendes Buch: Logic for Problem Solving, 1979 - CodeX-Preisträger: 2021
Häufige Fragen
### Was ist die Hauptfunktion von Logical English?
Es dient als syntaktischer Zucker für Programmiersprachen wie Prolog und soll es Einzelpersonen ermöglichen, logische Regeln mithilfe einer standardmäßigen englischen Syntax zu lesen und zu verstehen.
### Wie verbindet Kowalski Logik mit menschlichem Denken?
Er argumentiert, dass computergestützte Logik als Modell für die Problemlösung fungiert, das in Kombination mit der Entscheidungstheorie die Kommunikation in natürlicher Sprache und die Fähigkeiten zum praktischen Denken verbessern kann.
