Previous: TR 93-08 Next: TR 93-11

Intellektik: Technical report 93-10

Minimal belief and negation as failure: A feasible approach

A. Beriner and T. Schaub

Lifschitz introduced a logic of minimal belief and negation as failure, called MBNF, in order to provide a theory of epistemic queries to nonmonotonic databases. We present a feasible subsystem of MBNF which can be translated into a logic built on first order logic and negation as failure, called PNF. We give a semantics for PNF along with an extended connection calculus. In particular, we demonstrate that the obtained system is still more expressive than other approaches.

Full Paper: Compressed postscript Compressed DVI

BibTeX entry