Robert Kowalski

För den amerikanska medicinska journalisten och författaren, se Robert E. Kowalski .

Robert Kowalski
Född	( 1941-05-15 ) 15 maj 1941 Bridgeport , Connecticut, USA
Nationalitet	brittisk
Alma mater	University of Chicago University of Bridgeport ( BA ) Stanford University ( MSc ) University of Warszawa University of Edinburgh ( PhD )
Känd för	Logisk programmering Prolog Horn-sats Händelsekalkyl
Utmärkelser	IJCAI Award for Research Excellence (2011)
Vetenskaplig karriär
Fält	Logik Datavetenskap
institutioner	University of Edinburgh Imperial College London
Avhandling	Studies in the Completeness and Efficiency of Theorem-Proving by Resolution (1970)
Doktorand rådgivare	Bernard Meltzer
Doktorander	David HD Warren Keith Clark

Robert Anthony Kowalski (född 15 maj 1941) är en amerikansk-brittisk logiker och datavetare , vars forskning sysslar med att utveckla både mänskligt orienterade modeller för beräkningar och beräkningsmodeller för mänskligt tänkande. Han har tillbringat större delen av sin karriär i Storbritannien.

Utbildning

Han utbildades vid University of Chicago , University of Bridgeport (BA i matematik, 1963), Stanford University (MSc i matematik, 1966), University of Warszawa och University of Edinburgh (PhD i datavetenskap , 1970).

Karriär

Han var forskare vid University of Edinburgh (1970–75) och har varit vid Department of Computing, Imperial College London sedan 1975, fick en professur i Computational logic 1982 och blev emeritusprofessor 1999.

Han började sin forskning inom området för automatiserad teorembevisande och utvecklade både SL-upplösning med Donald Kuehner och förfarandet för bevisföring av anslutningsgrafer. Han utvecklade SLD-upplösning och den procedurmässiga tolkningen av Horn-satser , som underbygger den operativa semantiken för bakåtresonemang i logisk programmering . Tillsammans med Maarten van Emden. utvecklade han också minimalmodellen och fixpoint-semantiken för Horn-satser, som underbygger den logiska semantiken i logisk programmering.

Tillsammans med Marek Sergot utvecklade han både händelsekalkylen och tillämpningen av logisk programmering på juridiska resonemang . Tillsammans med Fariba Sadri utvecklade han en agentmodell där övertygelser representeras av logiska program och mål representeras av integritetsbegränsningar .

Kowalski var en av utvecklarna av Abductive Logic Programming , där logikprogram utökas med integritetsbegränsningar och med odefinierade, abducerbara predikat. Detta arbete ledde till demonstrationen med Phan Minh Dung och Francesca Toni att de flesta logiker för standardresonemang kan betraktas som speciella fall av antagandebaserad argumentation .

I sin bok från 1979, Logic for Problem Solving , hävdar Kowalski att logisk slutledning ger en enkel och kraftfull modell för problemlösning som kan användas av både människor och datorer. I sin bok från 2011, Computational Logic and Human Thinking - How to be Artificially Intelligent, hävdar han att användningen av beräkningslogik kan hjälpa vanliga människor att förbättra sina naturliga språkkommunikationsförmåga, och att det i kombination med beslutsteori kan användas för att förbättra deras praktiska problemlösningsförmåga.

På senare tid i samarbete med Fariba Sadri har han utvecklat logiken och datorspråket LPS (Logic Production Systems), som integrerar mycket av hans tidigare arbete med beräkningslogik.

Heder och utmärkelser

Kowalski valdes till Fellow i American Association for Artificial Intelligence 1991, i European Co-ordinating Committee for Artificial Intelligence 1999 och Association for Computing Machinery 2001. 2011 mottog han IJCAI Award for Research Excellence , " för hans bidrag till logik för kunskapsrepresentation och problemlösning, inklusive hans banbrytande arbete med automatiserad teorembevisande och logikprogrammering”. 2012 mottog han Japan Society for the Promotion of Science Award for Eminent Scientists för 2012–2014. År 2021 fick han Inaugural CodeX-priset för sitt arbete med Fariba Sadri och Marek Sergot "som ett erkännande av deras banbrytande arbete med tillämpningen av logisk programmering för formalisering och analys av den brittiska nationalitetslagen. Författarnas framstående artikel, "The British Nationality Act as a Logic Program", publicerad 1986 i Communications of the ACM Journal, är ett av de första och mest kända verken inom beräkningsrätt och en av de mest citerade artiklarna inom området."

Böcker

• Logic for Problem Solving , North Holland, Elsevier, 1979.
• Computational Logic and Human Thinking: How to be Artificially Intelligent , Cambridge University Press, 2011.

Se även

• Händelsekalkyl
• Logisk programmering
• Prolog

externa länkar

• Robert Kowalskis hemsida
• Biografi
• Biografi ( PDF )
• Biografisk uppsats
• Intervju april 2020