Jan, 2014

不相交稳定模型的模块化方面

PDF
TL;DR研究答案集编程中的模块化问题，定义 DLP 函数和模块定理，介绍了 DLP 函数的分解方法和模块等价性概念。
answer-set programmingmodularitydisjunctive logic programsstable-model semanticsmodule theorem
发现论文，激发创造
  • 稳定模型语义中的部分性和分离展开

    本文研究了一种针对部分和分离稳定模型的实现方法，在逻辑程序中展开部分和分离，以便将正常（无分离）程序的稳定模型实现用作核心推理引擎。

    Mar, 2003

  • 关于 Smodels 程序的稳定模型语义组合性的实现

    通过 Gaifman-Shapiro-style 模块架构和稳定模型语义来限制组合系统，提出一种正方案程序的模块化架构算法，并且取得了很好的效果，这也为实现程序性质讨论提供了理论基础和研究方法，对自动化组合和解析正规方案程序等方面都有非常重要的研究意义。

    Sep, 2008

  • 稳定模型与一种替代逻辑编程范式

    通过稳定模型语义重新审视逻辑编程在约束满足问题中的角色定义，提出一种函数符号被消除的新型逻辑编程系统，基于约束来描述问题的解决方案。该方法具有良好的应用范围、有力的计算算法和新型编程方法。

    Sep, 1998

  • 基于模板的析取答案集求解器

    本文介绍了使用转换系统来建模和分析矛盾性答案集求解器的方法，展示了该方法对于分析、比较和证明搜索算法正确性以及启发新的求解器设计是多么有效。同时，我们引入了通用模板，以设计多种技术在不同求解器中的组合，并证明了它对于捕捉 DLV、GnT 和 Cmodels 等求解器这样的主要技术的能力。

    Oct, 2015

  • 非分层逻辑程序的稳定模型存在性

    该论文介绍了一个基础性的结果，给出了一种稳定模型的存在条件的句法特征表示，利用引入新的规范形式和循环依赖来定义稳定模型元语，从而保证了稳定模型存在的确定性。

    Dec, 2004

  • Smodels: 一种答案集编程系统

    Smodels 是一个支持正常逻辑程序的稳定模型语义，能够应用于多项领域的应用程序问题求解的引擎。

    Mar, 2000

  • 抽象模块化系统和求解器

    本文介绍了抽象模块和抽象模块化系统等概念，以研究将不同形式主义集成到模块化知识表示系统中所涉及的原则，并展示了如何将它们应用于多种形式主义。 Transition System 是这些原则的自然和方便表示，可以用于 SAT 社区开发的求解器的流程表示。

    Dec, 2013

  • 带继承的分离逻辑程序

    该论文提出了一种新的知识表示语言 DLP <，通过继承扩展了具有强否定的分段逻辑编程。文中提供了 DLP < 的声明性模型论语义，并通过将经典的非单调问题编码为 DLP < 来说明其知识建模功能，证明了继承不会导致任何计算开销。

    May, 2001

  • 扩展和实现稳定模型语义

    提出了一种用于计算逻辑程序稳定模型语义的算法，强调使用有效的实现技术，特别地，提出了一种展望的实现和一种通过最小化搜索空间来产生良好的启发式方法。结果表明，稳定模型语义的逻辑程序具有更紧凑的逻辑程序表示，因此在某些问题上比命题逻辑优越。

    May, 2000

  • 面向答案集编程中猜测和检查程序的自动集成：元解释器和应用

    本文提出将无环扩展析取逻辑程序转化为分层正向扩展析取逻辑程序的方法并将研究应用于 ASP 中这一强大的工具，扩展了现有策略在编程范式中的应用，进一步提高了处理 NP 问题的方法。

    Jan, 2005