東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Models of strategic reasoning = logi...

van Benthem, Johan.

Linked to FindBook

Google Book

Amazon

博客來

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

Record Type:	Electronic resources : Monograph/item
Title/Author:	Models of strategic reasoning/ edited 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.
[NT 15003449]:	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?
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 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 ;5353..

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:

713026
Games of strategy (Mathematics)

LC Class. No.: QA270

Dewey Class. No.: 519.3

Models of strategic reasoning = logics, games, and communities /
LDR:02700nmm a2200337 a 4500 001 2016628
003 DE-He213
005 20160526085033.0
006 m d
007 cr nn 008maaau
008 160613s2015 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 713026
650 1 4 $a Computer Science. $3 626642
650 2 4 $a Mathematical Logic and Formal Languages. $3 892517
650 2 4 $a Logics and Meanings of Programs. $3 892495
650 2 4 $a Computer Communication Networks. $3 775497
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Information Systems Applications (incl. Internet) $3 1565452
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 891007
700 1 $a van Benthem, Johan. $3 2165773
700 1 $a Ghosh, Sujata. $3 2165774
700 1 $a Verbrugge, Rineke. $3 1569609
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 5353. $x 0302-9743 $3 1274248
856 4 0 $u http://dx.doi.org/10.1007/978-3-662-48540-8
950 $a Computer Science (Springer-11645)