MMJun, 2011

可能性析取规划的语义

PDF
TL;DR定义了一种适用于建模不确定、不完整和不一致信息的可能性析取逻辑编程方法，并介绍了可能性析取子句的使用，该子句能够同时捕捉知识库的不完全信息和不完全状态；同时基于经典答案集语义和可能性逻辑证明理论构建可能性逻辑编程语义，对于不一致可能性逻辑程序的管理，采用偏好标准和切割方法进行篡改，并以医学场景为例进行了说明。
possibilistic disjunctive logic programminguncertain information modelingincomplete information modelinginconsistent information modelingmedical scenario
发现论文，激发创造
  • 概率逻辑程序的语义和复杂度

    本文研究基于 Sato 分布语义的概率逻辑程序，分析了基于稳定和基于良基模型这两种语义，探讨了 credal 语义产生的概率模型集合是无限单调 Choquet 容量的结果产生的几个有用的结果，并研究了其推理和查询的复杂度。作者对此进行了详细说明，并对无环、分层、周期性的命题和关系程序，提出了推理和查询复杂度的结果，该复杂度达到各种计数层次和指数级别。

    Jan, 2017

  • 概率逻辑推理

    本研究采用分布语义模型为基础，提出了描述逻辑的概率语义，设计了 TRILL P 系统，实现了对具有概率知识库的查询的概率计算和推理学习算法。

    May, 2014

  • 分布语义下概率逻辑编程的明确定义和高效推理

    探讨了分布语义的适用范围和计算查询概率的有效性，提出了用于将概率程序转换为普通程序，并应用 SLG 分辨率和答案包含进行计算的算法 “基于表和答案包 计算的概率推理（PITA）” 来计算查询的概率。

    Oct, 2011

  • 排他性逻辑程序的基础语义比较和计算

    本文从不同角度探讨了非简洁逻辑规划的互补推理，通过稍微修改定义非简洁互补语义的一些方法，我们展示了一种直观的互补推理形式，并提供了一种自下而上的程序，从而阐明了不同方法之间的关系及其优缺点。

    Jan, 2003

  • 离散 - 连续领域中的声明性概率逻辑编程

    研究发现，虽然有已有的可扩展离散随机变量的分布语义和 PLP 语言及标准推理引擎，但是对于混合离散和连续随机变量的声明性语义还不够普及，因此本文提出了混合分布语义和混合 PLP 语言 DC-ProbLog 及其基于知识编译的推理引擎 infinitesimal algebraic likelihood weighting (IALW)，这是第一个基于知识编译的混合概率编程推理算法。

    Feb, 2023

  • 具有概率完整性约束的非基于地面的非完整推理逻辑编程

    本文讨论了使用带有变量的概率性假设建模的丰富逻辑语言进行概率性逆推的问题，提出了一种证明过程，该过程的有效性得到了证明。

    Aug, 2021

  • PITA 系统：带表和答案包含的不确定推理

    本文介绍了概率逻辑编程（PLP）及其相关技术（如 PRISM、Possibilistic Logic Programming 等），并展示了 PITA 系统如何能够高效支持 PLP、PRISM 和 PLP。

    Jul, 2011

  • （扩展）分离逻辑程序的论证特征

    该论文研究了论证理论，尤其是基于假设的论证和不同类型的逻辑程序之间的关系，并通过展示基于假设的论证不仅可以表示普通逻辑程序，而且可以表示否定逻辑程序及其扩展，扩展了 Caminada，Schultz 和 Toni 的已有研究结果。

    Jun, 2023

  • 概率逻辑编程的渐近分析及其在表示正射系列分布中的应用

    探讨了概率逻辑编程在统计关系人工智能中的具体应用及其在不同领域中的变化，解释了基于概率逻辑编程的统计关系表示随着变量域大小的复杂行为，揭示出抽象分布语义的必要性并给出了相应的具体证明。

    Feb, 2021

  • 有序析取的逻辑编程

    该研究介绍了基于排序析取的逻辑程序设计，结合了响应集编程的想法，它有助于设计和配置应用，并可作为定性决策的基础。

    Jul, 2002