缺省理论与相信理论的关系

THE RELATION BETWEEN DEFAULT THEORYAND BELIEF THEORY

本文在相信逻辑中引入相信解释与相信模的概念，从语义上把相信逻辑改造成非单调逻辑．一个缺省理论可以直接转换成一个相信逻辑理论．本文中证明了一个缺省理论外延的模集就是对应相信理论的模，从而为缺省理论提供了一种简便的语义．

This paper presents notions of belief interpretation and belief model in belief logic, and turns the belief logic into nonmonotonic logic by changing semantics of belief logic. A default theory can be changed into a belief logic theory directly. It is proved that the set of models of an extension of a default theory is exactly the model of the corresponding belief theory, thus a simple semantics for default logic is obtained.