J.J.阿尔弗雷斯。;莱特，J.A。;佩雷拉，L.M。;Przymusinska，H。;Przymusinski，T.C。 非单调知识库的动态更新。 （英语） Zbl 0957.68108号 J.日志。程序。 45，编号1-3，43-70（2000）. 摘要：我们研究逻辑程序表示的知识库的更新。为了表示否定信息，我们使用了广义逻辑程序，它不仅允许在规则体中，而且允许在规则头中进行默认否定。我们首先介绍了由另一个逻辑程序（U）更新一个逻辑程式（P）的概念。随后，我们给出了（P\oplus U）的精确语义表征，并研究了程序更新的一些基本属性。特别是，我们的更新程序概括了解释更新的概念。然后，我们将这个概念扩展到逻辑程序更新的组合序列（P_1\oplus P_2\oplus\cdots），定义了动态程序更新，从而引入了动态逻辑编程的范式。这种范式极大地促进了逻辑编程的模块化，从而使整个非单调推理模块化。具体来说，假设我们被赋予一组逻辑程序模块，每个模块描述我们对世界的不同认识状态。不同的状态可能代表不同的时间点或不同的优先级，甚至可能代表不同的观点。因此，程序模块可能包含相互矛盾和重叠的信息。动态程序更新的作用是利用不同模块之间存在的相互关系，在任何给定的模块组成阶段，精确地确定由模块生成的组合程序的声明性语义和过程性语义。 引用于27文件 MSC公司： 68立方英尺 知识表示 68N17号 逻辑编程 关键词：知识库;动态逻辑程序设计 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Alferes}等人，J.Log。程序。45，编号1--3，43-70（2000；Zbl 0957.68108） 全文： 内政部