### Translating default logic into standard autoepistemic logicTranslating default logic into standard autoepistemic logic

Access Restriction
Subscribed

 Author Gottlob, Georg Source ACM Digital Library Content type Text Publisher Association for Computing Machinery (ACM) File Format PDF Copyright Year ©1995 Language English
 Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science Subject Keyword Autoepistemic logic ♦ Default logic ♦ Nonmonotonic modal logic ♦ Reasoning ♦ Translation Abstract Since Konolige's translation of default logic into strongly grounded autoepistemic logic, several other variants of Moore's original autoepistemic logic that embody default logic have been studied. All these logics differ significantly from Moore's autoepistemic logic (standard AEL) in that expansions are subject to additional groundedness-conditions. Hence, the question naturally arises whether default logic can be translated into standard AEL at all. We show that a modular translation is not possible. However, we are able to construct a faithful polynomial-time translation from default logic into standard AEL, which is nonmodular. Our translation exploits the self-referentiality of AEL. It uses as an important intermediate step an embedding of Marek's and Truszczyn´ski's nonmonotonic logic $\textbf{N}$ into standard AEL. It follows from our results that the expressive power of standard AEL is strictly greater than that of default logic. ISSN 00045411 Age Range 18 to 22 years ♦ above 22 year Educational Use Research Education Level UG and PG Learning Resource Type Article Publisher Date 1995-07-01 Publisher Place New York e-ISSN 1557735X Journal Journal of the ACM (JACM) Volume Number 42 Issue Number 4 Page Count 30 Starting Page 711 Ending Page 740

#### Open content in new tab

Source: ACM Digital Library