库尔特·科诺里奇 论缺省逻辑与自认知逻辑的关系。 （英语） Zbl 0647.68088号 Artif公司。智力。 35，第3期，343-382（1988）. 默认推理是在知识库本身的理论中用索引（模态）操作符L定义的（“是理论的一部分”）。给出了默认逻辑的解释性可能世界语义。这是一种表明，就表达能力而言，默认理论可以嵌入到自认知逻辑中，反向翻译也是可能的。审核人：E.梅利斯 引用于2评论引用于74文件 MSC公司： 68T99型 人工智能 03B60号 其他非经典逻辑 关键词：默认逻辑;形式等价;默认推理;自认知逻辑 PDF格式BibTeX公司 XML格式引用 \textit{K.Konolige}，Artif（阿蒂夫）。智力。35，第3号，343--382（1988；Zbl 0647.68088） 全文： 内政部 参考文献： [1] Boolos，G.（The Unprovability of Consistency（1979），剑桥大学出版社：剑桥大学出版社，英国剑桥）·Zbl 0409.03009号 [2] Chellas，B.F.，（模态逻辑：导论（1980），剑桥大学出版社：剑桥大学出版社，英国剑桥）·Zbl 0431.03009号 [3] Etherington，D.W.，《不完全信息的推理：非单调推理的研究》（博士论文（1986），不列颠哥伦比亚大学：不列颠斯哥伦比亚大学温哥华分校） [4] Halpern，J.Y。；Moses，Y.O.，《知识和信仰的模态逻辑指南》（Proceedings IJCAI-85）。IJCAI-85会议记录，加利福尼亚州洛杉矶（1985）），50-61 [5] 辛提卡（J.Hintikka），《维护不可能的世界》（J.Philos）。逻辑，4475-484（1975）·Zbl 0334.02003号 [6] Imielinski，T.，《将默认值转换为限定值的结果》，《人工智能》，第32、1、131-146页（1987年）·Zbl 0667.03014号 [7] Levesque，H.J.，《不完整知识库的正式处理》（《技术报告》614（1982），飞兆人工智能实验室：飞兆人工智慧实验室，加利福尼亚州帕洛阿尔托） [8] Łukaszewicz，W.，《默认逻辑的两个结果》（Proceedings IJCAI-85）。IJCAI-85会议记录，加利福尼亚州洛杉矶（1985），459-461 [9] Marek，W.，自认知逻辑中的稳定理论（1986），肯塔基大学计算机科学系：肯塔基州列克星敦大学计算机科学部，未出版注释·Zbl 0673.03016号 [10] McCarthy，J.，《界限——非单调推理的一种形式》，《人工智能》，13，27-39（1980）·Zbl 0435.68073号 [11] Moore，R.C.，《自认知逻辑的可能世界语义》（Tech.Rept.337（1984），SRI人工智能中心：SRI人工智慧中心，加州门罗公园） [12] Moore，R.C.，《程序演绎系统中不完全知识的推理》（《技术报告》AI-TR-347（1975），麻省理工学院人工智能实验室：麻省理工大剑桥人工智能实验室） [13] Moore，R.C.，非单调逻辑的语义考虑，人工智能，25，75-94（1985）·Zbl 0569.68079号 [14] Reiter，R.，《默认推理的逻辑》，《人工智能》，第13期，第81-132页（1980年）·Zbl 0435.68069号 [15] 罗宾逊，J.A.，（《逻辑：形式与功能》（1979），爱思唯尔北-荷兰德：爱思唯尔北-霍兰德纽约）·Zbl 0428.03009号 [16] Stalnaker，R.C.，《非单调模态逻辑注释》（1980年），康奈尔大学哲学系：纽约州伊萨卡康奈尔学院哲学系 [17] Touretzky，D.S.（《继承系统的数学》（1986），Morgan Kaufmann：Morgan Kaufmann Los Altos，CA）·兹比尔0675.68006 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。