John-Jules Ch.梅耶。;范德霍克，威比 人工智能和计算机科学的认识逻辑。 （英文） Zbl 0868.03001号 剑桥理论计算机科学丛书. 41. 剑桥：剑桥大学出版社。xiii，第354页（1995年）。 在过去的二十年里，逻辑和人工智能之间的关系变得非常紧密和重要，考虑到这两个领域相互独立，互利越来越多。具有强大哲学背景的“非常理论、纯粹逻辑”理论被应用于现实问题，但对现实问题和领域的建模也导致了许多“逻辑领域”的新发展。当然，对于这些跨学科关系来说，主要的问题是应用科学家如何提高其逻辑知识，或者如何以可用于解决应用问题的方式教授逻辑。尤其是在这里，本文做出了非常重要的贡献。即使有人怀疑文本的目标群体是否真的可以是本科生，这种表现也显示了作者的高教学和科学技能。不同的章节非常仔细地处理以下主题：\（\blacksquare\）认知逻辑导论，\（\blacksquare\）多主体认知逻辑的模态基础，包括克里普克\（\phantom｛\blacksquare｝\）语义，\（\blacksquare\）分布式系统和协议验证的应用，\（\blacksquare\）知识和信仰的各种概念（\（幻影{\blacksquare}\）分布式系统、群体中的隐性知识、逻辑全知、，\（幻影{\blacksquare}\）内隐和外显的信念、局部推理和不透明的知识等）。整个第三章改变了观点，并询问对于代理人的无知可以说什么。此外，本文所提供的材料非常丰富，弥补了与最近研究领域（哈尔佩恩和摩西的诚实理论、非单调推理和优先蕴涵、摩尔的自认知逻辑）的差距。第四章以认知逻辑为基础，展示了缺省推理和反事实推理。附录深化了对特殊问题的考虑：\（\blacksquare\）科诺里奇的信念演绎模型，\（\黑色方块\）知识结构，\（\blacksquare\）一阶认知逻辑。这本书的练习内容非常丰富，所有的练习都在另外100页上回答，这为理解和应用这些理论提供了很好的机会。作为一个重要的先决条件，这本书需要对经典命题和谓词演算有很好的理解，并需要高水平的正式培训。努力阅读这本书的人会发现一篇有趣的课文，并从中受益匪浅。审核人：Ch.Posthoff（圣奥古斯丁） 引用于1审查引用于124文件 MSC公司： 03-01 关于数学逻辑和基础的介绍性说明（教科书、教程论文等） 68T27型 人工智能中的逻辑 03B60号 其他非经典逻辑 68立方英尺 知识表示 03B80号 逻辑的其他应用 关键词：默认推理;克里普克语义学;认知逻辑;分布式系统;协议验证;知识;信仰;逻辑全知;非单调推理;优先牵连;自认知逻辑;反事实推理 PDF格式BibTeX公司 XML格式引用 \textit{J.-J.Ch.Meyer}和\textit{W.van der Hoek}，人工智能和计算机科学的认识逻辑。剑桥：剑桥大学出版社（1995；Zbl 0868.03001）