Logic in Games (Hardcover)

This book draws on ideas from philosophical logic, computational logic, multi-agent systems, and game theory to offer a comprehensive account of logic and games viewed in two complementary ways. It examines the logic of games: the development of sophisticated modern dynamic logics that model information flow, communication, and interactive structures in games. It also examines logic as games: the idea that logical activities of reasoning and many related tasks can be viewed in the form of games. In doing so, the book takes up the "intelligent interaction" of agents engaging in competitive or cooperative activities and examines the patterns of strategic behavior that arise. It develops modern logical systems that can analyze information-driven changes in players' knowledge and beliefs, and introduces the "Theory of Play" that emerges from the combination of logic and game theory. This results in a new view of logic itself as an interactive rational activity based on reasoning, perception, and communication that has particular relevance for games. Logic in Games, based on a course taught by the author at Stanford University, the University of Amsterdam, and elsewhere, can be used in advanced seminars and as a resource for researchers.

這本書結合了哲學邏輯、計算邏輯、多智能體系統和博弈論的思想，提供了對邏輯和遊戲的全面解釋，並以兩種互補的方式來觀察。它探討了遊戲的邏輯：發展了模擬遊戲中信息流、溝通和互動結構的先進動態邏輯。它還將邏輯視為遊戲：即推理和許多相關任務可以以遊戲形式呈現的觀點。在這樣做的過程中，本書探討了參與競爭或合作活動的智能體之間的「智能互動」，並研究了出現的戰略行為模式。它發展了現代邏輯系統，可以分析玩家知識和信念中的信息驅動變化，並引入了從邏輯和博弈論結合而來的「遊戲理論」。這對於將邏輯本身視為基於推理、感知和溝通的互動理性活動提供了新的觀點，對於遊戲具有特殊的相關性。《遊戲中的邏輯》是作者在斯坦福大學、阿姆斯特丹大學和其他地方教授的一門課程，可用於高級研討會，並作為研究人員的資源。