A flexible framework for defeasible logics
用于知识表示的逻辑遭受过度专业化：虽然每个逻辑可以为某些问题提供理想的表示形式，但对于其他问题来说，它不是最佳的。这个问题的解决方案是从几个逻辑中选择，并在必要时组合表示。通常，这种方法导致非常困难的组合问题。然而，如果我们可以从一个统一的框架中选择逻辑，那么组合它们的问题就会大大简化。在本文中，我们开发了这样一个框架，可废止逻辑。它支持所有满足强否定原则的可废止逻辑。我们使用逻辑元程序作为框架的基础。
2000-03-07 cs.AI cs.LO
Defeasible Reasoning via Datalog$^\neg$
Reasoning Research Institute（推理研究机构）
本文研究将可废止理论编译为 Datalog$^\neg$ 程序的问题，证明了其在可废止逻辑 $DL(\partial_{||})$ 中的正确性，并利用其结构特性支持高效实现与近似，同时适应不完整的程序实现。
2021-06-21 cs.AI cs.LO
Representation results for defeasible logic
转换和范式在逻辑编程中的重要性，以及一般在计算机科学中的重要性，都有很好的文献记载。本文研究了可废止逻辑中的变换和范式，这是一种基于规则和优先级的非单调推理的简单而有效的形式主义。本文中描述的转换有两个主要的好处：一方面，它们可以被用作一个理论工具，导致更深入的理解的形式主义，另一方面，他们已被用于开发一个有效的实现可废止逻辑。
2000-03-30 cs.AI cs.LO
Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic Logic
本文提出了一种扩展的可废止道义逻辑来处理语用奇性问题。该逻辑应用三个一般原则：（1）语用奇性问题必须在CTD推理的一般逻辑处理中解决;（2）必须采用非单调方法来处理CTD推理;（3）CTD推理的逻辑模型必须在计算上可行，并且如果可能的话，是有效的。可废止道义逻辑的拟议扩展阐述了Governatori和Rotolo（2019）提出的模型的初步版本。以前的解决方案是基于逻辑的（构造性的，自上而下的）证明理论的特定特征。然而，这种方法引入了一定程度的非确定性。为了避免这个问题，我们提供了一个自自底向上的【形】的逻辑特征。新的表征提供了见解的逻辑的有效实施，并允许我们建立的计算复杂性的问题。
2022-09-09 cs.AI cs.LO
Approximating Defeasible Logics to Improve Scalability
Reasoning Research Institute（推理研究所）
可废止规则用于提供法律文件的可计算表示，最近，已被建议作为可解释AI的基础。这样的应用程序引起了人们对实现的可伸缩性的关注。可废止逻辑$DL(\partial_{||})$被引入作为$DL(\partial)$的更可扩展的替代方案，这是众所周知的。在本文中，我们考虑使用（实现）$DL(\partial_{||})$作为一个计算辅助计算结论在$DL(\partial)$和其他可废止的逻辑，而不是作为一个替代$DL(\partial)$。我们确定的条件下，$DL(\partial_{||})$可以取代$DL(\partial)$没有改变得出的结论，和条件下，$DL(\partial_{||})$可以用来得出一些有效的结论，剩下的由$DL(\partial)$。
2021-08-11 cs.AI cs.LO
Resource-driven Substructural Defeasible Logic
Data61 CSIRO（联邦科学与工业研究组织数据61所）；University of Verona（维罗纳大学）
线性逻辑和可废止逻辑已被采用，以形式化不同的功能相关的代理：资源的消耗，并与例外推理。我们提出了一个框架，结合子结构的功能，对应的资源消耗，与可撤销性方面，我们讨论了框架的设计选择。
2018-09-11 cs.AI cs.LO cs.MA
Relative Expressiveness of Defeasible Logics II
University of New South Wales（新南威尔士大学）
本研究基于Maher 2012提出的两种相对表达能力概念，证明DL框架下的可废止逻辑在第一种定义下表达能力等价，第二种定义下个体击败与团队击败的逻辑表达能力等价，仅歧义处理方式会造成表达能力差异，完善了DL相对表达能力的研究。
2021-02-21 cs.AI cs.LO
Theoretical Foundations of Defeasible Description Logics
Stellenbosch University（斯泰伦博斯大学）；University of Cape Town（开普敦大学）；Maastricht University（马斯特里赫特大学）；University of Manchester（曼彻斯特大学）；CNRS（法国国家科学研究中心）
我们扩展描述逻辑（DL）与非单调推理功能。我们首先研究的概念，可废止包容的精神，可废止条件研究克劳斯，莱曼和Magidor在命题的情况下。特别是，我们认为一个自然和直观的语义可废止包容，并调查KLM风格的句法属性的优惠和合理的包容。我们的贡献包括两个代表性的结果连接我们的语义结构的优惠和合理的属性考虑。除了表明我们的语义是适当的，这些结果铺平了道路，更有效的决策程序，可废止推理的DL。事实上，我们还分析了问题的非单调推理的DL在蕴涵的水平，并提出了一个算法的合理关闭的可废止本体的计算。重要的是，我们的算法完全依赖于经典的蕴涵，并表明，计算复杂性的推理可废止的本体是不坏的推理在底层的经典DL ALC。
2019-04-16 cs.AI cs.LO
Relative Expressiveness of Defeasible Logics
University of New South Wales（新南威尔士大学）
我们解决的框架DL的可废止逻辑的相对表现力。相对表达性被公式化为在另一个逻辑中模拟一个逻辑的推理的能力。我们表明，这样的模拟必须是模块化的，在这个意义上说，他们也工作，如果只适用于一个理论的一部分，以实现一个有用的概念，相对的表现力。我们提出的模拟表明，逻辑在DL与团队失败的能力是同样富有表现力的。我们还表明，处理歧义不同的逻辑-歧义阻塞与歧义传播-具有不同的表现力，既不能模拟其他下的不同表达。
2012-10-05 cs.AI cs.LO
Computing Strong and Weak Permissions in Defeasible Logic
NICTA（澳大利亚国家信息与通信技术研究院）；University of Verona（维罗纳大学）；Griffith University（格里菲斯大学）；University of Bologna（博洛尼亚大学）
在本文中，我们提出了一个扩展的可废止逻辑表示和计算三个概念的可废止许可。特别是，我们讨论了不同类型的明确的许可性规范，作为相反的义务的例外。此外，我们展示了如何强许可可以表示，并没有引入一个新的推论关系，从明确的许可规范的结论。最后，我们说明了如何适用于相反的义务的偏好操作符可以与一个新的操作符表示强权限减损从禁止的有序序列相结合。逻辑系统从计算的角度进行了研究，并示出具有线性计算复杂性。
2012-12-01 cs.AI cs.LO
Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes
Data61, CSIRO（联邦科学与工业研究组织数据61所）；University of Verona（维罗纳大学）
线性逻辑和可废止逻辑已被采用，以形式化的不同功能的知识表示：资源的消耗，特别是表示异常的非单调推理。最近，一个框架相结合的子结构的功能，对应的资源消耗，与可撤销性方面来处理潜在的冲突信息，已经在文献中讨论，由一些作者。出现了两个非常相关的应用程序：能源管理和业务流程管理。我们说明了一组指导方针，以确定如何将线性可废止逻辑应用到这些情况下。
2019-08-14 cs.AI cs.LO cs.MA
Equipping sequent-based argumentation with defeasible assumptions
在许多专家和日常推理环境中，基于可撤销的假设进行推理是非常有用的。例如，如果手头的信息不完整，我们通常会使用合理的假设，或者如果信息相互矛盾，我们会尽可能地解释它。在本文中，基于序列的论证，一种形式的逻辑论证，其中参数表示的一个符号，扩展到包括假设。由此产生的推理框架是通用的，因为其他一些方法的推理与假设可以充分表示在it.To answiring这，我们表明，基于推理的论证可以表示在推理序列为基础的论证。
2018-04-23 cs.LO
Standpoint Logics with Defeasible Beliefs
University of Cape Town（开普敦大学）；CAIR, South Africa（南非人工智能研究中心）；Technische Universität Dresden（德累斯顿工业大学）；ScaDS.AI – Center for Scalable Data Analytics and Artificial Intelligence Dresden/Leipzig, Germany（德国德累斯顿/莱比锡可扩展数据分析与人工智能中心）
将KLM可废止逻辑与立场逻辑框架结合，提出DRSL，通过公理化语义和多种蕴涵关系提升，实现多视角下可废止信念的形式化表达。
2026-06-07 cs.AI cs.LO
An Update Semantics for Defeasible Obligations
Erasmus University Rotterdam（鹿特丹伊拉斯姆斯大学）
道义逻辑DUS是基于Veltman更新语义的规定性义务的道义更新语义。在DUS中，义务的逻辑有效性的定义不是基于静态的真值，而是基于动态的动作转换。本文用更新语义形式化了规定可废止义务，并讨论了可废止道义逻辑的诊断问题。假定一个可撤销的义务“通常A应该（做）”，连同“A没有（做）”这一事实。这是正常性主张的例外，还是违反了义务？在本文中，我们正式的启发式原则，这是一个违反，除非有一个更具体的压倒一切的义务。法律推理的潜在动机是，罪犯应该尽可能少地有机会通过声称他们的行为是例外而不是犯罪来为自己开脱。
2013-01-23 cs.AI cs.LO
Automating Defeasible Reasoning in Law
Singapore Management University（新加坡管理大学）
本文研究基于规则的系统中的可废止推理，特别是关于法律规范和合同。我们确定规则修饰符，指定规则如何交互以及如何覆盖它们。然后，我们定义规则转换，消除这些修饰符，最终导致规则到公式的转换。对于推理和规则，我们对比了两种方法，一种是在经典逻辑与SMT求解器作为证明引擎，一种是在非单调逻辑与答案集编程求解器。
2022-05-15 cs.AI cs.LO
A normative account of defeasible and probabilistic inference
Max Planck Institute（马克斯·普朗克研究所）；University of São Paulo（圣保罗大学）
本文进一步论证了逻辑推论应该从规范的角度来理解的观点。哈特里·菲尔德和约翰·麦克法兰讨论了经典案例。我们扩展了他们的工作，研究当面对不确定的信息或在非单调的，可废除的逻辑框架（允许e）内推理时，代理人被迫推断结论意味着什么。G.除非提出相反证据，否则不得从被视为真实的前提作出推论）。
2014-02-19 cs.AI cs.LO
Deontic Meta-Rules
Griffith University（格里菲斯大学）；Singapore Management University（新加坡管理大学）；University of Verona（维罗纳大学）；University of Bologna（博洛尼亚大学）
在逻辑中使用元规则，即，规则，其内容包括其他规则，最近在非单调推理的设置中获得了关注：Olivieri等人（2021）提出了第一个逻辑形式化和有效算法来计算这些理论的（Meta）扩展。由此产生的逻辑将不仅能够为政策建模，而且还能够处理许多法律制度中出现的众所周知的问题。在我们刚刚提到的应用领域中，使用可废止逻辑（DL）对元规则进行建模已经进行了研究。在这条研究路线中，上面提到的研究并没有关注元规则的一般计算属性。这项研究填补了这一空白，有两个主要贡献。首先，我们引入并形式化了两个变体的可废止道义逻辑与元规则来表示（1）可废止元理论与道义模态，（2）两种不同类型的规则之间的冲突：简单冲突可废止道义逻辑，谨慎冲突可废止道义逻辑。其次，我们提出了有效的算法来计算这两种变体的扩展。
2022-09-23 cs.AI cs.LO
Towards Non-Monotonic Entailment in Propositional Defeasible Standpoint Logic
University of Cape Town and CAIR, South Africa（开普敦大学和CAIR，南非）；Université Sorbonne Paris Nord, Inserm, Sorbonne Université, Limics, 93017 Bobigny, France（巴黎-索邦大学，Inserm，索邦大学，Limics，法国93017博比尼）；ISTI-CNR, Pisa, Italy（意大利比萨ISTI-CNR）
本文通过引入情境立场条件句，将KLM风格的非单调理性蕴涵关系提升到命题可废止立场逻辑（PDSL）的一个片段中，并证明了该片段可表达为一组情境条件句，进而将基于排序的蕴涵关系（如理性和词典序闭包）从命题情况忠实翻译到PDSL，同时保持复杂度界限。
2026-06-02 cs.AI cs.LO
Extending Defeasibility for Propositional Standpoint Logics
University of Cape Town（开普敦大学）；CAIR（非洲研究机构）；Université Sorbonne Paris Nord（巴黎-索邦大学）；Inserm（法国国家卫生研究院）
本文通过整合多种可废止性概念与立场逻辑，提出了一种新的命题立场逻辑可废止版本，支持在蕴涵、模态算子和立场锐化层面表达可废止性，并提供了偏好语义、可靠完备的tableau演算及PSpace复杂度证明。
2025-07-14 cs.AI cs.LO
Multi-Agent Systems based on Contextual Defeasible Logic considering Focus
Programa de Pós-Graduação em Engenharia Elétrica e Informática Industrial, Universidade Tecnológica Federal do Paraná（联邦巴拉那技术大学工业电气与信息工程研究生课程）
在本文中，我们扩展了以前的工作，分布式推理使用上下文可废止逻辑（CDL），它使分散的分布式推理的基础上，分布式知识库，这样的知识，从不同的知识库可能会相互冲突。然而，有许多用例场景不可能在此模型中表示。一种这样的场景是那些需要代理共享和相关知识的原因时，发出查询给其他人。另一种情况是代理之间的绑定（通过映射规则定义）不是静态的，例如在知识密集型和动态环境中。这项工作提出了一个多代理模型的基础上CDL，不仅允许代理的原因与他们的本地知识库和映射规则，但也允许代理的原因有关的知识（焦点）-这是不知道的代理先验-在一个特定的查询的上下文中。我们提出了一个用例场景，提出的模型的一些形式化，并初步实现的基础上的BDI（信念-欲望-意图）代理模型。
2020-10-01 cs.AI cs.LO
Toward Robust Legal Text Formalization into Defeasible Deontic Logic using LLMs
TU Wien（维也纳技术大学）；AIT Austrian Institute of Technology（奥地利技术研究所）；School of Engineering and Technology（工程与技术学院）；Artificial Intelligence and Cyber Futures Institute（人工智能与未来网络研究院）
本文提出利用LLMs将法律文本形式化为可撤销规范逻辑，通过结构化管道和改进的评估方法，提升形式化的一致性和完整性。
2025-12-31 cs.AI cs.CL cs.CY
Defeasible RDFS via Rational Closure
CNR - ISTI（意大利国家研究委员会 - 信息科学与技术研究所）；CAIR - University of Cape Town（开普敦大学 - 开普敦人工智能研究所）
本文将理性闭包集成到RDFS中，通过扩展$ρdf$为$ρdf_\ot$并引入新谓词符号，提出保持三元组语法且可在多项式时间内判定的可废止$ρdf_\ot$。
2023-06-01 cs.AI cs.LO
Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)
Technische Universität Wien (TU Wien)（维也纳技术大学）
本文提出一种双层偏好语义框架，通过结合非单调推理机制和双序关系（理想性与正常性），解决可废止条件义务的逻辑建模问题，并与约束输入/输出逻辑建立联系。
2026-06-28 cs.AI cs.LO
Intuitions and the modelling of defeasible reasoning: some case studies
本文的目的是解决一些批评最近提出的约翰Horty在两篇文章中对有效性的两个普遍接受的可撤销推理模式，即恢复和浮动的结论。我将论证，尽管霍蒂的反例大大提高了我们对这些推理模式的理解，但它们并没有显示出它们的无效性。他们中的一些反映的模式，如果明确的形式化，避免不必要的推理，而不必放弃批评的推理原则。其他例子似乎涉及到关于特定问题的隐藏假设，如果这些假设被明确表示出来，只不过是击败可废止推理的额外信息。这些考虑将被放在一个更广泛的角度，通过反思的性质，可废止的推理原则的原则，合理的接受，而不是“真正的”逻辑推理。
2002-07-09 cs.AI cs.LO
Dynamics of Knowledge in DeLP through Argument Theory Change
National Research Council (CONICET)（国家研究委员会（CONICET））；Universidad Nacional del Sur (UNS)（南方国立大学（UNS））
本文研究了可废止逻辑程序（de.l.p. s）的修改方法，它是可废止逻辑程序设计（DeLP）解释器所使用的知识库。DeLP是一种论证形式主义，允许对潜在不一致的de.l.p.s.进行推理。论证理论变化（ATC）研究信念修正的某些方面，以使它们适用于抽象的论证系统。在这篇文章中，抽象的参数呈现具体的使用特定的基于规则的可废止逻辑采用DeLP。我们建议的目标是为de.l.p.s定义优先的参数修改操作符，以这样的方式，新插入的参数在修改后不会失败，从而验证其结论。为了确保这一保证，必须根据最小变化原则改变de.l.p.。为此，我们讨论了可以采用的不同的最小变化标准。最后给出了一个实现参数修正操作的算法。
2011-11-29 cs.AI cs.LO
Temporal Many-valued Conditional Logics: a Preliminary Report
Università della Calabria（卡拉布里亚大学）；Università del Piemonte Orientale（东皮埃蒙特大学）
该研究提出多值时态条件逻辑，将含典型性的多值逻辑与LTL时态算子结合以刻画系统动态性，并探索了其在渐进式论证中的实例化应用。
2024-09-06 cs.AI cs.LO
Plausible Reasoning and First-Order Plausible Logic
School of Information and Communication Technology, Nathan campus, Griffith University, Brisbane, Queensland 4111, Australia（信息与通信技术学院，纳瑟恩校区，格里菲斯大学，布里斯班，昆士兰4111，澳大利亚）
本文提出了一种满足大部分可接受原则的一阶逻辑PL，用于正确推理可能推理的例子，同时概述了17条逻辑原则及其中的14条必要原则和3条可欲原则。
2026-04-21 cs.AI cs.LO
Reasoning on $\textit{DL-Lite}_{\cal R}$ with Defeasibility in ASP
Fondazione Bruno Kessler（布鲁诺·凯斯勒基金会）；Technische Universität Wien（维也纳工业大学）
关于可废止知识的推理是描述逻辑领域的一个研究课题，因为它涉及到在知识库中表示例外实例的需要。在这个方向上，在我们以前的作品中，我们提出了一个框架表示（上下文）OWL RL知识库的概念，合理的例外可废止公理：在这样的框架中的推理是通过翻译到ASP程序实现的。然而，OWL RL的推理过程引入了复杂的编码，以捕获对异常推理所需的负面信息的推理。在本文中，我们将合理例外方法应用于$\textit{DL-Lite}_{\cal R}$中的知识库，即，OWL QL的基础语言。给出了具有可废止公理的$\textit{DL-Lite}_{\cal R}$知识库的定义，并研究了其语义和计算性质。特别是，我们研究了对未命名的个人的异常的影响。有限形式的$\textit{DL-Lite}_{\cal R}$公理允许我们制定一个更简单的ASP编码，其中推理的负面信息管理的直接规则。由此产生的具体化方法产生了一个完整的推理过程，例如检查$\textit{DL-Lite}_{\cal R}$与可废止公理。逻辑程序设计理论与实践（TPLP）
2021-06-30 cs.AI cs.LO
A Note on Reasoning on $\textit{DL-Lite}_{\cal R}$ with Defeasibility
Fondazione Bruno Kessler（布鲁诺·凯斯勒基金会）；Technische Universität Wien（维也纳工业大学）
可废止信息的表示是描述逻辑中的一个重要问题，因为它涉及到在知识库中容纳例外实例的需要。在这个方向上，在我们以前的作品中，我们提出了一个数据库翻译推理（上下文）OWL RL知识库的概念，合理的例外可废止公理。虽然它涵盖了OWL的相关片段，但由此产生的推理过程需要复杂的编码，以便捕获对负面信息的推理。在本文中，我们考虑的情况下，知识库的$\textit{DL-Lite}_{\cal R}$，即语言的基础OWL QL。给出了具有可废止公理的$\textit{DL-Lite}_{\cal R}$知识库的定义，并研究了它们的性质。有限形式的$\textit{DL-Lite}_{\cal R}$公理允许我们制定一个更简单的编码到数据集（根据答案集语义）与直接规则推理的负面信息。由此产生的具体化方法产生了一个完整的推理过程，例如检查$\textit{DL-Lite}_{\cal R}$与可废止公理。
2019-05-22 cs.AI cs.LO
Explainability by design: an experimental analysis of the legal coding process
University of Verona（威尼斯大学）；Central Queensland University（中央昆士兰大学）；University of Bologna（博洛尼亚大学）
本文提出一种从文本片段生成道义可废止逻辑规则的法律编码方法，通过人类实验测量编码努力，并利用Houdini技术给出基于领域知识、文本长度和引用深度等因素的编码时间预测方法。
2025-05-03 cs.AI cs.CL cs.LO
Relations between assumption-based approaches in nonmonotonic logic and formal argumentation
Institute of Philosophy II, Ruhr Universität Bochum（波鸿鲁尔大学第二哲学研究所）；Ruhr Universität Bochum（波鸿鲁尔大学）
在本文中，我们作出的贡献，统一的形式模型的可废止推理。我们提出了几个翻译之间的正式论证框架和非单调逻辑推理合理的假设。更具体地说，我们将自适应逻辑转换为基于推理的论证，将ASPIC+、ASPIC+转换为基于推理的论证，将基于推理的论证的一个片段转换为自适应逻辑。自适应逻辑与梅金森的默认假设密切相关，并且与KLM和Shoham的偏好语义传统中的一类重要系统密切相关。因此，我们的研究结果也提供了正式的论证和后者的方法之间的密切联系。
2016-04-01 cs.AI cs.LO
Generics and Default Reasoning in Large Language Models
University of Oxford（牛津大学）；Magdalen College（玛格丽特学院）；University of Hong Kong（香港大学）
本文评估28个LLM在20种类指概括可废止推理模式上的表现，发现模型间差异大，CoT提示常导致性能显著下降，多数模型难以区分可废止与演绎推理，揭示了当前LLM在缺省推理上的能力边界。
2025-08-19 cs.AI cs.CL cs.LO
Learning Brave Assumption-Based Argumentation Frameworks via ASP
CNR-IASI（意大利国家研究委员会信息系统与信息学研究所）；Imperial（帝国理工学院）
本文研究从背景知识和正负示例中自动化学习假设式论证框架，提出基于转换规则和答案集编程的勇敢推理算法，并与最先进的ILP系统比较。
2024-11-08 cs.AI cs.LG cs.LO
Enabling Reasoning with LegalRuleML
Data61 CSIRO Australia（澳大利亚联邦科学与工业研究组织数据61中心）
为了自动化验证过程，需要将以自然语言编写的监管规则翻译成机器可以理解的格式。然而，现有的形式主义都不能完全代表法律规范中出现的要素。例如，这些形式主义中的大多数都没有提供捕获道义效应的行为的功能，而道义效应是自动合规性检查中的一个重要方面。本文提出了一种方法，用于将使用LegalRuleML表示的法律规范转换为模态可撤销逻辑的变体（反之亦然），以便使用LegalRuleML表示的法律声明可以转换为机器可读的格式，可以根据客户的偏好进行理解和推理。
2018-04-07 cs.AI cs.LO
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
Syracuse University Syracuse New York USA；Arizona State University Tempe Arizona USA；Scientific Systems Company, Inc. Woburn Massachusetts USA；Department of Computer Science；Engineering, Universidad Nacional del Sur (UNS) \& Institute for Computer Science；Syracuse University；Arizona State University；Scientific Systems Company, Inc.
该研究提出支持开放世界语义的LAT逻辑，界定其计算复杂度并开源PyReason实现，实验验证其在多类任务中兼具性能与效率优势，可用于动态环境下的时态推理。
2025-09-03 cs.AI cs.LG cs.LO
Le chameau et le serpent rentrent dans un bar : vérification quasi-automatique de code OCaml en logique de séparation
本文提出将带 Gospel 注释的 OCaml 程序翻译为中间验证语言 Viper，通过扩展 Gospel 支持分离逻辑特性，为 Cameleer 扩展新后端以验证依赖堆的 OCaml 程序。
2024-12-19 cs.LO
Combining Representation Learning with Logic for Language Processing
University College London（伦敦大学学院）
许多自然语言处理和自动化知识库完成任务的当前技术水平由表示学习方法保持，该方法经由基于梯度的优化来学习符号的分布式向量表示。它们只需要很少或根本不需要手工制作的功能，从而避免了大多数预处理步骤和特定于任务的假设。然而，在许多情况下，表示学习需要大量带注释的训练数据来很好地推广到看不见的数据。这种标记的训练数据由人类注释者提供，注释者通常使用形式逻辑作为用于指定注释的语言。本文研究了不同的组合表示学习方法与逻辑，以减少需要的注释训练数据，并提高泛化。
2017-12-27 cs.CL cs.LG cs.LO
PyReason: Software for Open World Temporal Logic
Arizona State University（亚利桑那州立大学）
神经符号推理的日益普及导致了各种形式的可微（即，模糊）一阶逻辑。我们介绍PyReason，一个基于广义注释逻辑的软件框架，它既可以捕获当前的可微逻辑队列，又可以进行时间扩展，以支持在有限时间内进行推理，并具有开放世界推理的能力。此外，PyReason被实现为直接支持对图形结构的推理（例如，知识图谱、社交网络、生物网络等），产生完全可解释的推理痕迹，并包括各种实用功能，如类型检查和内存效率的实现。本文回顾了各种扩展的广义注释逻辑集成到我们的实现，我们的现代，高效的基于Python的实现，进行精确但可扩展的演绎推理，和一套实验。PyReason可以在github.com/lab-v2/pyreason上找到。
2023-03-04 cs.AI cs.LO cs.PL
Reasoning with Data-Centric Business Processes
我们描述了一种方法，以数据为中心的业务流程建模和推理，并提出了一种形式的一般模型检验。我们的技术扩展了现有的方法，这些方法只从具体的初始状态探索系统。具体来说，我们的业务流程模型的较小的片段，其可能的相互作用的约束下，一阶逻辑公式。反过来，流程片段是用修改数据的指令注释的连接图。关于数据相对于过程的演化的正确性属性可以在一阶分支时间逻辑中在内置理论上陈述，例如线性整数算术，记录和数组。当给定一个具体的初始状态时，在这种逻辑上解决一般的模型检验问题要比模型检验困难得多。为此，我们提出了一个Tableau程序，减少这些模型检验问题的一阶逻辑算术。由此产生的证明义务传递给适当的“现成的”定理证明。我们还详细介绍了我们的建模方法，描述了推理组件和第一次实验报告。
2012-07-10 cs.LO
A logic for default deontic reasoning
本文提出了一种基于默认逻辑的非模态证明论框架，用于解决规范冲突和动态规范问题。
2025-12-21 cs.LO math.LO
Similarity-based Reasoning in Qualified Logic Programming
基于相似性的逻辑程序设计（Similarity-basedLogicProgramming，简称SLP）是一种支持灵活信息检索应用的近似推理方法。该方法使用程序签名中符号之间的模糊相似关系R，同时保持经典LP中程序子句的语法。另一个最近的建议是QLP（D）计划的合格的逻辑编程，扩展的LP范式，支持近似推理等。该方法使用带注释的程序子句和参数化给定的域D，域D的元素通过测量逻辑断言与各种用户期望的接近程度来限定逻辑断言。在本文中，我们提出了一个更有表现力的计划SQLP（R，D），其中包括SLP和QLP（D）作为特殊情况。我们还证明了SQLP（R，D）程序可以转化为语义等价的QLP（D）程序。因此，现有的QLP（D）实现可以用于为基于相似性的推理提供有效的支持。
2010-08-23 cs.LO cs.PL
Decoupling Evidence Sources in Paraconsistent Logic: A Generalized PAL2v Framework for Educational Assessment
Center for Logic, Epistemology and the History of Science (CLE), State University of Campinas (UNICAMP)（圣保罗州立大学逻辑、认识论与科学史中心）；Institute of Philosophy and the Humanities (IFCH), State University of Campinas (UNICAMP)（圣保罗州立大学哲学与人文学院）；Faculdade Israelita de Ciências da Saúde Albert Einstein (FICSAE)（阿尔伯特爱因斯坦以色列健康科学学院）
本文针对PAL2v逻辑中证据坐标耦合导致矛盾状态不可达的问题，提出解耦证据源构造，使所有逻辑状态可达，并给出完全决策过程，应用于教育评估以量化学生表现与投入差距。
2026-09-15 cs.LO math.ST stat.TH
