The call for papers is also available in text format.
Monday 4 August and Tuesday morning 5 August, 2014
University of Groningen
CALL FOR PAPERS
Workshop goal: This workshop aims to shed light on models of social reasoning that take into account realistic resource bounds. People reason about other people's mental states in order to understand and predict the others' behavior. This capability to reason about others' knowledge, beliefs and intentions is often referred to as `theory of mind'. Idealized rational agents are capable of recursion in their social reasoning, and can reason about phenomena like common knowledge. Such idealized social reasoning has been modeled by modal logics such as epistemic logic and BDI (belief, goal, intention) logics. However, in real-world situations, many people seem to lose track of such recursive social reasoning after only a few levels. Cognitive scientists build computational models of social reasoning, for example, recently an `inverse planning' model based on Bayesian inference frameworks has proven successful in modeling human inferences about the goals and beliefs underlying other people's observed behavior. The workshop provides a forum for researchers that attempt to analyze, understand and model how resource-bounded agents reason about other minds. The workshop is a follow-up on the workshop that was collocated with TARK 2011 in Groningen, see http://www.ai.rug.nl/conf/reasoningminds/
Topics of interest include but are not limited to:
Programme Committee:
Sponsors: The Netherlands Organization for Scientific Research, in particular the VICI project: ‘Cognitive systems in interaction: Logical and computational models of higher-order theory of mind’, and the Royal Netherlands Academy of Arts and Sciences (KNAW).
The workshop will be held on the day before AiML2014.
Rineke Verbrugge
University of Groningen
Faculty of Mathematics and Natural Sciences,
Institute of Artificial Intelligence
P.O. Box 407
9700 AK Groningen
The Netherlands
Reasoning about other minds: Logical and cognitive perspectives
Workshop
University of Groningen
CALL FOR PAPERS
Workshop goal: This workshop aims to shed light on models of social reasoning that take into account realistic resource bounds. People reason about other people's mental states in order to understand and predict the others' behavior. This capability to reason about others' knowledge, beliefs and intentions is often referred to as `theory of mind'. Idealized rational agents are capable of recursion in their social reasoning, and can reason about phenomena like common knowledge. Such idealized social reasoning has been modeled by modal logics such as epistemic logic and BDI (belief, goal, intention) logics. However, in real-world situations, many people seem to lose track of such recursive social reasoning after only a few levels. Cognitive scientists build computational models of social reasoning, for example, recently an `inverse planning' model based on Bayesian inference frameworks has proven successful in modeling human inferences about the goals and beliefs underlying other people's observed behavior. The workshop provides a forum for researchers that attempt to analyze, understand and model how resource-bounded agents reason about other minds. The workshop is a follow-up on the workshop that was collocated with TARK 2011 in Groningen, see http://www.ai.rug.nl/conf/reasoningminds/
Topics of interest include but are not limited to:
- Logics modeling human social cognition;
- Computational cognitive models of theory of mind;
- Epistemic game theory;
- Behavioral game theory;
- Bounded rationality in epistemic game theory;
- Relations between language and social cognition;
- Models of the evolution of theory of mind;
- Models of the development of theory of mind in children;
- Models of the neural implementation of social cognition;
- Bounded rationality in multi-agent systems;
- Formal models of team reasoning;
- Theory of mind in specific groups, e.g., persons with autism spectrum disorder;
- Complexity measures for reasoning about other minds.
Programme Committee:
- Rineke Verbrugge (University of Groningen, chair)
- Jakub Szymanik (University of Amsterdam, chair)
- Johan van Benthem (University of Amsterdam and Stanford University)
- Robin Clark (University of Pennsylvania)
- Hans van Ditmarsch (LORIA, CNRS)
- Jan van Eijck (CWI, Amsterdam)
- Sujata Ghosh (ISI, Chennai)
- Nina Gierasimczuk (University of Amsterdam)
- Noah Goodman (Stanford University)
- Bart Hollebrandse (University of Groningen)
- Eric Pacuit (University of Maryland)
- Iris van Rooij (Radboud University Nijmegen)
- Niels Taatgen (University of Groningen)
Sponsors: The Netherlands Organization for Scientific Research, in particular the VICI project: ‘Cognitive systems in interaction: Logical and computational models of higher-order theory of mind’, and the Royal Netherlands Academy of Arts and Sciences (KNAW).
The workshop will be held on the day before AiML2014.
Rineke Verbrugge
University of Groningen
Faculty of Mathematics and Natural Sciences,
Institute of Artificial Intelligence
P.O. Box 407
9700 AK Groningen
The Netherlands