Jul, 2017

当您必须遗忘：在答案集编程中遗忘超越强大的持续性

HTML
PDF
TL;DR该研究讨论了如何在Answer Set Programming中进行强持续性遗忘，通过提出各种遗忘算子并探究其可行性、可行性不足时的替代方案以及与相对等价概念的关系，最终对其计算复杂性进行了详细研究。
发现论文，激发创造
  • 关于Answer-Set Programming中强等价、一致等价和其它等价概念的共性视角

    本文提出一种参数化的等价概念，同时限制了规则头和规则体中允许出现的原子，该方法是用于逻辑编程中应对强等价和一般等价的一种新的实现方式。

    Dec, 2007

  • 消除HEX-Programs中无根据的集合检查

    该研究提出一种可识别并可以跳过程序验证的编程语言程序类，进而提高HEX程序的效率和应用价值。

    Jan, 2013

  • 回答集程序中强否定的功能视角

    该研究使用 Bartholomew 和 Lee 的函数稳定模型语义，提供了关于强否定的另一种描述方式，并表明非布尔内涵函数可以用强否定表示以计算函数稳定模型语义。

    Dec, 2013

  • 论逻辑程序更新中的强否定与默认否定（扩展版）

    本文介绍了现有应答集程序更新的语义学，指出两种方法存在的限制，并主张弱否定和强否定应该在更新的上下文中是平等的。我们确定了约束它们交互作用的原则。最后，我们扩展了最先进的语义，直接支持强否定，并展示了它满足所概述的原则，以及一系列其他的优秀特性。

    Apr, 2014

  • 重新审视答案集程序中的显式否定

    本文研究了Answer Set Programming中的explicit negation可以与nested expressions相组合，并证明可以通过扩展Equilibrium Logic来捕获这种组合，同时将其与Nelson's strong negation进行比较。

    Jul, 2019

  • 满足强持久性的遗忘语法操作符

    本文描述了在使用ASP进行遗忘操作中，提出了第一个具体满足强持久性的运算符，该运算符具有许多重要性质，是一种句法运算符，可将遗忘操作的计算限制在包含要忘记的原子的规则中，从而自然地产生与原始程序接近的遗忘结果。

    Jul, 2019

  • Answer Set Programming中的遗忘——一项调查

    本研究综述了现有的 Answer Set Programming 遗忘操作及其属性，包括其在应用中的选择方法和计算结果的复杂性。

    Jul, 2021

  • 关于最弱充分条件和最强必要条件下的双重忘却算子

    本文介绍了一个新的算子——弱遗忘算子，它是标准遗忘算子的对偶形式，并基于蕴涵和推理对它们进行了表征。此处使用的推理框架同样适用于一阶情况，并包括计算某些特殊情况下的一阶遗忘算子的有用算法。

    May, 2023

  • 可增量优化的任意时刻答案集计数

    该论文介绍了一种通过假设知识编译来迭代计算答案集的技术，以改进对解空间的估计，同时避免了在计算中的指数级开销。

    Nov, 2023

  • 关于遗忘和强等价概念在答案集编程中的统一视角

    Answer Set Programming (ASP)是一种基于规则的语言，用于知识表示和推理，研究了忘记、简化和相关概念的关联以及引入了一种新的相对等效概念，提供了相对简化的必要和充分条件，并介绍了结合投影和适度遗忘来获得相对简化的操作符。

    Dec, 2023