MMFeb, 2022

基于有限多值语义的加权条件知识库神经网络推理 ASP 方法

PDF
TL;DR本篇论文研究了具有典型性的加权条件 ALC 知识库的三种不同语义构建，在逻辑语义学中，基于 “概念分层” 多重优先语义。利用 ASP 和 “asprin” 进行推理，以 phi-coherent 语义为基础，适用于表征 MLPs 的静止状态。作为概念验证，我们尝试检查训练的 MLPs 的性质。
weighted knowledge basesdescription logicstypicalitymultilayer perceptronssemantic constructions
发现论文，激发创造
  • 一种基于多值权重知识库的可退化推理复杂度与可扩展性研究

    本篇论文研究了多层感知器的逻辑解释，以及在描述逻辑和多偏好语义下加权知识库的防御性推理问题，并提出了新的 ASP 编码和关键字搜索解决方案。

    Mar, 2023

  • 概念感知多偏好轻量级 DL 的 ASP 推理方法

    本文利用 Answer Set Programming (in particular, asprin) 开发了一个概念感知的多偏好语义，以处理典型性描述逻辑，其中偏好与概念相关，并从包含有缺陷的概念推理的排名 TBoxes 集合开始。利用多偏好方法实现 E L+ bot 下的有缺陷推理。

    Jun, 2020

  • 在具有典型性条件逻辑中对多层感知器的优先解释

    研究了知识表示缺陷推理的多重优先语义与多层神经网络模型之间的关系，通过多重优先语义对多层感知器进行了偏好解释，并利用模型检查和蕴含性方法验证了条件属性。

    Apr, 2023

  • 利用可能性理论对答案集语义进行特征化和扩展

    本文介绍了新的 Possibilistic ASP (PASP) 模型语义，其中规则被解释为对可能性分布的约束，并且在这些约束的特殊模型中识别为可能主义答案集。此外，我们还发现一种新形式的析取，称为弱析取，其计算复杂性比传统析取容易。

    Nov, 2013

  • 基于代数度量的答案集编程对多关系文本层次结构推理

    本文介绍 Contextualized Knowledge Repository（CKR）框架的扩展，能够支持多种情境关联，并使用了新的推理方式 ——ASP with algebraic measures。新的扩展框架比以往更加强大，例如可以进行关于 CKRs 的认知查询的推理，并为其他应用程序的量化 ASP 扩展开辟了有趣的前景。

    Aug, 2021

  • 基于 Answer Set Programming 的定性理论编码和推理的一般方法

    这篇论文提出了使用 ASP 作为一个统一的形式化语言来解决需要定性推理和非定性推理的问题，提出了一族可以处理任何二进制关系资料的 ASP 编码，并且在真实数据集的实验中进行了评估。

    Aug, 2020

  • ASPIC + 和 DeLP 的若干核心概念的比较研究

    本文正式比较了两种基于规则的论证形式，DeLP 和 ASPIC + 的一些中心概念，特别关注直观的充分性和可相互转换性、一致性和闭合性质。与攻击和论据的定义不同，DeLP 的定义更具吸引力，但可能不完全符合严格闭合和间接一致性的理性假设。 针对一些特殊情况，DeLP 的定义被证明比 ASPIC + 更好。最后证明了如果将 DeLP 确认程序更改为基于 grounded 语义，那么 DeLP 的 warrant 概念和 ASPIC + 的 justification 的概念是相等的，并为三种攻击定义的情况证明了这一结果。

    Sep, 2019

  • ASP 中的多智体认知规划建模

    本文介绍了一种基于声明式编程技术的多智能体认知情境下的推理问题的解决方案，即 PLATO（基于 ePistemic 多智能体 Answer Program 解决方案），利用自定义认知状态表征和 ASP 求解器的效率，在从文献中收集的基准测试中取得了有竞争力的性能结果，并为其正确性开发了形式验证。

    Aug, 2020

  • 更加表意与抽象的逻辑程序的配置

    本篇论文重点针对模型导向人工智能的方法及其应用中 SAT 和 ASP 这两个系统的输入形式进行分析，特别是通过将输入形式重新制定和配置，优化推理过程。经过广泛领域内数据的实验证明，使用这种方法可以获得不同的优势。

    Mar, 2022

  • 涉及条件聚合的约束的 ASP 语义

    该研究论文扩展了 Answer Set Programming 的基础框架，引入了条件表达式概念和聚合函数，重点研究了具有线性约束的逻辑程序，并实现了在混合 ASP 求解器上的条件聚合。

    Feb, 2020