答案集编程中的更新：基于基本结构属性的算法
计算机科学中的逻辑
2007-05-23 v1
摘要
我们研究了 Eiter 等人在无恒等式的情况下定义的更新算子，并观察到它满足一种有趣的属性。这种属性我们称为弱语法独立性（WIS），类似于 Alchourron、Gardenfors 和 Makinson（AGM）提出的后设之一；唯一不同的是在这种情况下它适用于非单调逻辑。此外，我们考虑其他五个额外的基本属性，并我们表明 Eiter 等人的算子满足这些属性。这一工作继续分析 AGM 后设的研究，在一种细化的视图下考虑 Nelson 逻辑作为一种单调逻辑，这使我们能够扩充对答案集合的理解。此外，Nelson 逻辑帮助我们导出 Eiter 等人的算子定义的另一种定义，避免使用不必要的额外原子。
引用
@article{arxiv.cs/0609167,
title = {Updates in Answer Set Programming: An Approach Based on Basic Structural Properties},
author = {Mauricio Osorio and Víctor Cuevas},
journal= {arXiv preprint arXiv:cs/0609167},
year = {2007}
}
备注
30 pages, to be published in Theory and Practice of Logic Programming