MMAug, 2020

针对逻辑程序的定制简化超级自然推理体系的增量维护

PDF
TL;DR介绍了使用优化的过程生成一系列单调增长的命题程序的新策略，这些命题程序可以更新和重复使用，因此结合后续输入会降低更新成本，特别是在后期迭代中，并报道了 OPT 的实现和性能，是 TPLP 的待考虑论文。
answer set programmingstream reasoningmonotonically growing propositional programstailored embeddingsopt update algorithm
发现论文，激发创造
  • 具有超量化的增量式答案集编程

    本文提出一种增量接地方法，用于回答设置中的推理任务的重复执行。该方法使得逻辑程序的实例化在一系列相互类似的输入上重复接地时的速度得到提高。我们同时呈现了该方法的理论基础，说明了重复评估策略，并报告了我们的实验结果。

    Jul, 2019

  • 更加表意与抽象的逻辑程序的配置

    本篇论文重点针对模型导向人工智能的方法及其应用中 SAT 和 ASP 这两个系统的输入形式进行分析，特别是通过将输入形式重新制定和配置，优化推理过程。经过广泛领域内数据的实验证明，使用这种方法可以获得不同的优势。

    Mar, 2022

  • 非布尔形式主义优化统一框架

    该论文提出了一种名为扩展权重系统的统一框架，可消除不同自动推理语言之间的句法区别，并研究了所提出系统的形式属性，即可在该框架内捕获的范例的形式属性。

    Jun, 2022

  • 逻辑程序之间的本质等价论证中的强等价和程序结构

    本文介绍了关于 ASP 中程序重写的正式结果，并提供了 Projector 系统的正确性证明，它可以对程序进行自动重写来提高效率。

    Jan, 2019

  • Answer-Set 程序更新简史

    该研究论文概述了与稳定模型语义下逻辑程序更新相关的主要方法和挑战，探讨了在信仰和规则更新方面存在的一些区别。

    Dec, 2021

  • 命题框架中优化的抽象视角

    提出了一种名为权重系统的统一框架，该框架消除了自动推理和知识表示中的语法差异，并解释了不同范例所提供的优化语句之间的异同，从而方便了翻译程序的开发和证明了不同框架的形式属性。

    Jun, 2022

  • 基于 SE - 模型的语义规则更新的兴衰

    本文探讨了一种通过借鉴信仰更新领域的成果来解决更新 Logic 程序的问题的方法，证明了一种表示定理并定义了一种特定操作，从而更好地管理 Logic 程序的演变。

    Jun, 2013

  • 将非基本逻辑程序嵌入自知逻辑中进行知识库组合

    本文研究了将经典一阶逻辑理论和规则集表示的本体组合起来的多种方法，介绍了一种在自我知识逻辑下嵌入本体和非单调逻辑程序的一阶自我知识逻辑嵌入方法，并比较了嵌入方法的稳定扩展和自我知识后果。

    Nov, 2008

  • System Predictor: 答案集语义下逻辑程序的规模估计器

    本文研究了答案集编程中如何解决难以计算的组合搜索问题，提出了一个名为 Predictor 的估计程序规模的系统，并探讨了在答案集编程重写工具 Projector 和 Lpopt 中使用该系统的潜力。

    Mar, 2023

  • 通过术语重写自动终止逻辑程序的证明

    本文介绍了通过改良变换法来解决逻辑程序终止性分析的限制的方法，并将其应用于 AProVE 终止证明器进行实验与评估。

    Mar, 2008