An Abductive Proof Procedure for Conditional Logic Programming

We develop an abductive extension of the hypothetical language CondLP+ within the argumentation framework. The language supports hypothetical updates together with integrity constraints, and it makes use of a revision mechanism to restore consistency when an update violates some integrity constraint. We introduce a semantics for the language based on the notion of admissible solution, and we define an abductive proof procedure to compute them. The language can be used to perform several types of defeasible reasoning. We discuss how the revision policy of the language can be modified to perform different types of reasoning, like reasoning about actions.

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

[2]  José Júlio Alferes,et al.  Diagnosis and Debugging as Contradiction Removal , 1993, LPNMR.

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

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

[5]  Antonis C. Kakas,et al.  Computing the Acceptability Semantics , 1995, LPNMR.

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

[7]  Phan Minh Dung,et al.  Negations as Hypotheses: An Abductive Foundation for Logic Programming , 1991, ICLP.

[8]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[9]  Dov M. Gabbay,et al.  Conditional logic programming , 1994, ICLP 1994.

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

[11]  José Júlio Alferes,et al.  Diagnosis and Debugging as Contradiction Removal in Logic Programs , 1993, EPIA.

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

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

[14]  Paolo Mancarella,et al.  The Acceptability Semantics for Logic Programs , 1994, ICLP.

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

[16]  José Júlio Alferes,et al.  The Extended Stable Models of Contradiction Removal Semantics , 1991, EPIA.

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

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

[19]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming , 1993, IJCAI.

[20]  Dov M. Gabbay,et al.  Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language , 1995, LPNMR.

[21]  Michael Gelfond,et al.  Logic Programs with Classical Negation , 1990, ICLP.