Sciweavers

Share
KR
2004
Springer

A Logic of Limited Belief for Reasoning with Disjunctive Information

9 years 1 months ago
A Logic of Limited Belief for Reasoning with Disjunctive Information
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service 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.
Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where KR
Authors Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque
Comments (0)
books