Computational complexity and cognitive science : How the body and the world help the mind be efficient
Författare
Redaktör
- A. Baltag
- S. Smets
Summary, in English
This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire information and change attitudes. Its contributions show many current logics of information and change at work, often in multi-agent settings where social behavior is essential, and often stressing Johan van Benthem's pioneering work in establishing this program. However, this is not a Festschrift, but a rich tapestry for a field with a wealth of strands of its own. The reader will see the state of the art in such topics as information update, belief change, preference, learning over time, and strategic interaction in games. Moreover, no tight boundary has been enforced, and some chapters add more general mathematical or philosophical foundations or links to current trends in computer science.
Avdelning/ar
Publiceringsår
2014
Språk
Engelska
Sidor
825-833
Publikation/Tidskrift/Serie
Johan van Benthem on Logic and Information
Dokumenttyp
Del av eller Kapitel i bok
Förlag
Springer
Ämne
- General Language Studies and Linguistics
- Learning
Nyckelord
- Action models
- Belief revision
- Bisimulation
- Dynamic Epistemic Logic
- Dynamic semantics
- Game semantics
- Language and cognition
- Logic and epistemology
- Logic and games
- Logical dynamics
- Natural Logic
- Substructural logics
Status
Published
Projekt
- Thinking in Time: Cognition, Communication and Learning
Forskningsgrupp
- Lund University Cognitive Science (LUCS)
ISBN/ISSN/Övrigt
- ISBN: 978-3-319-06025-5