Descriptor revision, epistemic proximity ordering and believability relation

报告人：张力 （KTH , Sweden）

地点：2教525    

时间：6月23日周二下午 15：10

摘要：报告首先回顾传统的AGM信念修正理论，针对这一理论的某些局限和困难，介绍一种新型的信念修正理论——描述子修正（descriptor revision）理论（以下简称DR理论）。相对于AGM理论局限于收缩（contraction）和修正（revision）两类变化，DR理论为研究更为丰富多样的信念变化模式提供了一种普遍框架，同时也在一定程度上解决了AGM理论所遇到的诸多困难和问题。 尽管从方法和技术的角度，两种理论有明显区别，但同时也存在着紧密的相似与关联。AGM理论的一个重要结论是所有的传递性关系化部分相交收缩(transitively relational partial meet contraction)函数可以被一类称为认知牢固序（epistemic entrenchment ordering）的句子间的二元关系所刻画。类似地，可以在描述子（descriptor）集合上引入一种称为认知邻近序（epistemic proximity ordering）的二元关系，并且通过这一关系来刻画所有的一般描述子修正函数。同时能证明，认知邻近序可以看作是某类认知牢固序的扩充。 接下来会考察一类限制的的描述子修正函数，它们可以看作是AGM框架所研究的修正函数在DR框架里的对应物。而由与这类函数对应的受限制的认知邻近序，可以自然地导出一类句子间的二元关系，称为可信度关系（believability relation）。我们将讨论这类关系的直觉意义、形式性质及其与认知牢固序的联系。