张燕 更新认知逻辑程序。 （英语） Zbl 1170.68039号 J.日志。计算。 19，第2期，405-423（2009）. 摘要：我们考虑更新由认知逻辑程序表示的非单调知识库的问题，其中析取信息以及知识和信念的概念可以被明确地表达。我们提出了一种基于最小变化和最大连贯原则的认知逻辑程序更新公式。该方法的主要特点是，在一个更新或一系列更新过程中，在认知逻辑程序语义的基础上，在最小变化的基础上删除矛盾信息，然后在更新结果中最大限度地保留连贯信息。通过各种更新场景，我们表明我们的方法为更新问题提供了语义和语法特征。我们还研究了认知逻辑程序更新的基本语义特性。 MSC公司： 68立方英尺 知识表示 68N17号 逻辑编程 68T27型 人工智能中的逻辑 关键词：认知逻辑程序；非单调推理；更新 软件：LUPS公司 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}，J.Log。计算。19，第2号，405--423（2009；Zbl 1170.68039） 全文： 内政部