existential quantification | BriefGPT

关键词existential quantification

搜索结果 - 5

面向基于流式架构的约束型和保护型 Datalog$+-$ 的本体推理（技术报告）
利用 Datalog+/- 语言中的 Shy 和 Warded Datalog+/- 以及引入的新型推理技术 'chase variants'，在基于流式处理架构中实现了 Vadalog 引擎，从而在真实环境中高效解决本体推理任务。
PDF7 months ago
关于 Shy 和 Warded Datalog+/- 之间的关系
本文研究基于知识图形应用的 Datalog^E 语言，介绍其语法和递归，讨论其存在量词带来的问题，探讨 Shy 和 Warded Datalog+/- 等两种具有可行性的语言，并对实验结果进行了分析。
PDF2 years ago
量化布尔逻辑中的文字及其在可解释 AI 中的应用
本文详细研究了量化可布尔逻辑以及其存在量化和全称量化变量的相关应用，特别是在可解释人工智能方面的应用，提出了一种新的量化语义，并探讨了变量 / 文字与存在性 / 普遍性量化之间的相互作用。此外，我们还确定了一些布尔公式和电路类别，其中量化可
PDF3 years ago
Vadalog 系统：基于 Datalog 的知识图谱推理
本文介绍了 Vadalog 系统，这是使用 Datalog 进行复杂逻辑推论任务的系统，采用侵略性终止控制策略实现了 Warded Datalog+/-，并提供了全面的实验评估。
PDF6 years ago
AAAI使用 FODD 和 GFODD 进行推理的复杂性
本文研究可决策的关系领域中采用广义一阶决策图（GFODD）的启发式推理算法，在假设预期模型的大小为已知时，证明 GFODD 的计算问题可在多项式函数层次内解决。
PDF10 years ago