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