认知态的相似性与等价性  

Similarity and equivalence of epistemic states

作　　者：肖文洁[1] 朱朝晖[1] 肖奚安[2] 

机构地区：[1]南京航空航天大学信息科学与技术学院,江苏南京210016 [2]解放军理工大学理学院,江苏南京211101

出　　处：《解放军理工大学学报（自然科学版）》2009年第2期134-138,共5页Journal of PLA University of Science and Technology(Natural Science Edition)

基　　金：国家自然科学基金资助项目(60573070);江苏省自然科学基金资助项目(BK2007191);霍英东教育基金资助项目

摘　　要：以Bochman引入的一种非单调逻辑与信念修正的统一框架——认知态(epistemic states)为研究对象,讨论其内在的结构相似性与外在推理行为等价性之间的联系。因为两认知态相似无法推出它们之间具有已引入的任一种等价关系,为了解决此问题提出了两认知态拟怀疑等价的新概念和作用于认知态上的算子par(.)。利用有限子语言在原语言上的归约,得到如下的表示定理:任两个纯的有限认知态是拟怀疑等价的,当且仅当它们作用算子par后结构相似。Taking the concept of Epistemic states, an important model introduced by Bochman for nonmonotonic inference and belief change as the object, a notion of similarity was presented. In order to explore the relationship between similarity and the reasoning behaviors of epistemic states, a new notion called quasi skeptically equivalence and an operator par（ · ） over epistemic states were introduced. The main results show that any pair of pure finite epistemic states are quasi skeptically equivalent if and only if their par-images are similar.

关 键 词：认知态 相似 怀疑等价 拟怀疑等价 

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