Robert Kowalski- Robert Kowalski

Robert Kowalski
Robert Kowalski.jpg
Geboren ( 1941-05-15 )15. Mai 1941 (80 Jahre)
Bridgeport , Connecticut, USA
Staatsangehörigkeit britisch
Alma Mater University of Chicago
University of Bridgeport
Stanford University
University of Warsaw
University of Edinburgh
Bekannt für Logikprogrammierung
Ereignisrechnung
Auszeichnungen IJCAI-Preis für Forschungsexzellenz (2011)
Wissenschaftlicher Werdegang
Felder Logik
Informatik
Institutionen Universität Edinburgh
Imperial College London
These Studien zur Vollständigkeit und Effizienz des Theorem-Beweises durch Resolution  (1970)
Doktoratsberater Bernard Meltzer
Doktoranden David HD Warren
Keith Clark

Robert Anthony Kowalski (* 15. Mai 1941) ist ein amerikanisch-britischer Logiker und Informatiker , dessen Forschung sich mit der Entwicklung von sowohl am Menschen orientierten Computermodellen als auch computergestützten Modellen des menschlichen Denkens beschäftigt. Den größten Teil seiner Karriere hat er in Großbritannien verbracht.

Bildung

Er studierte an der University of Chicago , der University of Bridgeport (BA in Mathematik, 1963), der Stanford University (MSc in Mathematik, 1966), der University of Warschau und der University of Edinburgh (PhD in Informatik , 1970).

Werdegang

Er war wissenschaftlicher Mitarbeiter an der University of Edinburgh (1970–75) und ist seit 1975 am Department of Computing des Imperial College London , wo er 1982 einen Lehrstuhl für Computerlogik erhielt und 1999 emeritierter Professor wurde.

Er begann seine Forschungen auf dem Gebiet des automatisierten Theorembeweisens und entwickelte sowohl die SL-Auflösung mit Donald Kuehner als auch das Connection-Graph-Proof-Verfahren. Er entwickelte die SLD-Auflösung und die prozedurale Interpretation von Horn-Klauseln , die die operationale Semantik des Rückwärtsfolgerns in der Logikprogrammierung untermauern . Mit Maarten van Emden. entwickelte er auch das Minimalmodell und die Fixpunktsemantik von Hornklauseln, die die logische Semantik der logischen Programmierung untermauern.

Mit Marek Sergot entwickelte er sowohl die Ereignisrechnung als auch die Anwendung der logischen Programmierung auf die juristische Argumentation . Mit Fariba Sadri entwickelte er ein Agentenmodell, in dem Überzeugungen durch logische Programme und Ziele durch Integritätsbeschränkungen repräsentiert werden .

Kowalski war einer der Entwickler von Abductive Logic Programming , bei dem logische Programme mit Integritätsbeschränkungen und mit undefinierten, abduzierbaren Prädikaten erweitert werden. Diese Arbeit führte zu der Demonstration mit Phan Minh Dung und Francesca Toni, dass die meisten Logiken für die Default-Argumentation als Sonderfälle der annahmebasierten Argumentation angesehen werden können .

In seinem 1979 erschienenen Buch Logic for Problem Solving argumentiert Kowalski, dass logische Inferenz ein einfaches und leistungsstarkes Modell der Problemlösung bietet, das sowohl von Menschen als auch von Computern verwendet werden kann. In seinem 2011 erschienenen Buch Computational Logic and Human Thinking - How to be Artificially Intelligent argumentiert er, dass der Einsatz von Computerlogik normalen Menschen helfen kann, ihre Kommunikationsfähigkeiten in natürlicher Sprache zu verbessern, und dass sie in Kombination mit der Entscheidungstheorie zur Verbesserung verwendet werden kann ihre praktischen Problemlösefähigkeiten.

In jüngerer Zeit hat er in Zusammenarbeit mit Fariba Sadri die Logik- und Computersprache LPS (Logic Production Systems) entwickelt, die einen Großteil seiner früheren Arbeiten zur Computerlogik integriert.

Ehrungen und Auszeichnungen

Kowalski wurde 1991 zum Fellow der American Association for Artificial Intelligence , 1999 des European Coordinating Committee for Artificial Intelligence und 2001 der Association for Computing Machinery gewählt. 2011 erhielt er den IJCAI Award for Research Excellence . für seine Beiträge zur Logik zur Wissensrepräsentation und Problemlösung, einschließlich seiner bahnbrechenden Arbeiten zum automatisierten Theorembeweisen und zur Logikprogrammierung“. 2012 erhielt er den Preis der Japan Society for the Promotion of Science for Eminent Scientists für 2012–2014. 2021 erhielt er den Inaugural CodeX Prize für seine Arbeit mit Fariba Sadri und Marek Sergot „in Anerkennung ihrer bahnbrechenden Arbeiten zur Anwendung der Logikprogrammierung auf die Formalisierung und Analyse des British Nationality Act. Der wegweisende Artikel der Autoren, „The British Nationality Act as a Logic Program“, 1986 in der Zeitschrift „Communications of the ACM“ veröffentlicht, ist eines der ersten und bekanntesten Werke im Computerrecht und eines der am häufigsten zitierten Papiere auf diesem Gebiet. [4]

Bücher

  • Logik zur Problemlösung , Nordholland, Elsevier, 1979.
  • Computational Logic and Human Thinking: How to be Artificially Intelligent , Cambridge University Press, 2011.

Siehe auch

Verweise

Externe Links