逻辑程序修正作为命题修正扩展的刻画
人工智能
2020-02-19 v1
摘要
我们处理逻辑程序的信念修正问题，即如何将新逻辑程序Q并入逻辑程序P。基于SE解释的结构，Delgrande等人将著名的AGM框架适配于逻辑程序（LP）修正。他们确定了LP修正的理性行为并引入了某些特定算子。本文中，根据给定的命题解释上的序以及SE解释的一些进一步条件，给出了所有理性LP修正算子的构造性刻画。它提供了一种直观、完整的程序来构造所有理性LP修正算子，并使得更易理解其语义与计算性质。我们特别考虑了非常一般形式的逻辑程序，即广义逻辑程序（GLPs）。我们证明每个理性GLP修正算子都派生自满足原始AGM公设的命题修正算子。有趣的是，GLP修正特有的进一步条件独立于其所基于的命题修正算子。利用我们的刻画结果，我们将GLP修正算子嵌入布尔格结构中，从而揭示出适配AGM公设中一些潜在的弱点。为阐明我们的主张，我们引入并从公理化上刻画了两类特定的（理性）GLP修正算子，它们可以说具有激进行为。我们还考虑了两种更受限的逻辑程序形式，即析取逻辑程序（DLPs）与正规逻辑程序（NLPs），并将我们的刻画结果适配于DLP和NLP修正算子。
引用
@article{arxiv.1506.08919,
title = {Characterization of Logic Program Revision as an Extension of Propositional Revision},
author = {Nicolas Schwind and Katsumi Inoue},
journal= {arXiv preprint arXiv:1506.08919},
year = {2020}
}
备注
42 pages, 5 figures, to appear in Theory and Practice of Logic Programming (accepted in June 2015)