Jun, 2022

如何达成不同观点的一致：利用立场逻辑来管理本体论的视角

PDF
TL;DR本文介绍提出的 Standpoint 逻辑，它是基于现有知识库语言的多模逻辑 “附加组件”，可用于表示相对不同、可能相冲突的立场的领域知识，并为具有不同表达能力的可判定一阶逻辑和描述逻辑提供决策算法，可扩展由立场建模。
standpoint logicknowledge perspectivesontology managementconflicting standpointsowl 2 dl
发现论文，激发创造
  • Standpoint-OWL 2 的自动推理支持

    提出了一种利用各种不同（可能相互矛盾）视角中的知识进行建模和推理的工具，通过对基本逻辑进行增强来提供理论基础，并通过将立场增强版本的描述逻辑 SROIQ 转换为其普通（即古典）版本，在现有的推理器中应用，为多样立场的推理提供自动支持。

    Apr, 2023

  • 可处理的多样性：通过 Standpoint EL 实现可扩展的多角度本体管理

    介绍了一种名为 Standpoint EL 的多模态扩展版本，它允许相对于不同且可能相冲突的观点（或上下文）集成表示领域知识，具有轻量级描述逻辑的可解性，同时引入一些额外的功能使得标准的推理任务变得不可行。

    Feb, 2023

  • 观点线性时间逻辑

    本文提出了一种名为 SLTL 的新逻辑，它将 LTL 的时间特性与 SL 的多角度建模能力相结合，旨在解决多角度情境下的实践推理问题。

    Apr, 2023

  • 通过嵌套序列推理的角度逻辑自动化推理

    该论文介绍一种名为 Standpoint logic 的多透视角逻辑推理方法，并提出了一种基于嵌套序列演算的证明系统，利用多重颜色技术实现最坏情况复杂性最优的证明搜索算法。

    May, 2022

  • 拓展可处理的多视角推理边界：一种适用于观点 EL+ 的演绎演算法

    本文中，我们引入了一种称为 Standpoint EL + 的扩展逻辑，它允许公理否定、角色链公理、自我循环等特性，并且通过设计一个满足可实际算法需求的可满足性检查演绎规则，同时保持了可处理性。我们通过展示该演绎规则的一个原型 Datalog 实现来证明实现的可行性。

    Apr, 2023

  • 面向 DL-Ontology 的基于论证的法律推理方法

    本研究探讨了如何在法律智能领域中，使用结构化论证框架和 DL 本体论实现推理，并提供了对推理结果解释的正式定义。同时，以自动驾驶汽车设计为例，证明了该理论可以处理基于不一致本体的推理问题。

    Sep, 2022

  • 本体概念的计量和聚合

    该论文描述了一种扩展一阶逻辑的方法，使方案更加容易修改，并引入了一个保护机制来保证公式的正确性，同时将该方案应用于四个不同问题领域的知识表示中。

    Feb, 2022

  • 逻辑语义与常识知识：我们错在哪里，如何继续前行

    本文认为逻辑语义学未能区分本体概念和逻辑概念等两种基本不同的概念类型，指出需要将词汇语义学和组合语义学融合为一个一致的框架，并嵌入一个强类型的本体论中以反映我们的世界常识认知，从而解决自然语言语义学中的一些挑战。

    Aug, 2018

  • SemEval-2023 任务 11 的 iLab：建模分歧还是建模不同观点？

    使用现有多任务模型评估并结合模型仿真方法与个体标注者观点来预测个体标注者的不一致性，得出具体少数观点的模型更适用于模型预测。

    May, 2023

  • 三十年的认知规范

    该研究论文介绍了认知逻辑程序的语言和形式语义，并探讨了该领域的当前状态和未来研究的挑战。

    Aug, 2021