Nov, 2008

将非基本逻辑程序嵌入自知逻辑中进行知识库组合

PDF
TL;DR本文研究了将经典一阶逻辑理论和规则集表示的本体组合起来的多种方法，介绍了一种在自我知识逻辑下嵌入本体和非单调逻辑程序的一阶自我知识逻辑嵌入方法，并比较了嵌入方法的稳定扩展和自我知识后果。
semantic webontologiesautoepistemic logicnon-monotonic logicknowledge combination
发现论文，激发创造
  • 默认逻辑和自知逻辑的统一语义处理

    探讨了自我认知逻辑和默认逻辑之间连接的问题，为每种逻辑开发了一个基于信念对概念的全面语义框架，结果表明二者具有一种基本同构，并且通过建立默认值和自我认知逻辑之间的联系，进一步阐明默认逻辑实际上可以被视为自我认知逻辑的一个片段。

    Feb, 2000

  • 一种轻量级非经典推理的可扩展逻辑嵌入工具

    该研究提供了一个逻辑嵌入工具，可将非经典推理问题编码为经典高阶逻辑，支持多种不同的非经典逻辑和定理证明器，使得对于某些情况下缺少证明器来说，很多问题都能够得到自动化解决。

    Mar, 2022

  • 构建可逆的语义保留逻辑公式嵌入

    该研究工作探讨了如何使用基于图变分自编码器 (Graph Variational Autoencoder) 的深度架构来训练学习逻辑嵌入，以实现对逻辑嵌入的反向推理，即将嵌入空间中的逻辑公式反向映射回语法空间，进而提高机器学习中学习逻辑规则和性质的能力。

    May, 2023

  • 使用自编码逻辑程序学习关系表示

    本研究提出了一种新颖的用于关系表示学习的框架，该框架结合了传统的一阶逻辑和自动编码原理，使用逻辑程序而非神经网络进行原始表示和潜在表示之间的映射，将学习视为约束优化问题，得到的潜在表示在关系学习任务中表现优异，相较于深度学习方法，该框架更为准确、可解释性更强、更具灵活性。

    Mar, 2019

  • 运用自感平衡逻辑架构创建世界观

    本文将标准逻辑规划中无基础概念推广到认知规划中，定义了何时认知规划中的一个世界观是有基础的，提出了一种结合了 Moore's Autoepistemic Logic 和 Pearce's Equilibrium Logic 的新的计算语义。

    Feb, 2019

  • 认知逻辑程序：一些性质研究

    通过引入新的定义和语义属性，我们分析了在 Epistemic Logic Programs 中从自底向上到自顶向下的分割方法，并证明了它与自底向上方法的等价性。

    Sep, 2023

  • 无监督图像为基础的可规划一阶逻辑表示

    提出了一种无监督的体系结构来命名一阶逻辑谓词和事实，以便将图像输入编码为符号计划兼容的命题表示，通过试验表明，所得到的谓词捕捉到可解释的关系，有助于获取环境的抽象模型，并且与符号计划兼容。

    Feb, 2019

  • CatE：利用范畴论语义嵌入 $\mathcal {ALC}$ 本体

    本文提出了一种基于范畴论语义学的机器学习方法，使用 CatE 投影生成本体公理图表示，并应用于多种任务，展示了其超越了其他本体嵌入方法的局限性，并在生物医学领域的机器学习任务中优于现有的模型论本体嵌入方法。

    May, 2023

  • 逻辑规则支持的知识图谱嵌入

    该论文提出了一种新的逻辑规则增强的知识图谱嵌入方法，可以与任何基于转换的知识图谱嵌入模型（如 TransE）轻松集成。经过广泛的实验，在链接预测和三元组分类上显示出更好的性能提升。

    Mar, 2019

  • EL++ 知识库的忠实嵌入

    介绍了一种名为 BoxEL 的几何知识库嵌入方法，可以更好地捕捉知识库中的逻辑结构，并在合理的子 sumer 推理和蛋白质预测中表现出比传统知识图谱嵌入方法以及最先进的 EL ++ 嵌入方法更好的性能。

    Jan, 2022