Prioritizing Default Logic

In nonmonotonic reasoning conflicts among defaults are ubiquitous. For instance, more specific rules may be in conflict with more general ones, a problem which has been studied intensively in the context of inheritance networks (Poole, 1985; Touretzky, 1986; Touretzky et al., 1991). When defaults are used for representing design goals in configuration tasks conflicts naturally arise. The same is true in model based diagnosis where defaults are used to represent the assumption that components typically are ok. In legal reasoning conflicts among rules are very common (Prakken, 1993) and keep many lawyers busy (and rich).

[1]  Kurt Konolige,et al.  Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning , 1988, AAAI.

[2]  Georg Gottlob,et al.  The complexity of logic-based abduction , 1993, JACM.

[3]  Didier Dubois,et al.  Inconsistency Management and Prioritized Syntax-Based Entailment , 1993, IJCAI.

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

[5]  Tran Cao Son,et al.  Reasoning with Prioritized Defaults , 1997, LPKR.

[6]  David S. Touretzky,et al.  A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance , 1991, IJCAI.

[7]  Thomas Eiter,et al.  Preferred Answer Sets for Extended Logic Programs , 1999, Artif. Intell..

[8]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

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

[10]  Torsten Schaub,et al.  A General Approach to Specificity in Default Reasoning , 1994, KR.

[11]  Norman Y. Foo,et al.  Answer Sets for Prioritized Logic Programs , 1997, ILPS.

[12]  Chiaki Sakama,et al.  Representing Priorities in Logic Programs , 1996, JICSLP.

[13]  Jussi Rintanen.  Lexicographic Priorities in Default Logic , 1998, Artif. Intell..

[14]  Teodor C. Przymusinski,et al.  On the Relationship Between Circumscription and Negation as Failure , 1989, Artif. Intell..

[15]  Gerhard Brewka,et al.  Adding Priorities and Specificity to Default Logic , 1994, JELIA.

[16]  Torsten Schaub,et al.  Compiling Reasoning with and about Preferences into Default Logic , 1997, IJCAI.

[17]  Henry Prakken,et al.  Logical Tools for Modelling Legal Argument , 1997 .

[18]  Donald Nute,et al.  Defeasible Logic , 1994, INAP.

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

[20]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[21]  Jussi Rintanen.  On Specificity in Default Logic , 1995, IJCAI.

[22]  Georg Gottlob,et al.  Complexity Results for Nonmonotonic Logics , 1992, J. Log. Comput..

[23]  Iain D. Craig.  Distributed Artificial Intelligence edited by Michael N. Huhns Research Notes in Artificial Intelligence, Pitman, London, 1987 , 1988, Robotica.

[24]  Gerhard Brewka.  Reasoning about Priorities in Default Logic , 1994, AAAI.

[25]  David Poole,et al.  On the Comparison of Theories: Preferring the Most Specific Explanation , 1985, IJCAI.

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