MMAug, 2021

FOLASP: FO (.) 作为答案解决器的输入语言

PDF
TL;DR该研究论文介绍了一种将一种基于一阶逻辑的扩展语言 FO (.) 转换为 Answer Set Programming (ASP) 的方法， 从而使得基于 ASP 的程序可以作为 FO (.) 的解决器，实验结果表明这种组合可以快速有效地解决 FO (.) 中的问题。
answer set programmingasp-core-2declarative problem solvingnon-monotonic reasoningfirst-order logic
发现论文，激发创造
  • 将知识生成定义扩展到 FO (ID)：初步结果

    文章提出一个语言，将 FO (ID) 中的归纳定义结构与 Ordered Epistemic Logic 看做独立的认知组成部分相结合，以便研究这两个故事之间的互动，并探索将它们视为两个单独的经典逻辑扩展还是两个组合的适当性。

    Jan, 2013

  • ASP-Core-2 输入语言格式

    本文介绍了自 2013 年起在 ASP 比赛中使用的 ASP-Core-2 标准输入语言，它是求解器输入语言标准化推动知识表示和推理等领域应用的主要驱动力之一。

    Nov, 2019

  • 稳定 - 不稳定语义：超越 NP 的普通逻辑程序

    提出一种基于逻辑编程的建模范式，将 ASP 和 QBF 的最佳特性相结合，实现对高层次搜索问题的编码。

    Aug, 2016

  • 第五届答案集程序设计竞赛的设计

    本文介绍了 Answer Set Programming 的发展历程、技术进展及其在解决相关问题中的应用，以比赛形式，特别是 ASP 竞赛，验证了 ASP 的优势和成就。该竞赛的第五届为了加入 FLoC 奥林匹克事件于维也纳逻辑学夏季活动 2014，预计是逻辑史上最大规模的事件。竞赛还推广了 ASP-Core-2 标准。

    May, 2014

  • 关于两种答案集编程方言的关系

    本文证明了在 ASP-Core 语言中避免通过聚合递归确实保证了两个稳定模型语义版本之间的等价性，并展示了如何放宽此要求而不违反等价性属性。

    Jul, 2019

  • ASPeRiX，基于一阶前向链接技术的答案集计算方法

    该论文提出了一种将 Answer Set Programming 应用于人工智能或在解决组合问题时表示知识的自然方法，其中介绍了一种前向链接的方法，通过在搜索过程中将规则的实例化与之融合来避免了先前的阶段。

    Mar, 2015

  • 非基础规则在答案集编程中的威力

    该论文提出了一种新的 ASP 编码模式，通过利用实际问题的大规则来编码难题，尤其针对 NP 问题能提供更强的表达能力，并且提供基于规则分解技术的解决方案，初步的基准测试表明，放弃固定程序的简便方式可以显著提高速度。

    Aug, 2016

  • 函数的有限可导引理：一次一致性之旅

    通过对逻辑编程领域中的回答集编程（ASP）进行分析，我们提出了一种精细化的方法，描述了 ASP 程序的特征，以及在一些情况下决策问题的半决策解法和用于生成有限扩展的基础步骤。

    May, 2024

  • 有界基础的答案集编程

    本文提出了基于边界约束的 ASP（Bound Founded Answer Set Programming）方法，解决了 ASP 系统中存在的基于有限域变量建模的算法性难题，同时将 ASP 的语义从布尔值和常规规则扩展到了数值变量上。

    May, 2014

  • 第三届开放式答案集编程竞赛

    本文报道了第三届 (开放式) ASP 竞赛的格式以及结果。该竞赛旨在比较不同基于声明性编程的系统在一系列基准问题上的表现，并讨论了竞赛与第二届 ASP 竞赛以及一些基准领域的最新解决方案的比较。

    Jun, 2012