Minimal Belief and Negation as Failure

Abstract

Fangzhen Lin and Yoav Shoham deened a propositional nonmonotonic logic which uses two independent modal operators. One of them represents minimal knowledge, the other is related to the ideas of justiication (as understood in default logic) and of negation as failure. We describe a simpliied version of that system, show how quantiiers can be included in it, and study its relation to circumscription and default logic, to logic programming, and to the theory of epistemic queries developed by Hector Levesque and Ray Reiter.

DOI: 10.1016/0004-3702(94)90103-1

Extracted Key Phrases

Statistics

01020'95'98'01'04'07'10'13'16
Citations per Year

174 Citations

Semantic Scholar estimates that this publication has 174 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Lifschitz1994MinimalBA, title={Minimal Belief and Negation as Failure}, author={Vladimir Lifschitz}, journal={Artif. Intell.}, year={1994}, volume={70}, pages={53-72} }