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
.
Embedding minimal knowledge into autoepistemic logic
[chapter]
1997
Lecture Notes in Computer Science
We investigate the epistemological properties of MKNF, Lifschitz's logic of minimal knowledge and negation as failure. In particular, we show that the expressive power of MKNF is equivalent to Moore's autoepistemic logic (AEL), by de ning an embedding of MKNF into AEL and vice versa. We also prove that the negation as failure modality not of MKNF exactly corresponds to the negative introspection operator in AEL. The two previous results imply that MKNF's minimal knowledge modality K can be
doi:10.1007/3-540-63576-9_111
fatcat:qb6oht2hrrcilhrzqxyxr74ezy