认知逻辑程序的均匀等价性研究
计算机科学中的逻辑
2020-02-19 v1 人工智能
摘要
认知逻辑程序（ELPs）通过引入认知否定扩展了答案集编程（ASP），近年来重新受到关注。这促使了针对ELPs的新研究以及高效求解系统的发展。在实践中，ELPs常以模块化方式编写，其中每个模块通过接受事实集作为输入、传递事实集作为输出与其他模块交互。由此产生一个有趣的问题：在何种条件下，可用另一模块替换某模块而不改变任意输入事实集下的结果？该问题称为均匀等价，已在ASP中被广泛研究。然而，对于ELPs，此类研究迄今仍属缺失。因此，在本文中我们提出一种可直接应用于最先进ELP求解器语言的均匀等价刻画。我们还研究了判定两个ELPs均匀等价的计算复杂度，并证明其位于多项式层级第三层。
引用
@article{arxiv.1907.10925,
title = {On Uniform Equivalence of Epistemic Logic Programs},
author = {Wolfgang Faber and Michael Morak and Stefan Woltran},
journal= {arXiv preprint arXiv:1907.10925},
year = {2020}
}
备注
Accepted for publication and presentation at the 35th International Conference of Logic Programming, ICLP 2019, in Las Cruces, New Mexico, USA