作　　者： ;

机构地区： 吉林大学计算机科学与技术学院

出　　处： 《计算机学报》 1994年第2期137-141,共5页

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

关 键 词： 相信逻辑 人工智能 相信逻辑

领　　域： [自动化与计算机技术] [自动化与计算机技术]