基于基本结构属性的答案集编程的更新
摘要：Eiter等人定义的更新序列的更新操作符不包括重复的内容，我们对此进行了研究，并观察到它满足一个有趣的性质。这个性质被我们称为弱独立性句法（WIS），类似于Alchourron、Gardenfors和Makinson（AGM）提出的公理之一；只是在这种情况下，它适用于非单调逻辑。此外，我们考虑了关于更新程序的另外五个基本性质，并证明了Eiter等人的操作符满足这些性质。这项工作在一个更精细的视角下继续分析AGM公理，将纳尔逻辑视为一种允许我们扩展对答案集理解的单调逻辑。此外，纳尔逻辑帮助我们推导出Eiter等人定义的操作符的另一种定义，避免了不必要的额外原子的使用。
作者：Mauricio Osorio and V''ictor Cuevas
论文ID：cs/0609167
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23