Reasoning within Fuzzy Description Logics
I.E.I - C.N.R.（国家研究委员会信息工程研究所）
描述逻辑（DL）是用于管理结构化知识的合适的、众所周知的逻辑。它们允许对个人和定义明确的概念进行推理，即，具有共同属性的个体集合。在应用程序中使用DL的经验表明，在许多情况下，我们希望扩展其功能。特别是，它们的使用在多媒体信息检索（MIR）的上下文中导致令人信服的是，这样的DL应该允许在多媒体对象内容表示和检索的固有的不精确性的治疗。本文将Zadeh的模糊逻辑与经典的DL相结合，提出一种模糊扩展的ALC。特别是，概念变得模糊，因此，支持不精确概念的推理。我们将定义它的语法，它的语义，描述它的属性，并提出了一个约束传播演算推理。
2011-06-03 cs.AI
Reasoning about Minimal Belief and Negation as Failure
我们研究MBNF的命题片段中的推理问题，Lifschitz引入的最小信念和否定的逻辑，它可以被认为是几个非单调形式主义的统一框架，包括默认逻辑，自认知逻辑，限定，认知查询和逻辑编程。我们描述的复杂性，并提供算法的命题MBNF推理。特别是，我们表明，蕴涵命题MBNF位于第三级的多项式层次，因此，它比推理在所有上述命题形式主义的非单调推理。我们还证明了MBNF中的否定失败和摩尔的自认知逻辑中的否定内省之间的确切对应关系。
2011-06-01 cs.AI
Differentiable Learning of Logical Rules for Knowledge Base Reasoning
Carnegie Mellon University（卡内基梅隆大学）
研究了知识库推理中概率一阶逻辑规则的学习问题。这个学习问题是困难的，因为它需要学习连续空间中的参数以及离散空间中的结构。我们提出了一个框架，神经逻辑编程，它结合了一阶逻辑规则的参数和结构学习在一个端到端的可微模型。这种方法的灵感来自于最近开发的可微逻辑TensorLog，其中推理任务可以编译成可微操作序列。我们设计了一个神经控制器系统，学习组成这些操作。从经验上讲，我们的方法在多个知识库基准数据集（包括Freebase和WikiMovies）上的性能优于先前的工作。
2017-11-27 cs.AI
Integrating Logical and Probabilistic Reasoning for Decision Making
Rockwell International Science Center（罗克韦尔国际科学中心）；Stanford University（斯坦福大学）
我们描述了一种表示和一组推理方法，结合逻辑编程技术与概率网络表示的不确定性（影响图）。该技术强调复杂和不确定领域的概率和决策理论模型的动态构建和解决方案。给定一个查询，如果可能的话，会产生一个逻辑证明;如果不可能，会产生一个基于查询和决策域知识的影响图，并随后求解。一个统一的声明，一阶，知识表示相结合的逻辑，概率和决策理论推理的综合推理过程。
2013-03-27 cs.AI
Ontology Reasoning with Deep Neural Networks
University of Oxford（牛津大学）
进行逻辑推理的能力是智能人类行为的一个基本方面，因此也是通往人类水平的人工智能的一个重要问题。传统上，从知识表示和推理领域的逻辑为基础的符号方法已被用来装备代理的能力，类似于人类的逻辑推理素质。然而，最近，人们对使用机器学习而不是基于逻辑的符号形式主义来解决这些任务的兴趣越来越大。在本文中，我们采用最先进的方法来训练深度神经网络，以设计一种新的模型，该模型能够学习如何以基本本体推理的形式有效地执行逻辑推理。这是一个重要的，同时也是非常自然的逻辑推理任务，这就是为什么所提出的方法适用于大量重要的现实问题。我们提出了几个实验的结果，这表明我们的模型能够学习执行非常大的，多样的，具有挑战性的基准高度准确的本体推理。此外，事实证明，所提出的方法受到禁止基于逻辑的符号推理的各种障碍的影响要小得多，同时，从生物学的角度来看，令人惊讶地似乎是合理的。
2021-01-08 cs.AI
Towards Statistical Reasoning in Description Logics over Finite Domains (Full Version)
Free University of Bozen-Bolzano（博尔扎诺-博岑自由大学）；University of Osnabrück（奥斯纳布吕克大学）
我们提出了一个概率扩展的描述逻辑$\mathcal{ALC}$的统计知识的推理。我们认为条件语句的域的比例，这些比例的概率逻辑后果感兴趣。在介绍了一些一般的推理问题并分析了它们的性质之后，我们首先给出了在统计$\mathcal{ALC}$的某些片断上的推理算法和复杂性结果。
2017-06-10 cs.AI cs.LO
Reasoning with Individuals for the Description Logic SHIQ
虽然已经有大量的工作，推理算法的发展表达描述逻辑，在大多数情况下，只有Tbox推理被认为是。本文提出了一种在SHIQ描述逻辑中进行Tbox和Abox组合推理的算法。该算法特别令人感兴趣，因为它可用于决定（数据库）合取查询包含w.r. t的问题一种模式。此外，高效实现的实现应该相对简单，因为它可以基于FaCT系统中Tbox算法的现有高度优化的实现。
2000-05-11 cs.AI cs.LO
LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL)
这个研讨会汇集了实践者和研究人员谁是参与基于高阶逻辑的逻辑系统的日常方面。我们希望为围绕以下四个主题的讨论创造一个友好和高度互动的环境。实现和开发基于任何不可预测性概念的证明助手，高阶逻辑推理系统的自动定理证明工具，高阶逻辑中证明表示的逻辑框架技术，用于存储，维护和查询证明数据库的正式数字图书馆。我们设想与会者有兴趣促进高阶逻辑推理系统的发展和可见性。我们特别感兴趣的是讨论高阶版本的TPTP的发展和自动化高阶推理系统的实用优势的比较。此外，研讨会还包括系统演示。ESHOL是在CADE 2005和IJCAR 2004举办的ESCAR和ESFOR研讨会的继承者。
2006-01-10 cs.AI cs.LO
Logical Reasoning over Natural Language as Knowledge Representation: A Survey
Nanyang Technological University（南洋理工大学）；University of Texas at Dallas（德克萨斯大学达拉斯分校）
本文综述了以自然语言作为知识表示、预训练语言模型作为推理器的逻辑推理新范式，涵盖其优势、基准、挑战及未来方向，该范式有效缓解了形式表示的瓶颈并优于端到端神经方法。
2024-02-16 cs.AI cs.CL
SymbolLKG: Towards Verifiable Logical Reasoning via Logical Knowledge Graph and Symbolic Solvers
Shanghai JiaoTong University（上海交通大学）
该研究针对大型语言模型逻辑推理的缺陷，提出结合逻辑知识图谱与动态求解器路由的神经-符号架构，在基准任务上优于现有方法，实现了可验证的高准确率逻辑推理。
2026-08-28 cs.AI cs.CL
Interpolation Theorems for Nonmonotonic Reasoning Systems
克雷格插值定理（Craig's interpolation theorem，Craig 1957）是命题逻辑和一阶逻辑中的一个重要定理。它说，如果一个逻辑公式$β$在逻辑上从一个公式$α$得出，那么就有一个公式$γ$，只包括出现在两个$α,β$中的符号，这样$β$在逻辑上从$γ$得出，而$γ$在逻辑上从$α$得出。这样的定理对于理解它们所处的逻辑以及加速用这些逻辑中的理论进行推理是重要和有用的。在本文中，我们提出了插值定理在这种精神的三个非单调系统：限制，默认逻辑和逻辑程序的稳定模型语义（a.k.a.）。答案集语义）。这些结果使我们更好地理解这些逻辑，特别是与它们的非单调特性相比。他们认为，一些\emph{monotonicity}原则持有，尽管这些逻辑的经典单调性失败。此外，它们有时允许我们使用这些系统的推理分解方法，可能会增加它们的适用性和易处理性。最后，它们允许我们构建使用这些逻辑的结构化表示。
2002-07-16 cs.AI cs.LO
RNNLogic: Learning Logic Rules for Reasoning on Knowledge Graphs
Université de Montréal（蒙特利尔大学）；Mila - Québec AI Institute（米拉 - 魁北克人工智能研究所）；Canadian Institute for Advanced Research (CIFAR)（加拿大高等研究院）；HEC Montréal（蒙特利尔高等商学院）；Tsinghua University（清华大学）
本文研究了在知识图谱上学习推理逻辑规则的问题。逻辑规则在用于预测时提供可解释的解释，并且能够推广到其他任务，因此对于学习至关重要。现有方法或者遭受在大的搜索空间中搜索的问题（例如，神经逻辑编程）或由于稀疏回报而导致的无效优化（例如，基于强化学习的技术）。为了解决这些限制，本文提出了一种称为RNNLogic的概率模型。RNNLogic将逻辑规则作为一个潜在变量，同时训练规则生成器和推理预测器。我们开发了一个基于EM的优化算法。在每次迭代中，首先更新推理预测器，以探索一些生成的逻辑规则进行推理。然后在E步骤中，我们选择一组高质量的规则，从所有生成的规则与规则生成器和推理预测器通过后验推理;和在M步骤中，规则生成器更新与E步骤中选择的规则。在四个数据集上的实验证明了RNNLogic的有效性。
2021-07-16 cs.AI cs.LG
Probabilistic Reasoning in the Description Logic ALCP with the Principle of Maximum Entropy (Full Version)
Free University of Bozen-Bolzano（博尔扎诺自由大学）；University of Osnabrück（奥斯纳布吕克大学）
知识表示的核心问题是如何对不确定性知识进行合理的编码和处理。我们介绍的概率描述逻辑ALCP，是专为表示上下文相关的知识，其中发生的实际情况是不确定的。ALCP允许对域的逻辑依赖和对可能上下文的概率依赖的表达。为了得出概率结论，我们采用最大熵原理。我们提供了推理算法，这种逻辑，并表明它满足概率逻辑的几个理想的属性。
2016-06-30 cs.AI cs.LO
DeepLogic: Towards End-to-End Differentiable Logical Reasoning
Imperial College London（帝国理工学院）
将机器学习与基于逻辑的专家系统相结合，以获得两个世界的最佳效果，正变得越来越流行。然而，机器学习在多大程度上可以学习基于规则的知识进行推理仍然是一个悬而未决的问题。在本文中，我们将探讨如何符号逻辑，定义为逻辑程序在字符级别，学习表示在一个高维向量空间使用基于RNN的迭代神经网络进行推理。我们创建了一个新的数据集，定义了12类逻辑程序，举例说明增加了逻辑推理的复杂性，并以端到端的方式对网络进行训练，以了解逻辑程序是否需要给定的查询。我们分析了如何学习推理算法产生的原子，文字和规则的表示在逻辑程序和评估对增加长度的谓词和常量符号，以及增加多跳推理的步骤。
2019-03-07 cs.AI cs.LO cs.NE
ChaosBench-Logic: A Benchmark for Logical and Symbolic Reasoning on Chaotic Dynamical Systems
Noel Thomas
ChaosBench-Logic通过30种混沌动力系统评估LLM逻辑和符号推理能力，揭示其在复杂推理任务中的局限性。
2026-10-16 cs.AI cs.IT math.IT
Neural Probabilistic Logic Learning for Knowledge Graph Reasoning
Beijing University of Posts and Telecommunications（北京邮电大学）；Jiaxing University（嘉兴大学）
本文提出神经概率逻辑学习框架NPLL，通过评分模块增强嵌入网络表达能力，并结合基于变分推断的马尔可夫逻辑网络提升可解释性，在多个基准数据集上显著提高了知识图谱推理的准确性与质量。
2024-07-04 cs.AI cs.LG
Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
University of Luxembourg（卢森堡大学）
本文基于LogiKEy逻辑多元知识表示与推理方法论，主张在统一元逻辑框架内支持对象逻辑层面的逻辑多元主义，并警告逻辑帝国主义对跨学科复用的阻碍。
2026-05-26 cs.AI cs.LO math.LO
A Framework for Reasoning on Probabilistic Description Logics
University of Parma（帕尔马大学）；University of Ferrara（费拉拉大学）
虽然描述逻辑有几种推理机，但很少有能处理不确定性的。BUNDLE是一个推理框架，它可以利用几个OWL（非概率）推理机来执行概率描述逻辑的推理。在本章中，我们报告了BUNDLE中实现的最新进展。特别是，BUNDLE现在可以与TRILL系统的推理机接口，从而提供了一种统一的方法来使用不同的设置执行概率查询。BUNDLE可以很容易地扩展，既可以用作独立的桌面应用程序，也可以用作基于OWL API的应用程序中的库，这些应用程序需要对概率描述逻辑进行推理。推理性能很大程度上取决于推理机和计算概率的方法。我们提供了几个数据集上的不同推理设置的比较。
2020-10-02 cs.AI cs.LO
Characterising equilibrium logic and nested logic programs: Reductions and complexity
Universidad Politécnica de Madrid（马德里理工大学）；Technische Universität Wien（维也纳技术大学）
平衡逻辑是一种非单调推理的方法，它扩展了逻辑程序的稳定模型和答案集语义。特别是，它包括嵌套逻辑程序的一般情况下，任意布尔组合是允许在头部和身体的规则，作为特殊类型的理论。在本文中，我们提出了多项式减少的主要推理任务与平衡逻辑和嵌套的逻辑程序到量化命题逻辑，扩展经典命题逻辑的原子公式的量化是允许的。我们不仅为决策问题提供约简，而且为平衡逻辑和嵌套逻辑程序的中心语义概念提供约简。特别是，我们的编码映射一个给定的决策问题到一些公式，后者是有效的，正是在前者举行。我们在这里处理的基本任务是一致性问题，勇敢推理和怀疑推理。此外，我们还提供了编码测试等价的理论或程序下的不同概念的等价性，即普通，强，一致等价。对于所有考虑的推理任务，我们分析了它们的计算复杂性，并给出了严格的复杂性界限。
2009-06-13 cs.AI cs.LO
Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
University of Luxemburg（卢森堡大学）；University of Sheffield（谢菲尔德大学）
本文提出逻辑参数化框架，通过可控逻辑形式提升神经符号推理的鲁棒性与适应性，实验表明内部逻辑策略在不同领域具有更优表现。
2026-01-09 cs.AI cs.CL cs.LO
Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
第4届编程逻辑与实践研讨会聚焦于可信人工智能的推理系统集成，将与第40届国际逻辑编程会议联合于2024年10月13日在美国达拉斯以混合形式举行，重点是集成不同编程模型与规则和约束。
2026-07-27 cs.AI cs.LO cs.PL
Logic Diffusion for Knowledge Graph Reasoning
Xi’an Jiaotong University（西安交通大学）
针对知识图谱推理模型对未见逻辑泛化不足的问题，本文提出插件模块 LoD，通过关系扩散、随机游走采样、梯度自适应和新损失增强鲁棒性，并在四个数据集上验证其性能提升。
2023-06-06 cs.AI cs.LG cs.LO
Towards Unifying Perceptual Reasoning and Logical Reasoning
Cardiff University（卡迪夫大学）
本文提出一个统一感知推理与逻辑推理的概率模型，通过逻辑后果关系表征，实现两种推理过程的统一。
2026-02-23 cs.AI
Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014)
2014年11月25日，第六届逻辑语境获取、表示和推理国际研讨会（ARCOE-Logic 2014）与第19届知识工程和知识管理国际会议（EKAW 2014）在瑞典林雪平举行。这些说明载有讲习班上接受和提出的五份文件。
2014-12-30 cs.AI
An Analysis of General Fuzzy Logic and Fuzzy Reasoning Method
Kim Il Sung University（金日成综合大学）；Kim Chaek University of Technology（金策工业综合大学）
本文首先介绍了作为智能信息处理方法之一的模糊推理的基础的模糊逻辑、模糊语言和算法，然后介绍了一般的模糊推理方法。
2016-04-07 cs.AI
Universal Reasoning, Rational Argumentation and Human-Machine Interaction
University of Luxemburg（卢森堡大学）；Freie Universität Berlin（柏林自由大学）
经典高阶逻辑，当被用作元逻辑时，其中各种其他（经典和非经典）逻辑可以被浅嵌入，非常适合于实现通用逻辑推理方法。反过来，正如莱布尼茨所设想的那样，普遍逻辑推理可能支持机器内理性论证的严格形式化和深入逻辑分析。描述了相应的通用逻辑推理框架，并讨论了一系列示例性应用。在未来，通用逻辑推理与适当的、受控形式的理性论证相结合，可能会成为人类和智能机器之间的沟通层。
2017-03-28 cs.AI
A Logic for Reasoning about Evidence
Cornell University（康奈尔大学）
我们引入了一个逻辑推理的证据，基本上认为证据作为一个功能，从以前的信念（观察前）后的信念（观察后）。我们提供了一个健全的和完整的公理化的逻辑，并考虑到决策问题的复杂性。虽然逻辑中的推理主要是命题，但我们允许变量表示数字和量化。这种表达能力似乎是捕捉证据的重要属性所必需的
2014-07-27 cs.AI
Applications of fuzzy logic to Case-Based Reasoning
College of Letters and Sciences, National University（美国国立大学文理学院）；Graduate Technological Educational Institute（希腊帕特拉斯技术教育学院）
本文讨论了模糊逻辑思想在基于实例推理（CBR）过程的形式化和CBR系统有效性度量中的一些应用
2012-04-10 cs.AI
Sequential Recommendation with Probabilistic Logical Reasoning
Soochow University（苏州大学）；Macquarie University（麦考瑞大学）；Texas Tech University（德克萨斯理工大学）；Suzhou Vocational University（苏州市职业大学）
针对神经符号序列推荐中的逻辑表示难题，提出SR-PLR框架，解耦特征与逻辑嵌入，结合概率逻辑推理，提升推荐性能。
2023-05-15 cs.AI
A Reasoning System for a First-Order Logic of Limited Belief
The University of New South Wales（新南威尔士大学）
有限信念逻辑的目标是在高度表达的表示语言中实现计算上可行的推理。这些语言通常是一阶逻辑的方言，具有较弱形式的逻辑蕴涵，使推理可判定甚至可处理。虽然过去已经提出了一些这样的逻辑，但它们往往只用于理论分析，其实际意义非常有限。在本文中，我们的目标是超越理论。在刘，Lakemeyer和Levesque早期工作的基础上，我们开发了一种具有高度表达性的有限信念逻辑，同时在一阶和易处理的命题情况下保持可判定性，并表现出一些特性，使其对实现具有吸引力。我们介绍了一个推理系统，采用这种逻辑作为表示语言，并展示了有限的信念的好处，目前的实验结果。
2017-05-04 cs.AI
LOGicalThought: Logic-Based Ontological Grounding of LLMs for High-Assurance Reasoning
针对关键领域高可信推理需求，提出神经符号架构LOGicalThought，结合逻辑语言、推理器与大语言模型构建双重上下文，将长文本推理转化为紧凑评估，在多基准上显著提升三类逻辑推理性能。
2025-10-02 cs.AI
Automated Reasoning in Deontic Logic
Universität Koblenz-Landau（科布伦茨-兰道大学）；Harz University of Applied Sciences（哈尔茨应用科学大学）
道义逻辑是数理逻辑和哲学的一个分支。各种道义逻辑讨论了不同的应用领域，如论证理论，法律推理，并在多智能体系统的行为。在本文中，我们将展示如何标准道义逻辑可以逐步转化为描述逻辑和DL-条款，使它可以处理的超，一个高性能的定理证明，它使用超表演算。两个用例，一个来自多智能体研究，一个来自规范系统的开发进行了研究。
2014-11-18 cs.AI
Reasoning about Agent Programs using ATL-like Logics
RMIT University（皇家墨尔本理工大学）
我们提出了一个变体的交替时间时序逻辑（ATL）接地代理的操作诀窍，定义由他们的图书馆的抽象计划。受ATLES的启发，ATL本身的一个变体，在我们的逻辑中可以明确地引用“理性”策略，用于在信念-欲望-意图代理编程范式下开发的代理。这使我们能够使用ATL类型的逻辑框架来表达和验证BDI系统的属性。
2012-07-17 cs.AI
A Simple Generative Model of Logical Reasoning and Statistical Learning
School of Computer Science（计算机科学系）；Informatics, Cardiff University（信息学，卡迪夫大学）
本文提出一个基于贝叶斯方法的简单模型，统一逻辑推理与统计学习，通过形式逻辑的可满足性建模数据生成符号知识，实现精确推断和理论正确性。
2026-02-23 cs.AI
An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning
University of Greifswald（格赖夫斯瓦尔德大学）
逻辑嵌入工具为非经典推理问题到经典高阶逻辑提供了一个过程编码。它是可扩展的，可以支持越来越多的不同的非经典逻辑推理的目标。当用作高阶定理证明器的预处理器或库时，该工具允许逻辑的现成自动化，否则目前很少有证明器可用。
2022-03-23 cs.AI cs.LO
Discourse-Aware Graph Networks for Textual Logical Reasoning
Sun Yat-sen University（中山大学）；Tencent AI Lab（腾讯人工智能实验室）；Huawei（华为）；University of Liverpool（利物浦大学）
本文提出语篇感知图网络DAGNs，通过构建逻辑图并端到端演化逻辑关系来增强文本逻辑推理问答能力，实验验证了其有效性和泛化性。
2023-04-19 cs.AI cs.CL
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning
我们提出了一些逻辑的非单调推理，由克劳斯，莱曼和Magidor定义的表演算。我们给出了所有KLM逻辑，即优先，循环累积，累积和理性逻辑的一个Tableau证明过程。我们的演算是通过引入合适的模态来解释条件断言而获得的。我们提供了一个决策程序的逻辑考虑，我们研究它们的复杂性。
2006-11-10 cs.AI cs.LO
Reasoning-as-Logic-Units: Scaling Test-Time Reasoning in Large Language Models Through Logic Unit Alignment
Peking University（北京大学）
针对思维链提示的数值计算缺陷及程序辅助技术的“推理幻觉”问题，提出推理即逻辑单元（RaLU）框架，通过逻辑单元对齐构建可靠推理路径，在多推理任务中显著优于基线，提升大语言模型推理准确性与可解释性。
2025-02-05 cs.AI cs.LG
Logical Reasoning in Large Language Models: A Survey
Westlake University（西湖大学）；Zhejiang Normal University（浙江师范大学）；Hainan University（海南大学）
本综述针对大型语言模型（LLMs）严格逻辑推理能力的开放性问题，梳理其逻辑推理的范围、理论基础与基准，分析不同推理范式的现有能力及提升策略，并指出未来探索方向以增强AI系统的逻辑推理能力。
2025-02-13 cs.AI cs.CL
Enhancing Logical Reasoning in Large Language Models to Facilitate Legal Applications
National Institute of Informatics（信息学研究所）
本文提出逻辑反馈强化学习（RLLF）方法以提升LLMs的逻辑推理能力，从而扩展其在法律等逻辑密集型学科中的应用，并探索该领域研究的新途径。
2023-11-22 cs.AI cs.CL
Quantitative Logic Reasoning
University of São Paulo（圣保罗大学）
在本文中，我们展示了同时处理演绎和定量推理的逻辑系统之间的几个相似之处。我们认为把这些系统执行的任务称为定量逻辑推理是合适的。类似的性质保持整个类，其成员存在一套线性代数技术适用于研究可满足性决策问题。在这个演示中，我们认为定量逻辑推理的任务所执行的命题概率逻辑;一阶逻辑计数量词的一个片段包含一元和有限的二元谓词;和命题Lukasiewicz无限值概率逻辑
2019-05-14 cs.AI cs.LO
A Logic for Reasoning about Evidence
我们引入了一个逻辑推理的证据，基本上认为证据作为一个功能，从先前的信念（前观察）后的信念（后观察）。我们提供了一个健全的和完整的公理化的逻辑，并考虑到决策问题的复杂性。虽然逻辑中的推理主要是命题，但我们允许变量表示数字和量化。这种表达能力对于捕捉证据的重要属性似乎是必要的。
2006-08-03 cs.AI cs.LO
Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning
University of California, Santa Barbara（加州大学圣巴巴拉分校）
本文提出Logic-LM框架，通过将大型语言模型与符号求解器结合，把自然语言转化为符号公式进行推理，并引入自我修正模块，在五个逻辑数据集上显著提升了LLM的逻辑推理性能。
2023-10-19 cs.AI cs.CL
A Logic for Reasoning about Upper Probabilities
Cornell University（康奈尔大学）
我们提出了一个命题逻辑推理的不确定性事件，其中的不确定性是由一组概率的措施分配一个概率的间隔，每个事件建模。我们给出了该逻辑的一个完备公理化，并证明了可满足性问题是NP-完全的，并不比命题逻辑的可满足性问题难。
2014-08-07 cs.AI cs.LO
LogicTrack: Auditing Reasoning Trajectories of Large Language Models with Formal Logic Solvers
University of Bristol（布里斯托大学）；King Abdullah University of Science and Technology（阿卜杜拉国王科技大学）
LogicTrack通过自动形式化推理步骤并用定理证明器验证，引入逐步回溯奖励，提升LLM推理链的逻辑可验证性与最终答案通过率。
2026-09-21 cs.AI cs.LO cs.SC
Logic Agent: Enhancing Validity with Logic Rule Invocation
本文提出 Logic Agent 框架，通过将自然语言转为逻辑形式并动态调用命题逻辑规则，提升 LLM 推理的有效性、可解释性与跨规模任务表现。
2024-12-06 cs.AI cs.CL
Principles and Examples of Plausible Reasoning and Propositional Plausible Logic
Griffith University（格里菲斯大学）
似是而非的推理涉及的情况，其固有的缺乏精确性是没有量化的;也就是说，没有程度或水平的精确性，因此没有使用数字，如概率。一个希望全面的原则，阐明了什么是一个形式逻辑做似是而非的推理。定义了一种新的命题逻辑，称为命题似然逻辑（PPL），并将其应用于一些重要的例子。PPL是我们所知道的唯一一个满足所有原则并对所有示例进行正确推理的非数值非单调逻辑。证明了关于PPL的一些重要结果。
2017-04-03 cs.AI cs.LO
SALA: Semantic-Aware Logical Alignment for Complex Reasoning in In-Context Learning
School of Software Engineering, Sun Yat-sen University（中山大学软件工程学院）；School of Artificial Intelligence, Sun Yat-sen University（中山大学人工智能学院）；Merchants Union Consumer Finance Company Limited（招商局联融消费金融股份有限公司）
针对上下文学习中传统示例选择方法无法捕捉推理逻辑、刚性逻辑方法适配性差的问题，提出SALA框架，通过自动学习任务特定推理操作并结合动态时间规整实现灵活可解释的逻辑对齐，在多基准和多LLM上性能优于现有方法。
2026-09-03 cs.AI cs.CL
Quantum Look at two Common Logics: the Logic of Primitive Thinking and the Logic of Everyday Human Reasoning
B. Verkin Institute for Low Temperature Physics and Engineering of the National Academy of Sciences of Ukraine（乌克兰国家科学院B·维尔金低温物理与工程研究所）
基于开放系统量子理论和心理对偶系统理论的思想，我们提出了两种新的非布尔逻辑。我们认为，第一个版本可以被解释为对原始（神话）思维的简化描述，第二个版本可以被解释为日常人类推理的玩具模型，其中除了逻辑演绎之外，启发式元素和信念也发挥了相当大的作用。文中还列举了支持这些解释的几个论点并进行了讨论。
2015-09-16 cs.AI math.LO q-bio.NC
Redundancy in Logic III: Non-Mononotonic Reasoning
给出了限制理论和缺省理论的冗余性结果。特别是，建立一个给定的理论是否是冗余的复杂性。
2005-10-12 cs.AI cs.CC cs.LO
DivLogicEval: A Framework for Benchmarking Logical Reasoning Evaluation in Large Language Models
The Hong Kong University of Science and Technology（香港科技大学）；Fudan University（复旦大学）；WeChat AI, Tencent（腾讯微信AI）
本文提出DivLogicEval基准，以反直觉自然句子评估LLM逻辑推理，并引入新指标减少偏差，实验比较了多种流行LLM的性能。
2025-09-26 cs.AI cs.CL cs.LG
A logic for reasoning about upper probabilities
我们提出了一个命题逻辑%，它可以用来推理的不确定性事件，其中的不确定性是由一组概率的措施分配一个区间的概率为每个事件建模。我们给出了该逻辑的一个完备公理化，并证明了可满足性问题是NP-完全的，并不比命题逻辑的可满足性问题难。
2003-07-30 cs.AI cs.LO
From Propositional Logic to Plausible Reasoning: A Uniqueness Theorem
Adobe Systems（Adobe系统公司）
我们考虑了将命题逻辑扩展为似然推理逻辑的问题，以及任何这样的扩展应满足的四个要求。每一个都要求经典命题逻辑的某些性质在扩展逻辑中得到保留;因此，这些要求比考克斯定理及其变体中使用的要求更简单，问题更少。与考克斯定理一样，我们的要求意味着扩展逻辑必须同构于（有限集）概率论。我们还得到了概率的具体数值，恢复了概率作为定理的经典定义，满足前提的真值分配扮演了“可能情况”的角色。"
2017-06-16 cs.AI cs.LO
Towards AI Logic for Social Reasoning
Zhejiang University（浙江大学）；University of Luxembourg（卢森堡大学）
人工智能逻辑对智能主体推理进行形式表征。在本文中，我们讨论了如何使用基于论证的人工智能逻辑来形式化社会推理的重要方面。除了推理个体代理人的知识和行为之外，社会AI逻辑还可以推理代理人之间的社会依赖性，使用代理人的权利、义务和许可。我们讨论了社交AI逻辑的四个方面。首先，我们讨论了权限如何表示智能主体的义务和权限之间的关系。其次，我们讨论了如何论证知情权，这是最近隐私和伦理讨论的一个中心问题。第三，我们讨论了如何通过比较形式化参数来识别和（有时）解决智能主体之间的各种冲突。重要的是，为了涵盖日常生活中发生的各种各样的争论，谬误的争论也可以被表现出来并进行推理。第四，我们讨论了如何论证智能主体的行动自由。来自社会、法律和伦理推理的例子突出了发展社会AI逻辑的挑战。对这四个挑战的讨论引出了一个基于争论的社会人工智能逻辑的研究计划，为人工智能逻辑的未来发展做出了贡献。
2021-10-09 cs.AI cs.LO
