×

认知逻辑手册。 (英语) Zbl 1392.03009号

伦敦:学院出版物(ISBN 978-1-84890-158-2/pbk)。xvii,第655页。(2015).
出版商的描述:认识逻辑,以及更广泛地说,知识和信仰的逻辑,起源于20世纪60年代初的贾科·辛提卡(Jaakko Hintikka)和大卫·刘易斯(David Lewis)等哲学家。从那时起,这种逻辑不仅在哲学中发挥了重要作用,而且在计算机科学、人工智能和经济学中也发挥了重要的作用。本手册报告了该领域取得的重大进展,该领域虽然更加成熟,但仍然非常活跃。这本书应该让新的研究人员更容易进入这个领域,并给专家们一个机会来欣赏相关领域的工作。
这本书首先温和地介绍了知识和信仰的逻辑;它概述了书中涉及的领域和材料。
下面的十一章,每一章都是由一位领先的研究人员编写的,涵盖了只有知道、意识、知识和概率、知识和时间、知识和信念的动力学、模型检验、博弈论、代理、知识和能力以及安全协议等主题。这些章节已经写好了,可以按照任何顺序独立阅读。每章最后都有一节注释,其中提供了一些历史背景,包括参考文献和详细的参考书目。

MSC公司:

03-06 与数理逻辑和基础有关的会议记录、会议、收藏等
03B42号 知识和信念的逻辑(包括信念变化)
03B70号 计算机科学中的逻辑
68T27型 人工智能中的逻辑
PDF格式BibTeX公司 XML格式引用