Logic Programming in Knowledge Representation and Reasoning

LPKRR - KIT011

Keywords: knowledge representation, non-monotonic reasoning, logic programming, negation, abductive reasoning, common sense reasoning, default reasoning, abstract interpratation

Start Date: 1 December 93 / Duration: 48 months

[ participants / contact]

Objectivies and Approach

This collaboration involves members of the COMPULOG NET network of excellence. The objective is to develop a general methodology for the application of logic programming to knowledge representation and reasoning. This will involve studying various extensions of the basic logic programming paradigm, expressive enough to formalise common sense reasoning.

Progress and Results

A number of results have been obtained during the progress of this action:

The joint work between the Asian partner and the Imperial College site has focused on the development of a general argumentation theoretical framework for default reasoning unifying different major approaches to default reasoning in the literature.
The focus of the cooperation between the Asian site and Pisa is on the integration of logic programming and reactive systems.
The Asian participant and the Lisbon site have studied the updating of databases and the embedding of updated programs in the generalised production systems framework that has been developed by the consortium.

Information Dissemination Activities and/or Exploitation

Results achieved so far have been presented at international conferences and publications. The Asian partner has given a number of lectures to the European sites. Various seminars and lectures have also been organised in the Asian site.

Coordinator

University of Pisa,
Corso Italia, 40
56125 Pisa, I

EU Partners

University of Pisa, I
Imperial College, UK
DISI, University of Genova, I
Universidade Nova de Lisboa, PT

Non-EU Partners

Asian Institute of Technology, Bangkok, TH

CONTACT POINT

Mr. P. Mancarela
Tel: +39 50 887 210
Fax: +39 50 887 226
E-mail: paolo@di.unipi.it