A logic of limited belief for reasoning with disjunctive information
Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque · 2004
The goal of producing a general purpose, semantically moti-vated, and computationally tractable deductive reasoning ser-vice remains surprisingly elusive. By and large, approaches that come equipped with a perspicuous model theory either result in reasoners that are too limited from a practical point of view or fall off the computational cliff. In this paper, we propose a new logic of belief called SL which lies between the two extremes. We show that query evaluation based on SL for a certain form of knowledge bases with disjunctive information is tractable in the propositional case and decidable in the first-order case. Also, we present a sound and complete axiomatization for propositional SL.