信念集相关论文
常识推理中的一些信息具有不一致性、小完全性与不确定性。这样的信息,不能称为真理,只能称为信念。信念修正是一种研究常识推理的......
本文基于广义信念修正操作,构成了一个经典的(classical)、停止的(stoppered)、信赖的(faithful)和完全的(complete)占先模型,且由......
给出了命题逻辑上信念修正的两种可操作的完全方法。首先对R-演算的规则进行了修改,使得对任何一个极大协调的子集都通过这组规则得......
信念修正中的加强修正算法在保留低秩协调信念时存在不足,流演算由于其表示公式的局限,无法较好地与信念修正结合来进行行动推理。......