MMOct, 2014

有限及可枚举模型中概率逻辑的有效性和可满足性的可计算性

PDF
TL;DR本文研究的是 epsilonE-logic 中关于有限模型的可满足性和有效性问题，特别是对于有理的 epsilon，结果为 Sigma^0_1 和 Pi^0_1 完备性，而对于 epsilon=0，结果为可判定，但对于可数模型的 εE 逻辑的可计算性仍然存在研究点；此外，还讨论了在计算学习理论，加权图和神经网络中的应用。
epsilone-logicprobability measuressatisfiabilityvalidityfinite models
发现论文，激发创造
  • 实数上的 Delta 可判定性

    通过计算机函数和序列，本研究提出了一种可将有限次量化的公式转化为真或伪命题的算法，同时为实现数值法在实际应用中为非线性全序实数域决策程序提供了理论基础。

    Apr, 2012

  • 关于概率和因果推理的困难程度

    研究员从计算复杂性的角度出发，研究了能够完全表达数量化概率推理和因果效应的形式语言。研究集中于可表达许多概率和因果推断任务的可满足性问题，并建立了这些可满足性问题的确切计算复杂性。研究结果表明，一些在概率和因果推断中常用的标准语言的变体的算法限制更强。

    May, 2023

  • 一个基础信任函数逻辑

    本文研究不确定性理论中的可能性理论、信念函数和不精确概率与模态逻辑之间的二元性质，提出了一种基于最小认知逻辑和波兰式逻辑的简化信念函数逻辑，并且给出了使用 Shafer 基本概率分配的语义。

    Mar, 2023

  • 关于带不确定性有限轨迹的时间逻辑（技术报告）

    提出了一种新的基于超定理解的概率时态逻辑，用于处理现实动态系统中的不确定性，探讨了逻辑的特性并提供了基于自动机的推断机制。同时，研究了具有更好计算性质的逻辑片段，可以通过现有的声明性流程发现技术从事件日志数据中发现公式。

    Mar, 2019

  • 有限宽度反模理论的一阶查询可决定性

    提出了一个通用的查询决策框架，基于计数模型的结构简单性，可以确定各种逻辑蕴涵问题（简称查询）的可决性，其中 Blumensath 的分区宽度作为一个特别强大的宽度度量提出，重点介绍存在规则的形式化，其中分区宽度的规则子域覆盖范式为一周围侧子域。

    Apr, 2023

  • 描述逻辑进入二阶：使用全量量化概念扩展 EL

    该论文涉及描述逻辑的特性，首次引入普遍量化的概念，提出两种扩展的语义模型，包括模态逻辑中的公理原型和二阶逻辑中的量词的替代。研究表明，在某些扩展的语义中，所得出的结论与经典的描述逻辑相符，并证明了某种程度上用于这种扩展的算法的多项式可判定性。

    Aug, 2023

  • 哥德尔 - 邓梅特线性时间逻辑

    该研究探讨了一个版本的线性时态逻辑，其命题片段是 Godel-Dummett 逻辑，并使用了两种自然语义学，一种是真值语义学，另一种是双关系语义学，证明了这些语义定义了相同的逻辑，并提出了决定语句有效性的算法以及一个用于 Godel 临时逻辑的演绎演算法，从而证明了所有的有效语句都能够用这个演算法证明。

    Jun, 2023

  • 基于度量的解析结构抽象逻辑系统的 Lindstrom 可刻画性

    该论文主要探讨了一些逻辑系统及其特性，包括一种基于度量（解析结构）的谓词逻辑系统，其定义了一种新型满足性，是描述具有勒贝格积分和满足紧致性，基本链条件和弱否定的解析结构的逻辑系统中的极大系统。

    Feb, 2023

  • 具有传递性的一元否定片段的有限可满足性

    研究发现：在包含任意数量的传递关系的一元否定分段中，有限可满足性问题是可判定和 2-ExpTime 完全问题。此外，我们探讨了我们的基本逻辑的各种扩展的有限可满足性，特别是描述逻辑中已知的名称和角色层次概念的表达。

    Sep, 2018

  • 关于时间平衡逻辑的复杂性

    本文针对 Temporal Equilibrium Logic（TEL）提供了一种系统的复杂性分析方法，可以检查 TEL 公式的时间均衡模型的存在性，并通过分析不同的 TEL 公式子类的复杂性，确定了可处理和不可处理的片段。

    Feb, 2015