BriefGPT.xyz
Ask
alpha
关键词
answer set solvers
搜索结果 - 5
稳定模型的一般理论中的安全公式
在设计答案集求解器中,安全的一阶公式泛化了安全规则的概念。我们展示了任何安全的句子在某种意义上等价于其推理结果 - 通过将所有量词替换为多个合取和析取而得到的无变量句子。由此可知,安全句子以及其推理结果具有相同的稳定模型,并且可以通过一个简
→
PDF
a year ago
答案集规划:一项调查
本文调查了过去 2.5 十年中应用答案集编程(ASP)计算规划问题方面的进展和优劣,阐述了答案集规划的优缺点,给出了一些典型的应用方法和未来研究的挑战。
PDF
2 years ago
MM
ASP 中的冲突泛化:学习正确有效的非平庸限制条件
通过结合 ASP 求解技术和演绎逻辑机器学习,我们的新方法能够通过学习约束并将其应用于原始程序以提高求解性能,该方法通过减少冲突最小化,可以减少不必要的求解工作,这是在真实用例中得到证明的。
PDF
4 years ago
MM
关于 Gringo 语义学的研究
该研究通过将答案集求解器转换为无穷命题公式的语言,解决了一些基于本质稳定模型定义的复杂结构,如局部变量、条件文字和聚合等,避免了纯手动的解释。
PDF
11 years ago
MM
具有学习功能的抽象答案集求解器
本文利用转换系统来描述多种逻辑程序的答案集求解器,使得更容易证明它们的正确性、比较它们以及设计新的系统。
PDF
15 years ago
Prev
Next