Consistency Defaults

A consistency default is a propositional inference rule that asserts the consistency of a formula in its consequence. Consistency defaults allow for a straightforward encoding of domains in which it is explicitely known when something is possible. The logic of consistency defaults can be seen as a variant of cumulative default logic or as a generalization of justified default logic; it is also able to simulate Reiter default logic in the seminormal case. A semantical characterization of consistency defaults in terms of processes and in terms of a fixpoint equation is given, as well as a normal form.

[1]  Georg Gottlob,et al.  Default Logic as a Query Language , 1997, IEEE Trans. Knowl. Data Eng..

[2]  Paolo Liberatore.  Uncontroversial Default Logic , 2004, J. Log. Comput..

[3]  Chiaki Sakama,et al.  Negation as Failure in the Head , 1998, J. Log. Program..

[4]  Philippe Chatalic,et al.  Graded Default Logics , 1991, ECSQARU.

[5]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[6]  Laura Giordano,et al.  On Cumulative Default Logics , 1994, Artif. Intell..

[7]  Piotr Rychlik.  Some Variations on Default Logic , 1991, AAAI.

[8]  Kurt Konolige,et al.  On the Relation Between Default and Autoepistemic Logic , 1987, Artif. Intell..

[9]  Pierre Marquis,et al.  In search of the right extension , 2000, KR.

[10]  Torsten Schaub,et al.  Alternative Approaches to Default Logic , 1994, Artif. Intell..

[11]  Marco Schaerf,et al.  BReLS: A System for the Integration of Knowledge Bases , 2000, KR.

[12]  Torsten Schaub,et al.  An Approach to Context-Based Default Reasoning , 1995, Fundam. Informaticae.

[13]  Gregory R. Wheeler,et al.  A resource bounded default logic , 2004, NMR.

[14]  Gerhard Brewka.  Cumulative Default Logic: In Defense of Nonmonotonic Inference Rules , 1991, Artif. Intell..

[15]  Bernhard Nebel,et al.  How Hard is it to Revise a Belief Base , 1996 .

[16]  Raymond Reiter,et al.  On Interacting Defaults , 1981, IJCAI.

[17]  Torsten Schaub,et al.  A Context-Based Framework for Default Logics , 1993, AAAI.

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

[19]  Anna Maria Radzikowska.  A Three-Valued Approach to Default Logic , 1996, J. Appl. Non Class. Logics.

[20]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[21]  Torsten Schaub.  On Constrained Default Theories , 1992, ECAI.

[22]  Marco Schaerf,et al.  The complexity of model checking for propositional default logics , 2005, Data Knowl. Eng..