Jun, 2009

带约束的归纳逻辑编程 CIFF 证明过程：理论、实现和实验

PDF
TL;DR本文介绍了 CIFF 证明过程，证明了它的正确性，它是 IF 证明过程的扩展，用于处理带有数量约束的突发逻辑编程问题，同时介绍了 CIFF 系统，与最先进的突发系统和答案集求解器进行比较，并展示了如何使用它来编程一些应用程序。
发现论文，激发创造
  • 具有概率完整性约束的非基于地面的非完整推理逻辑编程

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

    Aug, 2021

  • 概率约束逻辑编程

    本文基于概率约束编程模型，提出了一种基于对数线性概率模型的参数估计和查询概率约束编程模型中最可能的分析方法，并提供了适用于大数据空间的合适的近似方法。

    Nov, 1997

  • 受限伪命题逻辑的解析

    本研究展示了如何将命题演绎推广到受限伪命题逻辑（CPPL）中，这是将自然数与少量约束符号插入命题逻辑字母表并相应地调整底层语言所导致的扩展。虽然该限制被认为是不必要的，但本研究提供了一种建设性证明，证明了 CPPL 的广义演绎推理是正确而完整的。

    Jun, 2023

  • 提升式概率推理中的约束处理

    第一阶概率模型结合了一阶逻辑的表征能力和图形模型，有关设计第一阶概率模型的 lifted 推断算法的工作在继续进行中。从约束处理的角度分析 lifted 推断，并通过这个视点分析和比较现有方法的优缺点，理论证明了约束处理方法的错误选择可能会导致计算复杂度的指数增加。实证测试证实了 lifted 推断中约束处理的重要性。这是第一个关于 lifted 推断中约束处理的理论和实证研究。

    May, 2012

  • 混合概率逻辑编程：推理和学习

    本文研究了概率逻辑编程，扩展了支持离散和连续随机变量，并引入了新的采样算法和混合模型，解决了从带有缺失值和概率背景知识的关系数据中学习 PLP 的问题。

    Feb, 2023

  • 论证和逻辑编程中的诱导和对话证明

    本文研究抽象论证中的绑架模型，提出了基于对话证明理论的决策问题解决方案，并展示了如何基于绑定逻辑程序来实现该模型。

    Jul, 2014

  • 概率编程中逻辑推理的魔力

    本论文提出了一种基于分布句式的逻辑推理方法，并结合前向推理和重要性抽样技术，采用魔法集和后向推理技术来实现高效的概率推理。

    Jul, 2011

  • 基于冲突推导的归纳逻辑编程

    这篇论文介绍了基于冲突驱动的归纳逻辑编程方法， 主要使用 Answer Set Programs（ASP）进行学习， 以提高可扩展性，并提出了可以处理噪声数据集的 ILASP3 和 ILASP4 系统。

    Dec, 2020

  • 概率逻辑编程中的 “What if?

    本文扩展了 ProbLog 语言，增加了 “What if” 查询的功能，并提出了一种能够处理 ProbLog 程序的反事实查询的方法，同时提供了完整的实现以及对查询可扩展性的影响的洞见，并显示了该方法与具有析取注释的逻辑程序的因果语义一致。

    May, 2023

  • 使用归纳逻辑编程进行的程序合成与抽象推理语料库

    提出一种使用归纳逻辑编程的程序合成系统来解决抽象与推理语料库（ARC）的方法。通过定义一个与 ARC 相关的领域特定语言（DSL）和逻辑程序，该系统能够通过少量示例任务进行泛化和推理，从而解决需要不同推理方法的 ARC 中的任务。

    May, 2024