人类知识存在不确定性、不精确性、不完整性和不一致性,这对语义网络构成了巨大的挑战。本文介绍了关于与不完美知识有关的直观符号和模型的研究,并将其与关于论证理论的先前工作联系起来。进一步的工作需要从 AIF 本体中汲取灵感,用直观的语法描述推理策略和战术。文章最后对于大语言模型时代的符号性方法进行了观察。
Sep, 2023
本文针对知识表示方面的问题提出了一种解决方法,即选择多个统一框架内的推理逻辑,并通过逻辑元程序进行组合。在此框架下,作者支持了所有满足强否定原则的可废除逻辑。
Mar, 2000
本文基于正当例外的方法,对 DL-Lite_R 知识库进行了建模,并研究了其语义和计算特性,提出一种较简单的 ASP 编码来管理负信息,从而实现了对其带有例外公理的实例检查的完整推理过程。
Jun, 2021
本研究运用 Kripke 模型和偏序理论构建了一族支持缺陷性模态表述的模态逻辑,同时提出的 Tableau 演算能够完备地反映此偏序语义。
Oct, 2013
研究纠纷推理在基于规则的系统中的应用,提供了两种推理方法并将规则转换为公式。
May, 2022
本文介绍并探究了一个有关条件句的形式化方法,该方法可以定义一类广泛的推理系统。我们提出的语义适用于非满足与经典逻辑相关联的封闭性属性的条件句的结构性分析。
Feb, 2022
本研究通过从另一个 NLP 任务中的迁移学习自动生成支持推理图谱的论证,从而改进了违背推理的人工准确性,为机器推理帮助人类推理的新应用领域开辟了有趣的新途径。
May, 2021
研究了神经模型是否能从构思问题场景中受益,并且在三个不同的可废除推理数据集上,我们的系统 CURIOUS 实现了新的最先进技术,这表明通过引导系统 “考虑” 问题并明确地建模场景,而不是本能地回答问题,可以提高性能。
Oct, 2021
本研究建立了否决逻辑与主流非单调推理方法之间的紧密联系,证明了如果存在决定性状态,则否决逻辑理论的否决推论与自反程序的怀疑性结论完全对应。
Nov, 2005
本文研究了可撤销逻辑的模型论语义。该逻辑具有证明论,并且在所提供的语义条件下是准确和完整的。同时,本文还简要概述了这种方法如何扩展到各种可撤销逻辑。
Jul, 2002