BriefGPT.xyz
Ask
alpha
关键词
autoepistemic logic
搜索结果 - 2
将非基本逻辑程序嵌入自知逻辑中进行知识库组合
本文研究了将经典一阶逻辑理论和规则集表示的本体组合起来的多种方法,介绍了一种在自我知识逻辑下嵌入本体和非单调逻辑程序的一阶自我知识逻辑嵌入方法,并比较了嵌入方法的稳定扩展和自我知识后果。
PDF
16 years ago
默认逻辑和自知逻辑的统一语义处理
探讨了自我认知逻辑和默认逻辑之间连接的问题,为每种逻辑开发了一个基于信念对概念的全面语义框架,结果表明二者具有一种基本同构,并且通过建立默认值和自我认知逻辑之间的联系,进一步阐明默认逻辑实际上可以被视为自我认知逻辑的一个片段。
PDF
24 years ago
Prev
Next