Logic and social cognition. The facts matter, and so do computational models
type: Item
instance of: scholarly article
title: Logic and social cognition. The facts matter, and so do computational models
zbMATH Open document ID: 1208.03022
author: Rineke Verbrugge
published in: Journal of Philosophical Logic
publication date: 2010-01-15T00:00:00Z
review text: The paper offers an overview of the literature on higher-order belief and sketches some perspectives of convergence of the different approaches. A zero-order belief is a belief about a fact; a first-order belief is a belief about another agent's belief, etc.; the `limit case' of such higher-order beliefs is common belief. An agent's first-order and higher-order beliefs make up his theory of mind. The latter is instrumental for intelligent social behaviour. The author gives an extensive overview of the subject, with 171 references covering the relevant literature in cognitive psychology, empirical economics, philosophy of mind, epistemic logic, and multi-agent systems. She focusses on a fault line between epistemic logic and cognitive science: while standard epistemic logic has the omniscience property (it prescribes that agents reason perfectly with beliefs of any order), experimental evidence as collected in psychology and economics tells us that this is not the case. In particular it takes children quite a long time to move from first-order to second-order theories of mind. Moreover, even when a child \(i\) has learned to attribute to an agent \(j\) a belief about agent \(k\) then \(i\) is often unable to apply such reasoning in game-like scenarios where \(i\) has to `put to work' such beliefs in order to take decisions. She finally points out several research avenues at the intersection of logic and cognitive science, such as (1) the implementation higher-order beliefs in computational cognitive models such as the cognitive architecture ACT-R; (2) the improvement of existing logical accounts of resource-bounded reasoning (in particular the integration of dynamic epistemic logics) in view of improving its cognitive realism.
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T42
Mathematics Subject Classification ID: 91E10
zbMATH DE Number: 5659540
zbMATH Keywords: epistemic logic
zbMATH Keywords: cognitive science
zbMATH Keywords: intelligent interaction
zbMATH Keywords: cognitive modeling
zbMATH Keywords: survey paper
describes a project that uses: DEMO
MaRDI profile type: Publication
full work available at URL: s10992-009-9115-9
OpenAlex ID: W1555128188
cites work: The Dynamics of Syntactic Knowledge
cites work: Verifying Space and Time Requirements for Resource-Bounded Agents
cites work: The Evolution of Cooperation
cites work: Variable-frame level-\(n\) theory
cites work: The Logic of Public Announcements, Common Knowledge, and Private Suspicions
cites work: Q3992554
cites work: Optimal assertions, and what they implicate. A uniform game theoretic approach
cites work: Knowing One’s Limits: An Analysis in Centered Dynamic Epistemic Logic
cites work: The complexity of propositional closed world reasoning and circumscription
cites work: Q4835906
cites work: Q4805737
cites work: Q2771500
cites work: Creating collective intention through dialogue
cites work: Selecting evaluation functions in opponent-model search
cites work: Q4779593
cites work: Q4681377
cites work: Q3425580
cites work: Q3574475
cites work: Belief, awareness, and limited reasoning
cites work: Q4845472
cites work: Children's application of theory of mind in reasoning and language
cites work: The new logic
cites work: Resource-origins of nonmonotonicity
cites work: The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
cites work: Knowledge and common knowledge in a distributed environment
cites work: Epistemology Without Knowledge and Without Belief
cites work: A completeness theorem in modal logic
cites work: ON THE PROBABILISTIC CONVENTION T
cites work: Negotiating with bounded rational agents in environments with incomplete information using an automated agent
cites work: An Experimental Study of the Centipede Game
cites work: Unawareness and partitional information structures
cites work: The logic of knowledge based obligation
cites work: A Modal Logic for Coalitional Power in Games
cites work: Q4028821
cites work: Games of perfect information, predatory pricing and the chain-store paradox
cites work: Q4843187
cites work: Towards flexible coordination of human-agent teams
cites work: On players' models of other players: Theory and experimental evidence
cites work: Semantics as a foundation for psychology: A case study of Wason's selection task
cites work: Logic in the study of psychiatric disorders: executive function and rule-following
cites work: Logic and reasoning: do the facts matter?
cites work: Logics of communication and change
cites work: Q4433624
cites work: Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
cites work: My beliefs about your beliefs: a case study in theory of mind and epistemic logic
cites work: Q4433636
cites work: Dynamic Epistemic Logic and Knowledge Puzzles
cites work: Q3103799
cites work: Formal models for real people
cites work: Learning to apply theory of mind
cites work: An essay in modal logic
cites work: Q3158976
DOI: 10.1007/S10992-009-9115-9
description: scientific article; zbMATH DE number 5659540