- 关于非平坦的基于假设的论证和包含失败否定的逻辑规划的对应关系
通过对非平面 ABA 的扩展,我们建立了假设为 LP 中的不可行否定的稳定模型语义,以及在 LP 中的否定失效头部的集合稳定 ABA 语义之间的对应关系。
- 具有内涵函数的一阶稳定模型语义
通过引入引伸函数,扩展一阶稳定模型语义,并将其用作定义 Answer Set Programming Modulo Theories (ASPMT) 的基础,从而实现类似 SMT 的有效一阶推理,解决包含实数的领域中的接地问题。
- MMAnswer-Set 程序更新简史
该研究论文概述了与稳定模型语义下逻辑程序更新相关的主要方法和挑战,探讨了在信仰和规则更新方面存在的一些区别。
- MM使用 ASP 和 MLN 求解器计算 LPMLN
LPMLN 是一种概率逻辑编程语言,其主要思想是通过为每个规则分配权重来克服固定模型语义的刚性,类似于 Markov 逻辑的定义,并提供了两种实现方法来进行推理。
- MM点对点数据交换系统中的一致性和信任
本文提出并研究了一种语义,用于描述 ' 点对点数据交换系统 ',其中不同的点通过数据交换约束和信任关系相互关联。借助我们引入和研究的数据修复语义,将这两个元素与点站点的数据和本地完整性约束相兼容。通过逻辑程序的稳定模型语义指定解决方案实例, - AAAI具有不一致存在规则的稳定模型语义下的查询回答
该论文研究了在本体论数据访问中处理不一致存在规则的框架方法,利用一个叫做规则修复的概念来选择最大的存在规则组件。同时,研究者提出了几种处理规则修复的方法,并通过对现实情况的实验评估证明了这些方法具有良好的可扩展性。
- 答案集编程中 GZ-Aggregates 的复杂度和编译
本文探讨了基于 Vicious Circle Principle 的新型稳定模型语义,用于建立逻辑程序和聚合物的新语义,分析了整体一致的测试和谨慎的推理复杂性,并报告了应用于现有 ASP 解算器的编译技术的设计,最终实现了一个原型系统,使用 - AAAI稳定模型计数及其在概率逻辑编程中的应用
本文研究了使用稳定模型语义进行推理的问题,提出了两种基于未建立的集合检测的实现技术,扩展了命题模型计数器到稳定模型计数器,可以在时间和空间使用方面显著优于现有的解决方案。
- MM稳定模型语义扩展的属性
本研究旨在探讨一类保守扩展下的稳定模型语义在存在性、相关性和累加性等属性方面的行为,并定义了这一类扩展中的一种大类,即转缀稳定模型语义,探究了其子类 ASMh 和 ASMm。通过研究,揭示了这些属性之间的关系。此外,我们还得出了一些结论,这 - MM有界基础的答案集编程
本文提出了基于边界约束的 ASP(Bound Founded Answer Set Programming)方法,解决了 ASP 系统中存在的基于有限域变量建模的算法性难题,同时将 ASP 的语义从布尔值和常规规则扩展到了数值变量上。
- 在稳定模型和答案集规划中重构情境演算和事件演算
通过发现究竟为何 circumscription 和 stable model semantics 在某些情况下意义相同,本文利用普通稳定模型理论重新阐述了 situation calculus 和 event calculus,并完成了进 - 一阶稳定模型语义与一阶环公式
研究了一阶稳定模型语义与一阶循环公式之间的精确关系,探讨了扩展一阶循环公式定于来便于比较,给出一个带显式量化符号的逻辑程序扩展语法,这允许我们使用一阶推理器进行涉及非 - Herbrand 稳定模型的推理。
- MM基于 SE - 模型的语义规则更新的兴衰
本文探讨了一种通过借鉴信仰更新领域的成果来解决更新 Logic 程序的问题的方法,证明了一种表示定理并定义了一种特定操作,从而更好地管理 Logic 程序的演变。
- MM带广义量词的逻辑程序稳定模型的两种新定义
本文提出了关于第一阶稳定模型语义及其通过引用重新定义泛化量词概念的替代定义,并将 FLP 稳定模型语义扩展到通过引用类似于 SM 运算符的运算符来允许使用广义量词。对于一定的逻辑程序语法类,本文证明了这两个广义量词的稳定模型语义是可交换的。
- MMLloyd-Topor Completion 和一般的稳定模型
研究 Lloyd 和 Topor 于 1984 年定义的程序完成的普适性与 Ferraris 等人最近引入的稳定模型语义的普适性之间的关系,利用 Truszczynski 的无限命题公式的稳定模型语义,证明了一个主定理可以用来在某些情况下通 - MM在良基语义下,可反驳逻辑和逻辑编程的相互定义
本文提出将 Nute's Defeasible Logic 理论转化为逻辑程序的方法,并提供相应的相反方向翻译。通过某些自然限制,使得 Defeasible Logic ADL 的推理结论与 Logic Program 的 Well-Fou - 关于逻辑程序的基本环路
本文研究了基本环的性质,特别是针对极大基本环与最小未建立集之间的关系。其中基于基本环定义,我们讨论了 Head-Elementary-loop-Free 程序的性质,该程序可以被转换成多项式时间的等价非不相交程序。在此基础上,我们讨论了基本 - MM具任意约束原子的逻辑程序稳定模型语义的表征
本文研究了具有(抽象的)约束原子的逻辑程序的稳定模型语义及其性质,并提出了简洁的抽象表示方法,该方法可以将稳定模型泛化到任意的约束原子逻辑程序中。我们还展示了如何通过这个抽象表示方法来推广现有的方法,并进一步扩展了用于普通原子逻辑程序的标准 - 有限递归程序
本文探讨了 “离散有限程序” 和 “有限递归程序” 在 “稳定模型语义” 的语境下的性质,证明了 “有限递归程序” 的 “一致性检查” 和 “怀疑推理” 是 “半可判的”,而 “怀疑推理” 对于 “一般有限递归程序” 具有完备性,并展示了如 - 关于 Smodels 程序的稳定模型语义组合性的实现
通过 Gaifman-Shapiro-style 模块架构和稳定模型语义来限制组合系统,提出一种正方案程序的模块化架构算法,并且取得了很好的效果,这也为实现程序性质讨论提供了理论基础和研究方法,对自动化组合和解析正规方案程序等方面都有非常重