國立高雄大學圖資館 |

Back

Models of strategic reasoninglogics,...

Ghosh, Sujata.

Models of strategic reasoninglogics, games, and communities /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Models of strategic reasoningedited by Johan van Benthem, Sujata Ghosh, Rineke Verbrugge.
Reminder of title:	logics, games, and communities /
other author:	van Benthem, Johan.
Published:	Berlin, Heidelberg :Springer Berlin Heidelberg :2015.
Description:	xi, 333 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Games of strategy (Mathematics)
Online resource:	http://dx.doi.org/10.1007/978-3-662-48540-8
ISBN:	9783662485408$q(electronic bk.)

Models of strategic reasoninglogics, 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 ;4891..

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$q(electronic bk.)

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

239994
Games of strategy (Mathematics)

LC Class. No.: QA270

Dewey Class. No.: 519.3

Models of strategic reasoninglogics, games, and communities /
LDR:02700nmm a2200337 a 4500 001 477841
003 DE-He213
005 20160526085033.0
006 m d
007 cr nn 008maaau
008 160614s2015 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 : $b Springer Berlin Heidelberg : $b Imprint: Springer, $c 2015.
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 239994
650 1 4 $a Computer Science. $3 212513
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
650 2 4 $a Logics and Meanings of Programs. $3 275357
650 2 4 $a Computer Communication Networks. $3 218087
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a Information Systems Applications (incl. Internet) $3 530743
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 273702
700 1 $a van Benthem, Johan. $3 732859
700 1 $a Ghosh, Sujata. $3 732860
700 1 $a Verbrugge, Rineke. $3 561537
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u http://dx.doi.org/10.1007/978-3-662-48540-8
950 $a Computer Science (Springer-11645)