Jan, 2016

无逻辑编程中的逻辑编程

HTML
PDF
TL;DR本文构建了一个基于逻辑的框架，使用操作语义来执行反应规则，保证规则的真实性，但无法扼制原因变为真实或者在原因变为真实之前就使结果为真。
发现论文，激发创造
  • 具任意约束原子的逻辑程序稳定模型语义的表征

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

    Apr, 2009

  • 将知识生成定义扩展到 FO(ID)：初步结果

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

    Jan, 2013

  • 一阶稳定模型语义与一阶环公式

    研究了一阶稳定模型语义与一阶循环公式之间的精确关系，探讨了扩展一阶循环公式定于来便于比较，给出一个带显式量化符号的逻辑程序扩展语法，这允许我们使用一阶推理器进行涉及非-Herbrand稳定模型的推理。

    Jan, 2014

  • 在稳定模型和答案集规划中重构情境演算和事件演算

    通过发现究竟为何circumscription和stable model semantics在某些情况下意义相同，本文利用普通稳定模型理论重新阐述了situation calculus和event calculus，并完成了进一步的翻译，将其转化为应用高效答案集求解器来计算

    Jan, 2014

  • 带有(复杂)事件的交易逻辑

    本文提出了Transaction Logic with Events，其是Transaction Logic的非单调扩展，使得每个在事务中检测到的复杂事件都能得到响应。

    May, 2014

  • 分离认识逻辑程序

    本文介绍了一种适用于逻辑程序的稳定模型扩展——经验逻辑程序，并在此基础上提出了一种逻辑程序拆分属性，最终得出了大多数现有建议都不能满足经验逻辑拆分属性的结论。

    Dec, 2018

  • 运用自感平衡逻辑架构创建世界观

    本文将标准逻辑规划中无基础概念推广到认知规划中，定义了何时认知规划中的一个世界观是有基础的，提出了一种结合了Moore's Autoepistemic Logic和Pearce's Equilibrium Logic的新的计算语义。

    Feb, 2019

  • 抽象论证框架语义：逻辑编程方法

    本研究探讨了基于Argumentation Framework的框架和Partial Stable Models之间的关系，证明每个基于AF的框架Delta都可以被翻译成一个逻辑程序P_Delta，而不同的Delta语义扩展可以对应于P_Delta的不同PSM子集。该研究为新的基于AF的框架的语义定义提供了可能性，例如带有递归攻击和递归演绎支持的AFs。

    Aug, 2020

  • 响应式答案集编程

    本文提出了一种将Logic Production System (LPS)中的Kernel（KELPS）系统地映射成Answer Set Programming (ASP)的方法，并以一个新的有限模型变体n-distance KELPS作为实现基础。最后，提出了一个整合KELPS和ASP优点的混合框架。

    Sep, 2021

  • 关于非平坦的基于假设的论证和包含失败否定的逻辑规划的对应关系

    通过对非平面ABA的扩展，我们建立了假设为LP中的不可行否定的稳定模型语义，以及在LP中的否定失效头部的集合稳定ABA语义之间的对应关系。

    May, 2024