关于 Gringo 语义学的研究
该论文定义了 ASP grounder GRINGO 的输入语言的语法和语义,包括时间段、资源池、整数分割、带非数字值的汇总以及 lparse 风格的聚合表达式。这一定义是针对版本 4.5 的 GRINGO 的规范,忽略了与用 ASCII 字符串表示程序有关的一些细节。
Jul, 2015
稳定模型与变量的循环公式的关系,广义化循环公式至包括非零多项联结程序和任意一阶句子,并通过扩展逻辑程序的语法允许明确量词,将其语义定义为 Ferraris 等人提出的新稳定模型语言的子类,能在不依赖唯一名字和域封闭性假设的情况下处理非单调推理,同时由于受限的语法而产生更简洁的循环公式。此外,我们还展示了某些句法条件,使得扩展程序的查询回答可以简化为一阶逻辑的蕴涵检查,为使用一阶定理证明器推理非 Herbrand 稳定模型提供了一种途径。
Jul, 2023
通过稳定模型语义重新审视逻辑编程在约束满足问题中的角色定义,提出一种函数符号被消除的新型逻辑编程系统,基于约束来描述问题的解决方案。该方法具有良好的应用范围、有力的计算算法和新型编程方法。
Sep, 1998
本文研究基于 Sato 分布语义的概率逻辑程序,分析了基于稳定和基于良基模型这两种语义,探讨了 credal 语义产生的概率模型集合是无限单调 Choquet 容量的结果产生的几个有用的结果,并研究了其推理和查询的复杂度。作者对此进行了详细说明,并对无环、分层、周期性的命题和关系程序,提出了推理和查询复杂度的结果,该复杂度达到各种计数层次和指数级别。
Jan, 2017
通过引入引伸函数,扩展一阶稳定模型语义,并将其用作定义 Answer Set Programming Modulo Theories (ASPMT) 的基础,从而实现类似 SMT 的有效一阶推理,解决包含实数的领域中的接地问题。
Jul, 2023
通过对阿拉伯语的基本原理进行研究,我们证明现代逻辑学中关于自然语言词汇用途、语法结构以及符号的理论与阿拉伯语存在矛盾,并提出了一种实用的方法来解决 3CNF 公式的产生问题,相关证据支持我们的论点。
Oct, 2023
提出了一种用于计算逻辑程序稳定模型语义的算法,强调使用有效的实现技术,特别地,提出了一种展望的实现和一种通过最小化搜索空间来产生良好的启发式方法。结果表明,稳定模型语义的逻辑程序具有更紧凑的逻辑程序表示,因此在某些问题上比命题逻辑优越。
May, 2000