Meer informatie over en actuele vacatures van University of Groningen on AcademicTransfer.
More vacancies of function type: Postdoc positions, Research, Development, Innovation.
Postdoc position Logics for higher-order social cognition (1,0 fte)
Specificaties - (uitleg)
|Functietypes||Postdoc positions, Research, Development, Innovation|
|Uren||38,0 uren per week|
|Salaris||maximaal € 2612|
|About employer||University of Groningen|
The Vici project 'Cognitive systems in interaction: Logical and computational models of higher-order social cognition'.
Software agents are capable of recursion in their social reasoning: A thinks about what B knows, about what B thinks that A knows, and so on. However, humans lose track of such reasoning after only two or three levels. If software agents work together with human team-mates, they need to take into account the limits of their social cognition.
In the Vici project, we investigate children's development and adults' limitations in applying higher-order reasoning, using a close-knit combination of empirical research and formal modelling. Whereas first-order social cognition has been intensely investigated, higher-order social cognition is far less well-understood. This Vici project aims to apply improved understanding of higher-order social reasoning to design realistic logics, ready for implementation in systems supporting mixed human-computer teams.
The postdoc project: How logical can higher-order social cognition be?
The usual dynamic epistemic logics are built on the idealized assumption that participants in intelligent interaction are logically omniscient, in particular, they can correctly reason about higher-order mental states of others. Recently, however, there has been a call for more realistic resource-bounded logics.
The postdoc designs resource-bounded logics for reasoning about other agents. Results from the experimental studies and cognitive models (by other participants in the Vici project) about processing bottlenecks in complex higher-order attributions are used to tailor the logics to human cognitive capabilities. One combined system may model several types of reasoners with different resource bounds, tuned by parameters such as inferential capabilities, reflective capabilities, and revision policies.
Then, the postdoc extends these parametrized resource-bounded logics with a realistic component representing team reasoning, incorporating dynamic aspects such as effects of communication. Finally, the postdoc operationalizes the logics and investigates their computational properties, such as complexity of model checking.
Start date: Autumn 2010.
We would like to receive letters in English language, including a personal motivation, a curriculum vitae, and the names and addresses of three referees (including telephone number and e-mail address).
Please, also send an electronic copy of your application to: L.C.Verbrugge@rug.nl
Dienstverband: 48 maanden
Faculty of Mathematics and Natural Sciences