带函数的非交 ASP: 可决定查询和有效计算
通过对逻辑编程领域中的回答集编程(ASP)进行分析,我们提出了一种精细化的方法,描述了 ASP 程序的特征,以及在一些情况下决策问题的半决策解法和用于生成有限扩展的基础步骤。
May, 2024
本文提出将无环扩展析取逻辑程序转化为分层正向扩展析取逻辑程序的方法并将研究应用于 ASP 中这一强大的工具,扩展了现有策略在编程范式中的应用,进一步提高了处理 NP 问题的方法。
Jan, 2005
该研究提出了一种新的优化方法,基于树分解技术和启发式算法,可以将一个输入的逻辑程序转化为一个等价的程序以提高 ASP 系统的求解效率,并在实验中验证了其有效性。
Dec, 2018
本文探讨了 “离散有限程序” 和 “有限递归程序” 在 “稳定模型语义” 的语境下的性质,证明了 “有限递归程序” 的 “一致性检查” 和 “怀疑推理” 是 “半可判的”,而 “怀疑推理” 对于 “一般有限递归程序” 具有完备性,并展示了如何使用有限的程序实例子集进行矛盾检查和响应怀疑查询。
Jan, 2009
本文提出了基于边界约束的 ASP(Bound Founded Answer Set Programming)方法,解决了 ASP 系统中存在的基于有限域变量建模的算法性难题,同时将 ASP 的语义从布尔值和常规规则扩展到了数值变量上。
May, 2014
本文提出了一种扩展的 ASP 系统结构,其中将输入程序的部分编译为特定的二进制,并可能不受基础步骤的限制。我们提出了相关的部分编译技术,并在一个著名的 ASP 求解器上实现了新方法。结果表明,基于编译的方法对于各种用例都有改进。
Jul, 2019
本文提出了一种名为 ASP (Q) 的新语言,引入了程序稳定模型上的量词,进一步拓展了 Answer Set Programming 的建模能力,可以直接对多项式层次中的问题进行建模。
Jul, 2019
本文探讨了如何优化 Answer Set Programming(ASP)系统的 grounding 组件,提出了一种名为 DMS 的变体,适用于具有至少一个答案集的所有 ASP 程序,并证明了在不同情形下正确解决这个问题的复杂度,同时表明了所有相关的 ASP 推理任务都可以转化为超一致程序的任务。
Dec, 2012
本文介绍了一种新的 Answer Set Programming with Quantifiers ASP (Q) 的实现方式,它构建在 qasp 的基础上,具有更高效的编码过程和自动选择多个 QBF-solving 后端的算法选择策略,具有比 qasp 更好的性能表现。
May, 2023