×

非单调数据库和认知查询。 (英语) Zbl 0747.68086号

人工智能,IJCAI-91,Proc。第十二届国际会议,悉尼/澳大利亚,1991,381-386(1991)。
[有关整个系列,请参阅Zbl 0741.68016号.]
本文介绍了新版本的F.林Y.肖姆逻辑[定点非单调逻辑的认识语义学,关于知识推理的理论方面,第三次会议,111-120(1990)]。本文的主要技术思想是将F.Lin/Y.Shoham“最小知识”算子与H.列夫斯克雷特(R.Reiter)在他们的数据库查询评估理论中。作者介绍了由命题符号、标准连接词和两个模态运算符(K和not)构建的最小知识否定命题逻辑。MKNF语义与外定论和具有固定宇宙的默认逻辑的语义一样,是一阶理论模型的标准概念的推广,满足一定的不动点条件。使用MKNF逻辑,作者能够在非单调数据库(包括否定为失败的逻辑程序)的上下文中给出认知查询的含义。
包含(某些形式的)缺省逻辑和限定,MKNF逻辑也能在缺省理论或限定理论的背景下更好地回答认知查询。讨论了新方法中提出的问题。

MSC公司:

68立方英尺 知识表示
68T27型 人工智能中的逻辑
第68页,共15页 数据库理论
68N17号 逻辑编程
03B45号 模态逻辑(包括规范逻辑)
PDF格式BibTeX公司 XML格式引用