弗拉基米尔·利夫希茨 非单调数据库和认知查询。 (英语) 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逻辑也能在缺省理论或限定理论的背景下更好地回答认知查询。讨论了新方法中提出的问题。审核人:N.Curteanu(伊阿什) 引用于23文件 MSC公司: 68立方英尺 知识表示 68T27型 人工智能中的逻辑 第68页,共15页 数据库理论 68N17号 逻辑编程 03B45号 模态逻辑(包括规范逻辑) 关键词:认知查询;非单调数据库;违约理论;局限理论 引文:Zbl 0741.68016号 PDF格式BibTeX公司 XML格式引用 \textit{V.Lifschitz},in:IJCAI 91,第十二届国际人工智能会议论文集。1991年8月24日至30日,澳大利亚悉尼。第1-2卷。加利福尼亚州圣马特奥:Morgan Kaufmann Publ。。381-386(1991年;兹bl 074768086)