General Default Logic

Yi Zhou, Fangzhen Lin, Yan Zhang

Abstract: In this paper, We propose a general default logic. It extends Reiter’s default logic by adding rule connectives like disjunction in logic programming, and Ferraris’s general logic program by allowing arbitrary propositional formulas to be the base in forming logic programs. We show the usefulness of this logic by applying it to formalizing rule constraints, generalized closed world assumptions, and conditional defaults.