Default reasoning and belief revision: A syntax-independent approach (Q1587335)

The aim of this paper is to extend \textit{B. Nebel}'s results [in: J. Allen et al. (eds.), Principles of knowledge representation and reasoning, Proc. 2nd Int. Conf., Morgan Kaufmann, 417-428 (1991; Zbl 0765.68198)] in order to obtain direct and general connections between default reasoning and belief revision. The authors propose a framework for default reasoning and prove that the syntax-independent default reasoning corresponds to the general belief revision introduced by \textit{Zhang Dongmo} [J. Comput. Sci. Technol. 11, No. 2, 108-125 (1996)]. They also give an answer to the question whether there is a counterpart of contraction in nonmonotonic logic.