Feb, 2013

惩罚逻辑及其与 Dempster-Shafer 理论的关联

PDF
TL;DR该研究介绍了 Penalty logic 及其相关的非单调推理关系，可以用于选择偏好的一致子集来处理不一致的知识库，并阐述了 Penalty logic 和 Dempster-Shafer 理论之间的联系。
penalty logicknowledge basenon-monotonic inferenceformulasdempster-shafer theory
发现论文，激发创造
  • 从指称中推断逻辑形式

    本文提出了一种方法，使用动态规划来表示一组一致的逻辑形式，在生成虚构世界并进行众包标注的基础上，对这些一致的逻辑形式进行过滤，从而提高了基于句子语义分析的问题回答覆盖率。

    Jun, 2016

  • 非单调推理、偏好模型和累积逻辑

    本文研究了非单调推理的一般模式，并试图通过参考积极属性来绘制非单调推理领域的地图，其中集中关注一些非单调推理的后果关系，并定义和表征了五个这样的后果关系家族。

    Feb, 2002

  • 条件知识库是什么？

    该论文提出了一种基于非单调后果关系概念的非单调推理逻辑方法，并研究了 “理性” 关系的更受限类别， 并定义和论述了条件知识库及其闭包操作，证明了其累积属性和可计算性。

    Feb, 2002

  • 将可废除逻辑嵌入到逻辑编程中

    本研究建立了否决逻辑与主流非单调推理方法之间的紧密联系，证明了如果存在决定性状态，则否决逻辑理论的否决推论与自反程序的怀疑性结论完全对应。

    Nov, 2005

  • 时间感知归纳逻辑推理

    本文研究了非知识图谱领域中的归纳逻辑推理问题，提出了基于超图的多起点随机 B-walk 方法和路径一致性算法相结合的后向链式归纳逻辑规则学习方法。

    Jun, 2022

  • 关于时间马尔可夫逻辑网络推理的参数化

    本研究旨在提高对不一致和不确定数据的推理能力，并着重探讨历史科学中常见的带时间间隔的知识图形数据。我们提出了关于新的时间马尔科夫逻辑网络（TMLN）的语义原理，旨在实现高效的最大后验推理，并扩展马尔科夫逻辑网络（MLN）以涵盖不确定的时间事实和规则，并研究了不同时间公式之间的全局和局部时间（不）一致性关系。然后，我们提出了新的时间参数语义，可以组合多个子函数，使用不同的评估策略。最后，我们介绍了语义必须遵守的限制，以满足我们的原则。

    Nov, 2022

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

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

    Jul, 2011

  • 优先非单调命题团队逻辑入门

    该论文探讨了命题团队语义中的 KLM 风格的偏好非单调推理，在非单调推理中，基于团队的命题逻辑自然地产生了累积性非单调蕴含关系。受团队语义中析取的非经典解释的启发，我们给出了满足所有 System P 公理的命题依赖逻辑的偏好模型的精确刻画。此外，我们展示了如何用非平凡的偏好模型表达经典蕴含和依赖逻辑蕴含。

    May, 2024

  • 一阶概率推理的对数线性模型

    该论文探讨了在概率约束逻辑编程中对数线性模型的研究，并将其应用到一阶概率推理中，介绍了基于标记和未标记的确定性子句确定证明概率的随机逻辑程序概率定义，通过归一化证明概率中原子公式本身的概率，扩展了相关理论，同时通过归纳逻辑编程从数据中归纳出对数线性模型的特征，最后用其他方法对其进行比较。

    Jan, 2013

  • 单调性正则化：改进的惩罚及其在去耦合表示学习和强鲁棒分类中的新应用

    通过使用梯度惩罚以及风险最小化，我们研究了满足不同单调性概念的预测器，介绍了一种方法来使用训练实例和随机点来扩展惩罚的范围，在不增加计算开销的同时，在图像分类和生成建模等领域实现了控制数据生成、检测异常数据和生成预测解释等的优势。

    May, 2022