排序方式: 共有1条查询结果,搜索用时 5 毫秒
1
1.
AGM公设是用于信念修正的(被一个单一信念修正),而DP公设是用于迭代修正的(被一个有限的信念序列修正).李未给出了对于R-构型(configuration)△|Γ的R-演算,其中,△是一个原子公式或原子公式否定的集合,而Γ是一个有限的公式集合.为了在修正过程中能够保留断言中尽可能多的信息,将考虑一种新的极小改变的定义:伪子概念极小改变(≤-极小改变),其中,≤是一种伪子概念的关系;之后,在此基础上给出一种新的R-演算TDL,它是关于≤-极小改变可靠和完备的,使得△|Γ在TDL中可以被约减为一个理论△∪Θ(记作├TDL △|Γ⇒△,Θ)当且仅当Θ是Γ关于△的一个≤-极小改变. 相似文献
1