AAAIApr, 2021

比较概率推理的优先结构

PDF
TL;DR本文探讨了关于不确定性的定性和定量方法可能导致不同的逻辑系统，即使表达不确定性的语言相同。本文重点研究关于相对概率的推理问题，我们发现，在使用预序偏好结构的标准定性方法和使用概率测度的定量方法之间存在显著的逻辑系统差异。我们提出了一种自然的修改方法，使得相同的偏好结构可用于研究基于不准确概率的比较概率推理。
发现论文，激发创造
  • 非单调推理、偏好模型和累积逻辑

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

    Feb, 2002

  • 可信度量和默认推理

    本文介绍了基于可信度（plausibility measures）的新的不确定性建模方法，并将其应用于默认推理。在此框架下，我们给出了 KLM 公理的一些必要条件和充分条件。

    Aug, 1998

  • 因果层级上的概率推理

    本研究将 3 层因果关系层次结构分为概率逻辑语言模型，第一层表达定量概率推断，第二层编码用于因果效应的 do-calculus 推理，第三层捕捉任意反事实查询。相关的公理化表达完全考虑了因果模型和概率编程，并证明了每种语言的可满足性和有效性都可以在多项式空间内可判定。

    Jan, 2020

  • 多利益相关者定性偏好查询的表示与推理

    研究了多利益相关者的定性偏好问题，并提出了针对该问题的查询语言，研究了不同语义的交互关系，并提供了一个证明正确的算法用于回答多利益相关者的定性偏好查询，通过模型检验和交替自由的 μ 算法，实验证明了该方法的可行性。

    Jul, 2023

  • 实用推理为基础模型解开量词语义

    通过将 PRESQUE 与自然语言推理和合理言语行为框架相结合，我们探索了语言模型中的定量推理，实验结果表明，当预测量化器百分比范围时，采用合理推理的 PRESQUE 性能比字面推理基线提高了 20％，无需额外训练。

    Nov, 2023

  • 强度因素：一个量化模态逻辑的不确定性系统

    提出了一种新的基于概率论和证明论的处理量化模态逻辑 (一阶模态逻辑) 不确定性的系统，通过解决归纳处置的问题，使 Chisholm 的理论得到具体实现，可用于交互式系统，用于解释其不确定性提供合理解释。

    May, 2017

  • 使用比较和广义量词进行逻辑推理

    本研究提出了一种基于组合范畴语法的组成性语义，并与基于自动定理证明的推理系统相结合，成功将英语中各种比较结构映射到语义表示中，本研究在包含比较、量词和数字的三个自然语言推理数据集上的实验证明该系统的表现优于之前的逻辑系统和最新的深度学习模型。

    May, 2020

  • 概率定理证明

    该论文提出了一种将概率论和第一阶逻辑相结合的方法，在有限域内具有 Herbrand 解释的情况下，定义了概率证明定理及其推广问题，然后提出了能够同时拥有图模型推理和一阶定理证明的完整能力的方法，并开发了一种高效算法。实验表明，当逻辑结构存在时，该算法远优于目前已有的方法。

    Feb, 2012

  • 预测或比较：走向可解释的定性推理

    本研究通过将定性关系任务分类成预测和比较两种类型，并采用端到端训练的神经网络模块来模拟这两种推理过程，实验结果在两个问答数据集 QuaRTz 和 QuaRel 上展示了我们方法的有效性和泛化能力，并提供模块的中间输出来使推理过程更容易解释。

    Jun, 2021

  • 概率相似逻辑

    本论文介绍了一种通用的概率相似逻辑框架 (PSL)，可用于多关系数据中的相似性推理，它包括概率推理和关系结构的相似性，该框架能够整合任何现有的领域特定的相似性措施，并支持对实体集之间相似性的推理和学习。

    Mar, 2012