Sciweavers

Share
LPNMR
2007
Springer

General Default Logic

10 years 8 months ago
General Default Logic
Abstract. In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. The semantics of extensions intuitively captures all possible beliefs which can be derived from a rule base. We show that this logic is a generalization of Reiter’s default logic [1] and Gelfond et al.’s disjunctive default logic [2] in propositional case. We also show that this logic is a generalization of Ferraris’s general logic programming [3]. Finally, we demonstrate that this logic is flexible enough to capture several important situations in common sense reasoning.
Yi Zhou, Fangzhen Lin, Yan Zhang
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where LPNMR
Authors Yi Zhou, Fangzhen Lin, Yan Zhang
Comments (0)
books