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

THE RELATION BETWEEN DEFAULT THEORYAND BELIEF THEORY

作　　者：姜云飞[1] 

机构地区：[1]吉林大学计算机科学系

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

基　　金：国家自然科学基金

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

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

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]