认知态的相似性与等价性

以Bochman引入的一种非单调逻辑与信念修正的统一框架--认知态(epistemic states)为研究对象,讨论其内在的结构相似性与外在推理行为等价性之间的联系.因为两认知态相似无法推出它们之间具有已引入的任一种等价关系,为了解决此问题提出了两认知态拟怀疑等价的新概念和作用于认知态上的算子par(·).利用有限子语言在原语言上的归约,得到如下的表示定理:任两个纯的有限认知态是拟怀疑等价的,当且仅当它们作用算子par后结构相似.

Similarity and equivalence of epistemic states

Taking the concept of Epistemic states, an important model int ro duced by Bochman for nonmonotonic inference and belief chang e as the object , a not ion of similarity w as presented. In order to explo re the relat ionship betw een similarity and the reasoning behavior s of epistemic states, a new no tion called quasi skept ically equivalence and an operator par ( ·) o ver epistemic states w ere intr oduced. T he main result s show that any pair of pure f inite epistemic states are quasi skept ically equivalent if and only if their par-imag es are similar.