first-order logic | BriefGPT

关键词first-order logic

搜索结果 - 29

MM一阶逻辑隐式学习推理
本文通过利用语言中常量的对称性，将隐式可学习性推广，提出了一种在第一阶逻辑中进行强健学习的新理论方法。
PDF5 years ago
IJCAI一个有限置信一阶逻辑推理系统
本文提出了一种高度可表达的有限置信逻辑，可以进行可计算的推理，在一阶逻辑上保持可判定性，在命题逻辑上保持可操作性，并引入一种采用此逻辑作为表示语言的推理系统，该系统展示了有限置信的好处。
PDF7 years ago
一维均匀片段
论文探讨了一维统一片段（U1）的性质，以及 U1 与适应更高元关系的描述逻辑（DLR_reg）的关系，并定义了一个描述逻辑版本的 U1 变体，并证明了与 U1 和其他相关逻辑的表现力有关的一系列新结果。
PDF8 years ago
理解提升推理和非对称加权模型计数的复杂性
本文研究了解析式权重一阶模型计数问题的 Lifted Inference 问题，通过提供一些结论，针对解析式的约束进行了分析讨论，并探讨了在对称概率性数据库中采用 Lifted Inference 的局限性和复杂性。
PDF10 years ago
MMFO (C): 一个因果关系知识表示语言
本文提出了一种新的语言 C-Log，它在表示效果方面更具表现力，可以与一阶逻辑集成，相对于一些相关语言，如归纳定义、分离式逻辑编程、商业规则和 Datalog 的扩展，具有更多优势。
PDF10 years ago
MM一种逻辑编程方法用于整合网络推断
使用基于一阶逻辑的逻辑编程方法从网络挖掘原始数据中表示和重构集成网络，以实现对企业 IT 网络的不同抽象级别的可视性。
PDF11 years ago
无限域中的马尔科夫逻辑
本文将 Markov 逻辑推广到无限域，通过 Gibbs 测度来解决无限域的问题。
PDF12 years ago
概率定理证明
该论文提出了一种将概率论和第一阶逻辑相结合的方法，在有限域内具有 Herbrand 解释的情况下，定义了概率证明定理及其推广问题，然后提出了能够同时拥有图模型推理和一阶定理证明的完整能力的方法，并开发了一种高效算法。实验表明，当逻辑结构存在
PDF12 years ago
IJCAI描述逻辑 TBox: 模型论特征和重写能力
研究了描述逻辑 (DL) TBox 的表达能力，相对于一阶逻辑，基于诸如双仿、等仿、不交并和直积等语义概念，特征化了 AL、ALCQIO、DL-Lite 和 EL 等表达 DL TBoxes 的各种 DL。通过对于 DL TBox 可以被等
PDF13 years ago