当必须遗忘时：答案集编程中遗忘超越强持久性
人工智能
2019-08-01 v1
摘要
在答案集编程（ASP）中遗忘的背景下，所讨论的众多期望性质中，强持久性自然地捕捉了其本质。最近研究表明，并非总能从程序中遗忘一组原子同时遵守该性质，并且给出了关于什么可以被遗忘的精确判据，以及一类在可遗忘时返回正确结果的遗忘算子。然而，当我们必须遗忘一组原子但不能不违反该性质时该怎么做，这是一个开放问题。在本文中，我们解决此问题，并研究了当在不违反强持久性的情况下遗忘不可能时，进行遗忘的三种自然替代方案，它们恰好对应于强持久性表征的不同可能松弛。此外，我们讨论了它们的优先使用，阐明了遗忘与先前在ASP背景下建立的相对等价概念之间的关系，并给出了关于其计算复杂性的详细研究。
引用
@article{arxiv.1707.05152,
title = {When You Must Forget: beyond strong persistence when forgetting in answer set programming},
author = {Ricardo Gonçalves and Matthias Knorr and João Leite and Stefan Woltran},
journal= {arXiv preprint arXiv:1707.05152},
year = {2019}
}
备注
Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017, 15 pages, LaTeX (arXiv:YYMM.NNNNN)