关键词nonmonotonic reasoning
搜索结果 - 13
- ACLLLM 是古典还是非单调推理者？从通性中得到的教训
最近的关于 LLMs 推理的学术研究提供了令人印象深刻的表现和对机器生成或人类反馈的灵活适应的证据。非单调推理对于人类认知来说至关重要，用于在现实世界中进行导航，但仍然是一个具有挑战性但研究不足的任务。我们研究了七种最先进的 LLMs 在一 - 关于带变量的环式公式
稳定模型与变量的循环公式的关系，广义化循环公式至包括非零多项联结程序和任意一阶句子，并通过扩展逻辑程序的语法允许明确量词，将其语义定义为 Ferraris 等人提出的新稳定模型语言的子类，能在不依赖唯一名字和域封闭性假设的情况下处理非单调推 - AAAISchaefer 框架下基于逻辑的论证的参数化复杂度
本文研究了关于逻辑基础论证的命题变体，分别探讨了 ARG、ARG-Check、ARG-Rel 等三种计算任务的参数化难度，并在 Schaefer 的框架下对问题进行结构参数分类，给出了各问题在参数化难度上的界限，其中一些情况具有极高的难度。
- MM基于启发式分解的答案集计算优化
该研究提出了一种新的优化方法，基于树分解技术和启发式算法，可以将一个输入的逻辑程序转化为一个等价的程序以提高 ASP 系统的求解效率，并在实验中验证了其有效性。
- 非单调推理的 ABA + 特性
我们研究 ABA + 的性质，ABA + 是一个扩展了假设为基础的论证（ABA）的形式化，具有偏好处理机制。我们确定了 ABA + 语义表现出的理想特性，这为 ABA + 在论证和非单调推理中满足一些（可以说是）理想的偏好处理原则以及 AB - 第五届答案集程序设计竞赛的设计
本文介绍了 Answer Set Programming 的发展历程、技术进展及其在解决相关问题中的应用，以比赛形式，特别是 ASP 竞赛，验证了 ASP 的优势和成就。该竞赛的第五届为了加入 FLoC 奥林匹克事件于维也纳逻辑学夏季活动 - IJCAI可行的答案集编程后门
本文介绍了如何使用 backdoors 的概念来识别能够使 ASP 问题可行的新限制，展示了 backdoors 如何作为一个统一的框架，能够容纳文献中已知的几个可行限制，并展示了如何利用 backdoors 将参数化复杂性理论的最新算法结 - KLM 非单调推理的分析表格演算
介绍一些关于非单调推理的逻辑的表格演算，其中包括了 Kraus, Lehmann 和 Magidor 定义的优先、循环累积、累积和理性逻辑，并为所有的 KLM 逻辑给出了一个演算法。这些演算法包括了适当的模态来解释条件语句，为所研究的逻辑提 - MM将可废除逻辑嵌入到逻辑编程中
本研究建立了否决逻辑与主流非单调推理方法之间的紧密联系，证明了如果存在决定性状态，则否决逻辑理论的否决推论与自反程序的怀疑性结论完全对应。
- MM逻辑编程语义的统一方法
本文介绍了基于水平映射的概念性新方法，可提供逻辑程序不同语义的统一特征。通过给出一些主要语义的新特征，更特别是对于确定性程序的最小模型语义，适合语义，和良基语义的统一特征，我们将展示我们的方法。同时提供了弱完美模型语义的新特征。
- 非单调推理、偏好模型和累积逻辑
本文研究了非单调推理的一般模式，并试图通过参考积极属性来绘制非单调推理领域的地图，其中集中关注一些非单调推理的后果关系，并定义和表征了五个这样的后果关系家族。
- 条件知识库是什么？
该论文提出了一种基于非单调后果关系概念的非单调推理逻辑方法，并研究了 “理性” 关系的更受限类别， 并定义和论述了条件知识库及其闭包操作，证明了其累积属性和可计算性。
- 缺陷逻辑的表示结果
本研究考察了非单调推理 Defeasible Logic 的转化和正则形式，旨在为其深入理解和高效实现提供理论工具。