Computational complexity and cognitive science : How the body and the world help the mind be efficient
Author
Editor
- 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.
Department/s
Publishing year
2014
Language
English
Pages
825-833
Publication/Series
Johan van Benthem on Logic and Information
Document type
Book chapter
Publisher
Springer
Topic
- General Language Studies and Linguistics
- Learning
Keywords
- 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
Project
- Thinking in Time: Cognition, Communication and Learning
Research group
- Lund University Cognitive Science (LUCS)
ISBN/ISSN/Other
- ISBN: 978-3-319-06025-5