高级检索

    一种广义信念修正的计算方法

    A Computational Method of General Belief Revision

    • 摘要: AGM理论中新知识为单个语句 ,而实际上新知识通常是以多语句甚至无穷语句的形式出现 广义信念修正从理论上扩充了AGM系统 ,但在具体实现上还缺乏有效的算法 通过构造优序划分的方法解决信念间的关系问题 ,采用新知识的信度与冲突知识相关的方法解决新知识的信度问题 给出了一种基于链表的计算方法 ,从而解决了广义信念修正理论的信念库维护操作问题

       

      Abstract: New knowledge in the theory of basic AGM postulates is a single sentence, but in fact it comes in set of sentences, even infinite sentences General belief revision extends the AGM’s theory, but a valid computational method is wanted The problem of the relation between believes can be resolved through developing the nice ordering partition model, and the problem of how to determine the new knowledge’s epistemic entrenchment can be resolved through the method of correlating the new knowledge with the conflict knowledge A computational method based on linked list is given, which resolves the operating problem about the belief library of general belief revision

       

    /

    返回文章
    返回