Logical dynamics of information and interaction

"This book develops a new view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and commu...

Szczegółowa specyfikacja

Zapisane w:
Opis bibliograficzny
1. autor: Benthem, J. F. A. K. van, 1949-
Korporacja: ebrary, Inc
Format: Elektroniczne E-book
Język:angielski
Wydane: Cambridge ; New York : Cambridge University Press, 2011.
Hasła przedmiotowe:
Dostęp online:An electronic book accessible through the World Wide Web; click to view
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
Opis
Streszczenie:"This book develops a new view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and communication, that can handle both update of knowledge and revision of beliefs. It then extends the dynamic style of analysis to include changing preferences and goals, temporal processes, group action and strategic interaction in games. Throughout, the book develops a mathematical theory unifying all these systems, and positioning them at the interface of logic, philosophy, computer science and game theory. A series of further chapters explores repercussions of the 'dynamic stance' for these areas, as well as cognitive science"--
Opis fizyczny:xi, 373 p.
Bibliografia:Includes bibliographical references and index.