Declarative Representation of Revision Strategies*

In this paper we introduce a nonmonotonic framework for belief revision in which reasoning about the reliability of different pieces of information based on meta-knowledge about the information is possible, and where revision strategies can be described declaratively. The approach is based on a Poole-style system for default reasoning in which entrenchment information is represented in the logical language. A notion of inference based on the least fixed point of a monotone operator is used to make sure that all theories possess a consistent set of conclusions.

[1]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[2]  Thomas Eiter,et al.  Prioritizing Default Logic , 2000, Intellectics and Computational Logic.

[3]  Michael J. Maher,et al.  Revising Nonmonotonic Theories: The Case of Defeasible Logic , 1999, KI.

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

[5]  Henry Prakken,et al.  Argument-Based Extended Logic Programming with Defeasible Priorities , 1997, J. Appl. Non Class. Logics.

[6]  Gerhard Brewka,et al.  Belief revision in a framework for default reasoning , 1989, The Logic of Theory Change.

[7]  Peter Gärdenfors,et al.  Knowledge in Flux , 1988 .

[8]  Bernhard Nebel,et al.  Belief Revision: Syntax based approaches to belief revision , 1992 .

[9]  A. Tarski.  A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .

[10]  Peter Gärdenfors,et al.  Revisions of Knowledge Systems Using Epistemic Entrenchment , 1988, TARK.

[11]  Randy Goebel,et al.  Belief States as Default Theories: Studies in Non-Prioritized Belief Change , 1998, ECAI.

[12]  Gerhard Brewka,et al.  Preferred Subtheories: An Extended Logical Framework for Default Reasoning , 1989, IJCAI.

[13]  L. R. Harris.  Hypothetical reasoning , 1989 .

[14]  Peter Gärdenfors,et al.  Relations between the logic of theory change and nonmonotonic logic , 1989, The Logic of Theory Change.

[15]  Michael J. Maher,et al.  Revising Nonmonotonic Belief Sets: The Case of Defeasible Logic , 1999 .

[16]  Gerhard Brewka.  Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences , 1996, J. Artif. Intell. Res..

[17]  W. Salmon,et al.  Knowledge in Flux , 1991 .

[18]  Renata Wassermann.  On Structured Belief Bases - Preliminary Report , 1998 .

[19]  Grigoris Antoniou,et al.  A Strategy for Revising Default Theory Extensions , 1998, International Conference on Principles of Knowledge Representation and Reasoning.

[20]  José Júlio Alferes,et al.  Reasoning with Logic Programming , 1996, Lecture Notes in Computer Science.

[21]  Rohit Parikh,et al.  An Inconsistency Tolerant Model for Belief Representation and Belief Revision , 1999, IJCAI.

[22]  Peter Gärdenfors,et al.  Nonmonotonic Inference Based on Expectations , 1994, Artif. Intell..