Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language

In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of atoms and it makes use of a revision mechanism to restore consistency when an update violates some integrity constraint. The revision policy we adopt is based on the simple idea that more recent information is preferred to earlier one. This language can be used to perform several types of defeasible reasoning. We define a goal-directed proof procedure for the language and develope a logical characterization in a modal logic by introducing an abductive semantics.

[1]  Andreas Herzig,et al.  An automated modal logic for elementary changes , 1988 .

[2]  Laurence Cholvy,et al.  Proving Theorems in a Multi-Source Environment , 1993, IJCAI.

[3]  Laura Giordano,et al.  A Multimodal Logic to Define Modules in Logic Programming , 1993, ILPS.

[4]  D.M. Gabbay,et al.  N-Prolog: An Extension of Prolog with Hypothetical Implication II - Logical Foundations, and Negation as Failure , 1985, J. Log. Program..

[5]  Francesca Rossi,et al.  Reasoning in Inconsistent Databases , 1990, NACLP.

[6]  David Scott Warren,et al.  A Logic-based Language for Database Updates , 1988, Foundations of Deductive Databases and Logic Programming..

[7]  A. W Bollen.  Conditional logic programming , 1988 .

[8]  Laurence Cholvy,et al.  A Logical Approach to Multi-Sources Reasoning , 1992, Logic at Work.

[9]  Francesca Rossi,et al.  Reasoning in inconsistent database , 1990 .

[10]  Sarit Kraus,et al.  Combining Knowledge Bases Consisting of First Order Theories , 1991, ISMIS.

[11]  Marianne Winslett,et al.  Updating logical databases , 1990, Cambridge tracts in theoretical computer science.

[12]  José Júlio Alferes,et al.  Contradiction Removal within Well Founded Semantics , 1991, LPNMR.

[13]  Pascal Van Hentenryck.  The Acceptability Semantics for Logic Programs , 1994 .

[14]  Nicola Leone,et al.  Ordered Logic Programming with Sets , 1993, J. Log. Comput..

[15]  Laura Giordano,et al.  Negation as Failure in Intuitionistic Logic Programming , 1992, JICSLP.

[16]  Ilkka Niemelä,et al.  1996 Joint International Conference and Symposium on Logic Programming , 1996 .

[17]  Dov M. Gabbay,et al.  N-Prolog: An Extension of Prolog with Hypothetical Implications I , 1984, J. Log. Program..

[18]  Dov M. Gabbay,et al.  A Language for Handling Hypothetical Updates and Inconsistency , 1996, Log. J. IGPL.

[19]  Robert A. Kowalski,et al.  Abduction Compared with Negation by Failure , 1989, ICLP.

[20]  L. Thorne McCarty,et al.  Clausal Intuitionistic Logic I - Fixed-Point Semantics , 1988, J. Log. Program..

[21]  David Poole,et al.  A Logical Framework for Default Reasoning , 1988, Artif. Intell..

[22]  Dale Miller,et al.  A Theory of Modules for Logic Programming , 1986, SLP.