asp solvers | BriefGPT - AI 论文速递

关键词asp solvers

搜索结果 - 8

关于在时态域中应用学习约束的推理扩展
通过对时间点之间的关系进行研究，我们提出了一种新的逻辑程序翻译方法，该方法可以使学到的约束条件在不同的时间点进行泛化；同时，我们发现了一种可以将所有学到的约束条件泛化到所有时间点的时间问题属性，并通过对 ASP 求解器的实证评估，展示了将泛
PDF5 months ago
MM提升惰性基础 ASP 求解技术 —— 重启、相位保存、启发式等
本研究提出了一种适用于 lazy-grounding ASP 求解器的新适应性方法，包括重启、相位保存、领域无关的启发式以及学习子句删除等，成功地提高了求解能力，并发现在某些情况下存在负面影响，表明需要与其他求解器相同的 portfolio
PDF4 years ago
MMASP 的不一致性证明: ASP-DRUPE 格式
本研究提出了基于 Reverse Unit Propagation 格式的 ASP-DRUPE 证明格式，可用于判断标准程序是否有答案集，它可以与现代 ASP 求解器集成，并在 wasp 求解器中实现。
PDF5 years ago
MM正当性理论的扩展
这篇论文介绍了证明理论的一个统一框架，可以应用于非单调逻辑、知识表示语言等领域，并可以为实现目的提供帮助，同时还探讨了可能的扩展。
PDF5 years ago
MMAnswer Set 程序中的谨慎后果的任意时间计算
介绍了 Answer Set Programming (ASP) 中谨慎后果的计算策略，以及能够在计算过程中产生准确答案的任意时间算法。
PDF10 years ago
MM面向对象知识库的查询回答在逻辑编程中：ASP 的描述与挑战
介绍了一个适用于实验的数据集 KB_Bio_101，它包含了大量的生物学知识，ASP 程序可以应用于其上，同时也提出了一些解决实际问题时 ASP 程序面临的挑战。
PDF11 years ago
一种多引擎的答案集编程方法
本文提出了一种在现有 ASP 求解器基础之上通过应用机器学习方法，通过识别 ASP 程序的一组易于计算的句法特征，并对这些实例上的性能表现进行归纳学习算法选择策略，从而能够比第三届 ASP 竞赛的任何求解器都更有效地解决实例。
PDF11 years ago
捉住 Ouroboros：关于调试非基本答案集程序
本研究的重要问题是如何支持编程人员的调试工作，尤其是针对变量的非基础解释程序，通过元编程技术提供基于非基础程序的调试方法，并支持包含比较谓词和整数算术运算的语言类，覆盖了现有 ASP 解决器的常见范畴。
PDF14 years ago