图书浏览

审核人：朱莉娅·霍奇斯

本书的主题是在一群代理之间进行推理，而不是由单个代理单独进行推理。这本书首先对可能世界的语义进行了极好的讨论，包括能够很好地满足其目的的现实示例。接下来，作者提供了关于可能世界中知识属性的形式化证明和算法。然后，他们将讨论扩展到多代理系统，并包括动作和协议。作者举例说明，在多代理环境中，一个人需要“公共知识”。也就是说，为了有效地进行推理，我需要知道我知道的东西，我需要了解其他代理知道的东西。我需要知道其他代理知道我知道他们知道的东西等等。常识还包括代理人可能就分歧达成的协议。对常识不同方面的讨论通过简单的谜题（例如一群将军计划作战，其中一些将军忠心耿耿，一些将军叛徒）和形式定理证明进行了补充。除了公共知识外，作者还讨论了分布式知识。在讨论了公共知识之后，作者用一章介绍了基于知识的编程，包括标准程序和基于知识的程序之间的正式比较。他们扩展了对知识的定义，包括知识是如何随时间演变的。它们说明了如何为不一定知道自己知识的所有逻辑后果的代理构建抽象模型。最后，他们重新审视了常识的概念，介绍了对同时发生的事件的考虑，以及这如何影响常识。练习在每一章的末尾提供。此外，每个章节都包含了关于所用参考文献和可用附加参考文献的注释。这些章节的组织方式使使用这本书作为教科书的老师可以很容易地排除某些章节，而不会混淆学生。这本书不仅是任何对知识推理感兴趣的人的一本优秀的参考书，而且应该适合作为这一主题的研究生课程的教科书。