BriefGPT.xyz
大模型
Ask
alpha
关键词
decidable fragments
搜索结果 - 2
描述逻辑进入二阶:使用全量量化概念扩展 EL
该论文涉及描述逻辑的特性,首次引入普遍量化的概念,提出两种扩展的语义模型,包括模态逻辑中的公理原型和二阶逻辑中的量词的替代。研究表明,在某些扩展的语义中,所得出的结论与经典的描述逻辑相符,并证明了某种程度上用于这种扩展的算法的多项式可判定性
→
PDF
a year ago
Vadalog 系统:基于 Datalog 的知识图谱推理
本文介绍了 Vadalog 系统,这是使用 Datalog 进行复杂逻辑推论任务的系统,采用侵略性终止控制策略实现了 Warded Datalog+/-,并提供了全面的实验评估。
PDF
6 years ago
Prev
Next