彼得·加德福斯;戴维·梅金森 使用认知巩固对知识系统进行修订。 （英文） Zbl 0711.03009号 知识推理的理论方面。第二届Conf.，Pacific Grove/CA（美国）1988，83-95（1988）。 [有关整个系列，请参阅Zbl 0699.00012号.]本文主要研究知识系统的修改问题。我们考虑了两种基本的修改类型：修订和收缩。不可能对缩略语和修饰语下明确的定义：如果一组修饰过的句子不一致，有几种方法可以指定一个修饰语（或缩略语）。介绍了表征合理修正和收缩函数的两组合理性假设。收缩函数和修正函数都是可以相互定义的。这两个概念之间有着密切的联系：如果其中一个函数满足理性假设，那么另一个函数（根据前一个函数定义）也是如此。修正函数和收缩函数的假设是可以互换的，构造其中一个函数的方法会自动生成另一个函数。当然，理性假设并不能唯一地决定修正或收缩函数。唯一性问题是利用知识集中关于句子认知状态的一些附加信息来解决的。人们认为某些知识在推理中比其他知识更重要。句子上的排序关系（一个给定的知识集K）称为认知防御的排序，由一组假设表示。本文的主要目的是展示认知巩固的顺序和收缩（或修正）功能之间的联系。本文的中心结果表明，如果认知巩固的顺序满足理性假设，那么收缩函数（根据顺序的明确定义唯一确定）满足理性假设（用于收缩）。因此，构造适当的收缩（和修正）函数的问题可以归结为提供适当的认知防御序的问题。最后，讨论了向知识表示系统添加认知防御序时的计算方面。审核人：谢夫兰内克 引用于6评论引用于88文件 MSC公司： 03B80型 逻辑的其他应用 68立方英尺 知识表示 关键词：知识动力学;知识集上的排序;知识系统修改;修订;收缩;认知防御的排序;知识表示 引文：Zbl 0699.00012号 PDF格式BibTeX公司 XML格式