Sökning: id:"swepub:oai:lup.lub.lu.se:c19edd61-04f1-47cc-9630-34a621f5fd26" >
Computational compl...
Computational complexity and cognitive science : How the body and the world help the mind be efficient
-
- Gärdenfors, Peter (författare)
- Lund University,Lunds universitet,Kognitionsvetenskap,Filosofiska institutionen,Institutioner,Humanistiska och teologiska fakulteterna,Cognitive Science,Department of Philosophy,Departments,Joint Faculties of Humanities and Theology
-
Baltag, A. (redaktör/utgivare)
-
Smets, S. (redaktör/utgivare)
-
(creator_code:org_t)
- 2014
- 2014
- Engelska.
-
Ingår i: Johan van Benthem on Logic and Information. - 9783319060255 ; , s. 825-833
- Relaterad länk:
-
https://lup.lub.lu.s...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- 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)
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
Publikations- och innehållstyp
- kap (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas