Jun, 2022

在真实世界的环境中，使用可辩证论证和数量数据进行比较和扩展

PDF
TL;DR本研究选择计算可信度作为应用领域，评估了异议论证推理的推理能力，并将其与模糊推理和专家系统进行了比较。结果表明，与基线相比，基于异议论证的模型表现更为稳健。这项研究扩展了先前工作，从而提高了异议论证作为处理数据和知识不确定性的一种复杂方法的普适性。
non-monotonic reasoningdefeasible argumentationfuzzy reasoningexpert systemscomputational trust
发现论文，激发创造
  • 可驳斥的情态

    本研究运用 Kripke 模型和偏序理论构建了一族支持缺陷性模态表述的模态逻辑，同时提出的 Tableau 演算能够完备地反映此偏序语义。

    Oct, 2013

  • 将可废除逻辑嵌入到逻辑编程中

    本研究建立了否决逻辑与主流非单调推理方法之间的紧密联系，证明了如果存在决定性状态，则否决逻辑理论的否决推论与自反程序的怀疑性结论完全对应。

    Nov, 2005

  • 非单调推理、偏好模型和累积逻辑

    本文研究了非单调推理的一般模式，并试图通过参考积极属性来绘制非单调推理领域的地图，其中集中关注一些非单调推理的后果关系，并定义和表征了五个这样的后果关系家族。

    Feb, 2002

  • 为可磨折推理生成推论图提示

    本研究通过从另一个 NLP 任务中的迁移学习自动生成支持推理图谱的论证，从而改进了违背推理的人工准确性，为机器推理帮助人类推理的新应用领域开辟了有趣的新途径。

    May, 2021

  • 连续推理：利用连续学习在神经符号 AI 中进行非单调推理

    本文介绍一种称为连续推理的新方法，该方法将神经符号系统与知识和数据的循环学习相结合，以应对非单调推理任务，并在结果上显示了显著的改进。

    May, 2023

  • 自动化法律中的可退后推理

    研究纠纷推理在基于规则的系统中的应用，提供了两种推理方法并将规则转换为公式。

    May, 2022

  • 关于交互性解释的非单调推理

    本文提出了关于解释对象的一种形式模型，用于分析用户与系统之间的交互情景，通过输入，输出和解释的顺序。作者论证了解释可以被认为是承诺某种行为模式的对象，并认为其应被视为非单调性。这样做可以通过确定性关系解决一些解释中考虑到的不一致性，也可以考虑非单调推理文献中的属性并讨论其可取性，从而更深入地了解交互式解释场景。

    Jul, 2022

  • 缺陷逻辑的表示结果

    本研究考察了非单调推理 Defeasible Logic 的转化和正则形式，旨在为其深入理解和高效实现提供理论工具。

    Mar, 2000

  • 知识图谱中的可推翻推理

    人类知识存在不确定性、不精确性、不完整性和不一致性，这对语义网络构成了巨大的挑战。本文介绍了关于与不完美知识有关的直观符号和模型的研究，并将其与关于论证理论的先前工作联系起来。进一步的工作需要从 AIF 本体中汲取灵感，用直观的语法描述推理策略和战术。文章最后对于大语言模型时代的符号性方法进行了观察。

    Sep, 2023

  • 抽象论证中的对立假设和半事实解释：形式基础、复杂性与计算

    该论文探讨了可解释人工智能和形式论证在抽象论证框架中的反事实和半事实推理，研究了其计算复杂性，并提供了通过 ASP 求解器的计算策略。

    May, 2024