A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
On embedding default logic into Moore's autoepistemic logic
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