MMMay, 2014

稳定模型语义扩展的属性

PDF
TL;DR本研究旨在探讨一类保守扩展下的稳定模型语义在存在性、相关性和累加性等属性方面的行为，并定义了这一类扩展中的一种大类，即转缀稳定模型语义，探究了其子类 ASMh 和 ASMm。通过研究，揭示了这些属性之间的关系。此外，我们还得出了一些结论，这些结论有助于评估 ASMh U ASMm 中的语义，同时揭示了 SM 语义的特征。机遇巧妙地证明了 SM 语义的存在性和谨慎单调性的特性是等价的，并对 SM 语义中的相关性失败进行了更清晰的描述。
stable model semanticsconservative extensionsaffix stable model semanticsexistencerelevance
发现论文，激发创造
  • 扩展和实现稳定模型语义

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

    May, 2000

  • 具有内涵函数的一阶稳定模型语义

    通过引入引伸函数，扩展一阶稳定模型语义，并将其用作定义 Answer Set Programming Modulo Theories (ASPMT) 的基础，从而实现类似 SMT 的有效一阶推理，解决包含实数的领域中的接地问题。

    Jul, 2023

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

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

    Sep, 1998

  • 稳定模型语义的认知基础

    本文介绍了关于稳定模型语义的一种另类的认识论方法，探讨了稳定模型语义可以完全定义为 Kripke-Kleene 语义的扩展，证明了封闭世界假设可以看作是要累加到 Kripke-Kleene 语义上的一个 “虚假” 的附加来源。

    Mar, 2004

  • 带广义量词的逻辑程序稳定模型的两种新定义

    本文提出了关于第一阶稳定模型语义及其通过引用重新定义泛化量词概念的替代定义，并将 FLP 稳定模型语义扩展到通过引用类似于 SM 运算符的运算符来允许使用广义量词。对于一定的逻辑程序语法类，本文证明了这两个广义量词的稳定模型语义是可交换的。

    Jan, 2013

  • 具任意约束原子的逻辑程序稳定模型语义的表征

    本文研究了具有（抽象的）约束原子的逻辑程序的稳定模型语义及其性质，并提出了简洁的抽象表示方法，该方法可以将稳定模型泛化到任意的约束原子逻辑程序中。我们还展示了如何通过这个抽象表示方法来推广现有的方法，并进一步扩展了用于普通原子逻辑程序的标准特征和性质。

    Apr, 2009

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

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

    Jun, 2013

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

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

    Dec, 2004

  • 稳定模型语义中的部分性和分离展开

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

    Mar, 2003

  • 逻辑编程语义的统一方法

    本文介绍了基于水平映射的概念性新方法，可提供逻辑程序不同语义的统一特征。通过给出一些主要语义的新特征，更特别是对于确定性程序的最小模型语义，适合语义，和良基语义的统一特征，我们将展示我们的方法。同时提供了弱完美模型语义的新特征。

    Oct, 2002