Modeling defeasible reasoning with multiple agents

The authors present a generalized proof theory for defeasible reasoning and briefly explain the relationship of this system to other nonmonotonic formalisms. Then they present a proof theory and semantics for a logic that makes it possible to explicitly model internal perspectives or multiple agents. This ordered logic properly extends defeasible logic by allowing more complex precedence structure on rules. It provides a mechanism for resolving conflicts between competing perspectives without obscuring the opinions of those perspectives. It is shown how a defeasible theory can be transformed into an equivalent theory in the new logic for multiagent reasoning. Finally, the authors consider some examples and discuss how it is possible to specify the relative superiority of some experts over others in a natural way using ordered logic.<<ETX>>

[1]  Kurt Konolige,et al.  On the Relation Between Default Theories and Autoepistemic Logic , 1987, IJCAI.

[2]  Donald Nute,et al.  Defeasible Reasoning: A Philosophical Analysis in Prolog , 1988 .

[3]  Yoav Shoham,et al.  A semantical approach to nonmonotonic logics , 1987, LICS 1987.

[4]  John McCarthy,et al.  Circumscription—a form of non-monotonic reasoning , 1987 .

[5]  Pierre Siegel,et al.  Saturation, Nonmonotonic Reasoning and the Closed-World Assumption , 1985, Artif. Intell..

[6]  John McCarthy,et al.  Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.

[7]  Dirk Vermeir,et al.  A Fixpoint Semantics for Ordered Logic , 1990, J. Log. Comput..

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

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

[10]  Vladimir Lifschitz,et al.  Pointwise Circumscription: Preliminary Report , 1986, AAAI.

[11]  Hector Geffner,et al.  On the Logic of Defaults , 1988, AAAI.

[12]  Hector Geffner,et al.  A Framework for Reasoning with Defaults , 1990 .

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

[14]  Robert C. Moore.  Possible-World Semantics for Autoepistemic Logic , 1987, NMR.

[15]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[16]  Brigitte Verdonk,et al.  A logic for objects and inheritance , 1989 .

[17]  Vladimir Lifschitz,et al.  Computing Circumscription , 1985, IJCAI.

[18]  David S. Touretzky,et al.  A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks , 1987, Artif. Intell..

[19]  D. Nute,et al.  Defeasible logic and temporal projection , 1989, [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track.

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