Robert Kowalski


Professor Emeritus and Senior Research Fellow


Department of Computing
Imperial College London


180 Queen's Gate, London SW7 2BZ, UK.

Email: rak at doc.ic.ac.uk


 

A Preliminary Selection of Flint Artefacts
Collected from the Vicinity of Petworth, West Sussex

 


 

Entry in the International Directory of Logicians

"International Directory of Logicians" , Dov M. Gabbay & John Woods (eds.) College Publications 2008.

 


Curriculum Vitae

 


 

A Short Story of My Life and Work

 


 

New paper: Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents(with Fariba Sadri)

 

In Web Reasoning and Rule Systems (eds. A. Polleres and T. Swift) Springer, LNCS 5837. 2009.

 

In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In this framework, logic programs function as an agent’s beliefs and production rules function as the agent’s goals. The semantics and proof procedures are based on abductive logic programming, in which logic programs are integrated with integrity constraints that behave like production rules.
Similarly to production systems, the proof procedure is an operational semantics, which manipulates the current state of a database, which is modified by actions implemented by destructive assignment. The semantics can be viewed as generating a model, based on the sequence of database states and logic program, which makes the production rules true.

 


New paper: Assumption-Based Argumentation

 

(with Phan Minh Dung and Francesca Toni)

In Argumentation in Artificial Intelligence edited by I. Rahwan and G. Simari) Springer, 2009.


Draft book: How to be Artificially Intelligent

(revised 4 February 2010)

I am writing a book, to be published by Cambridge University Press, which presents the principles of Computational Logic informally, so that they can be applied by people in everyday life.  I have written the book informally, both to reach a wider audience and to demonstrate that the enhanced logic is indeed useful for human thinking. 

I gave a short course based on this book at the The International Center for Computational Logic (ICCL)  2008 summer school on Computational Logic and Cognitive Science. A copy of the slides that accompanied the course can be found at:

http://www.computational-logic.org/content/events/iccl-ss-2008/lectures.php?id=24

Jacinto Davila has also used a draft of this book for a course at Universidad de Los Andes, Venezuela. Here is a link to his Spanish translation of an earlier draft:

http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/logica-de-agentes.html

I would be very grateful for any comments on the book. Please send them to me at rak at doc.ic.ac.uk.


Logic for Problem Solving

The book, originally published by North-Holland in 1979, is now out of print.


Selected bibliography

Early papers on theorem-proving, logic programming and knowledge representation:

Legal reasoning and argumentation

Metalogic programming

Event Calculus

Abductive Logic Programming 

From Abduction to Argumentation

Intelligent Agents

   Relatively recent, miscellaneous papers

last updated 4 February 2010