國立虎尾科技大學 |

Models of strategic reasoning = logics, games, and communities /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Models of strategic reasoning/ edited by Johan van Benthem, Sujata Ghosh, Rineke Verbrugge.
其他題名:	logics, games, and communities /
其他作者:	van Benthem, Johan.
出版者:	Berlin, Heidelberg :Springer Berlin Heidelberg : : 2015.,
面頁冊數:	xi, 333 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
標題:	Games of strategy (Mathematics) -
電子資源:	http://dx.doi.org/10.1007/978-3-662-48540-8
ISBN:	9783662485408

Models of strategic reasoning = logics, games, and communities /
Models of strategic reasoninglogics, games, and communities /[electronic resource] :edited by Johan van Benthem, Sujata Ghosh, Rineke Verbrugge. - Berlin, Heidelberg :Springer Berlin Heidelberg :2015. - xi, 333 p. :ill., digital ;24 cm. - Lecture notes in computer science,89720302-9743 ;. - Lecture notes in computer science ;6140..

Reasoning about games -- Dynamic models of rational deliberation in games -- Reasoning about strategies and rational play in dynamic games -- Finite reasoning procedures for dynamic games -- Formal frameworks for strategies -- Logics for reasoning about strategic abilities in multi-player games. Using STIT theory to talk about strategies -- Automata and compositional strategies in extensive form games -- Languages for imperfect information -- Strategies in social situations -- Strategies of persuasion, manipulation and propaganda: Psychological and social aspects -- Strategies in social software -- Future perspective -- Logic of strategies: What and how?

Strategic behavior is the key to social interaction, from the ever-evolving world of living beings to the modern theatre of designed computational agents. Strategies can make or break participants' aspirations, whether they are selling a house, playing the stock market, or working toward a treaty that limits global warming. This book aims at understanding the phenomenon of strategic behavior in its proper width and depth. A number of experts have combined forces in order to create a comparative view of the different frameworks for strategic reasoning in social interactions that have been developed in game theory, computer science, logic, linguistics, philosophy, and cognitive and social sciences. The chapters are organized in three topic-based sections, namely reasoning about games; formal frameworks for strategies; and strategies in social situations. The book concludes with a discussion on the future of logical studies of strategies.

ISBN: 9783662485408

Standard No.: 10.1007/978-3-662-48540-8doiSubjects--Topical Terms:

632909
Games of strategy (Mathematics)

LC Class. No.: QA270

Dewey Class. No.: 519.3

Models of strategic reasoning = logics, games, and communities /
LDR:02700nam a2200337 a 4500 001 839127
003 DE-He213
005 20160526085033.0
006 m d
007 cr nn 008maaau
008 160616s2015 gw s 0 eng d
020 $a 9783662485408 $q (electronic bk.)
020 $a 9783662485392 $q (paper)
024 7 $a 10.1007/978-3-662-48540-8 $2 doi
035 $a 978-3-662-48540-8
040 $a GP $c GP
041 0 $a eng
050 4 $a QA270
072 7 $a UYA $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a COM051010 $2 bisacsh
082 0 4 $a 519.3 $2 23
090 $a QA270 $b .M689 2015
245 0 0 $a Models of strategic reasoning $h [electronic resource] : $b logics, games, and communities / $c edited by Johan van Benthem, Sujata Ghosh, Rineke Verbrugge.
260 $a Berlin, Heidelberg : $c 2015. $b Springer Berlin Heidelberg : $b Imprint: Springer,
300 $a xi, 333 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 8972
505 0 $a Reasoning about games -- Dynamic models of rational deliberation in games -- Reasoning about strategies and rational play in dynamic games -- Finite reasoning procedures for dynamic games -- Formal frameworks for strategies -- Logics for reasoning about strategic abilities in multi-player games. Using STIT theory to talk about strategies -- Automata and compositional strategies in extensive form games -- Languages for imperfect information -- Strategies in social situations -- Strategies of persuasion, manipulation and propaganda: Psychological and social aspects -- Strategies in social software -- Future perspective -- Logic of strategies: What and how?
520 $a Strategic behavior is the key to social interaction, from the ever-evolving world of living beings to the modern theatre of designed computational agents. Strategies can make or break participants' aspirations, whether they are selling a house, playing the stock market, or working toward a treaty that limits global warming. This book aims at understanding the phenomenon of strategic behavior in its proper width and depth. A number of experts have combined forces in order to create a comparative view of the different frameworks for strategic reasoning in social interactions that have been developed in game theory, computer science, logic, linguistics, philosophy, and cognitive and social sciences. The chapters are organized in three topic-based sections, namely reasoning about games; formal frameworks for strategies; and strategies in social situations. The book concludes with a discussion on the future of logical studies of strategies.
650 0 $a Games of strategy (Mathematics) $3 632909
650 1 4 $a Computer Science. $3 593922
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Computer Communication Networks. $3 669310
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Information Systems Applications (incl. Internet) $3 815116
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 593923
700 1 $a van Benthem, Johan. $3 1070649
700 1 $a Ghosh, Sujata. $3 1070650
700 1 $a Verbrugge, Rineke. $3 891799
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
856 4 0 $u http://dx.doi.org/10.1007/978-3-662-48540-8
950 $a Computer Science (Springer-11645)