On embedding default logic into Moore's autoepistemic logic

Grigori Schwarz
1996 Artificial Intelligence  
Recently Gottlob proved [2] that there does not exist a faithful modular translation of default logic into autoepistemic logic, and presented a non-modular translation. Gottlob's translation, however, is indirect (it uses "nonmonotonic logic N" as an intermediate point), quite complex and exploitlj sophisticated encoding of proof theory in autoepistemic formulas. We provide a simpler and more intuitive (non-modular) direct translation. In addition, our argument is purely
doi:10.1016/0004-3702(95)00117-4 fatcat:4k6lkcrkvndedfyu5q4fibjfpi