克里斯托夫·雷德尔 用子程序查询回答集合程序。 （英语） Zbl 1491.68046号 Balduccini，Marcello（编辑）等人，《逻辑编程和非单调推理》。2017年7月3日至6日在芬兰埃斯波举行的2017年LPNMR第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10377, 160-175 (2017). 摘要：答案集编程（ASP）是一种声明式编程范式。本文讨论了两个相关的限制，并提出了一种新的建模技术来克服它们：（1）关于程序答案集集合的元推理通常只能通过外部后处理实现，而不能在程序内部实现。这禁止基于（子）程序的答案集上的查询答案直接继续推理。（2） 饱和编程技术利用析取ASP程序答案集的极小性准则来解决协（mathsf{NP}）难题，这通常涉及检查某个域中所有对象的属性是否成立。然而，该技术是先进的，不容易被普通ASP用户应用；此外，在饱和编码中使用default-negation是有限的。在本文中，我们提出了一种允许在析取程序中对正常子程序进行勇敢而谨慎的查询应答的方法，以解决限制（1）。查询答案由整个程序的每个答案集中的一个专用原子表示，这也为更直观地替代饱和编码铺平了道路，并允许在此类编码中使用默认否定，这解决了限制（2）。关于整个系列，请参见[Zbl 1367.68005号]. 引用于1文件 MSC公司： 68N17号 逻辑编程 68T27型 人工智能中的逻辑 68立方英尺 知识表示 关键词：答案集编程；非单调推理；FLP语义；元编程；饱和 PDF格式BibTeX公司 XML格式引用 \文本｛C.Redl｝，Lect。注释计算。科学。10377、160-175（2017年；Zbl 1491.68046） 全文： 内政部