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.

• Type: Conference
• Year: 2007
• Where: LPNMR
• Authors: Yi Zhou, Fangzhen Lin, Yan Zhang
• Keywords: Default Logic, Logic, LPNMR 2007, Rule Base