Apr, 2023

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

PDF
TL;DR本文中，我们引入了一种称为 Standpoint EL + 的扩展逻辑，它允许公理否定、角色链公理、自我循环等特性，并且通过设计一个满足可实际算法需求的可满足性检查演绎规则，同时保持了可处理性。我们通过展示该演绎规则的一个原型 Datalog 实现来证明实现的可行性。
standpoint eldescription logicsatisfiability problemexpressivitysatisfiability-checking deduction calculus
发现论文，激发创造
  • 可处理的多样性：通过 Standpoint EL 实现可扩展的多角度本体管理

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

    Feb, 2023

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

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

    May, 2022

  • 观点线性时间逻辑

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

    Apr, 2023

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

    本文介绍提出的 Standpoint 逻辑，它是基于现有知识库语言的多模逻辑 “附加组件”，可用于表示相对不同、可能相冲突的立场的领域知识，并为具有不同表达能力的可判定一阶逻辑和描述逻辑提供决策算法，可扩展由立场建模。

    Jun, 2022

  • Standpoint-OWL 2 的自动推理支持

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

    Apr, 2023

  • 深度有限的认知逻辑

    DBEL 是 S5 的扩展，用来模拟深度有限的代理人进行关于知识公式的推理，同时添加了深度原子 Ead 和 Pad，扩展了公开声明逻辑的公理，解决了遗忘和知识泄漏等问题，并用这些逻辑来解决经典的泥泞孩子问题。

    Jul, 2023

  • 三十年的认知规范

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

    Aug, 2021

  • 多智体信仰的 PAC 语义学习性

    此文介绍了使用多智能体认知逻辑演示 PAC 学习的技术基础，涉及逻辑和弱推理，以提供强大的模型理论框架来回答查询，并研究了该算法的正确性、样本复杂性以及其能够高效的情况，利用表述定理将模态推理纳入命题推理中。

    Jun, 2023

  • 用于非常表达性描述逻辑的实用推理

    本文介绍了一种算法，能够在考虑一般性概念包含公理和角色层级的情况下，决定具有传递和逆角色以及功能约束的 DL ALC 的可满足性，同时研究了这类 DL 的可决定性的限制，并描述了一系列优化技术，这些技术对于获得具有实际问题良好性能的决策过程实现至关重要。

    May, 2000

  • 关于动态认知逻辑的复杂性

    本研究使用合法及完整的插入表技术，证明 DEL 语言中事件模型的模型检查问题是 PSPACE 完全的，并证明了满足性问题是 NEXPTIME-complete 的。

    Oct, 2013