Computational complexity and cognitive science : How the body and the world help the mind be efficient

• 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.

Subject headings

HUMANIORA  -- Språk och litteratur -- Jämförande språkvetenskap och allmän lingvistik (hsv//swe)

HUMANITIES  -- Languages and Literature -- General Language Studies and Linguistics (hsv//eng)

SAMHÄLLSVETENSKAP  -- Utbildningsvetenskap -- Lärande (hsv//swe)

SOCIAL SCIENCES  -- Educational Sciences -- Learning (hsv//eng)

Keyword

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

Publication and Content Type

kap (subject category)

ref (subject category)