论文信息 - Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance System

Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance System

In this paper we develop a proof procedure for autoepistemic (AEL) and default logics (DL), based on translating them into a Truth Maintenance System (TMS). The translation is decidable if the theory consists of a finite number of defaults and premises and classical derivability for the base language is decidable. To determine all extensions of a network, we develop variants of Doyle's labelling algorithms.

Kurt Konolige | Ulrich Junker | K. Konolige | Ulrich Junker

[1] Jon Doyle,et al. A Truth Maintenance System , 1979, Artif. Intell..

[2] Hector J. Levesque,et al. All I Know: An Abridged Report , 1987, AAAI.

[3] Ulrich Junker,et al. A Correct Non-Monotonic ATMS , 1989, IJCAI.

[4] Michael Reinfrank,et al. On the Relation Between Truth Maintenance and Autoepistemic Logic , 1989, IJCAI.

[5] Alan Bundy,et al. Truth Maintenance System , 1984 .

[6] Victor W. Marek,et al. Autoepistemic logic , 1991, JACM.

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

[8] Bart Selman,et al. Hard Problems for Simple Default Logics , 1989, Artif. Intell..

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

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

[11] David W. Etherington. Formalizing Nonmonotonic Reasoning Systems , 1987, Artif. Intell..

[12] Ilkka Niemelä,et al. Decision Procedure for Autoepistemic Logic , 1988, CADE.

[13] Gerhard Brewka. Nonmonotonic reasoning: from theoretical foundation towards efficient computation , 1989 .

[14] Hector J. Levesque,et al. Hard problems for simple default logics , 1992 .

[15] Jon Doyle,et al. The Ins and Outs of Reason Maintenance , 1983, IJCAI.

[16] Philippe Smets. Non-standard logics for automated reasoning , 1988 .