On combining cognitive and formal modeling: a case study involving strategic reasoning

Reasoning About Other Minds 2011.

哲学;计算机科学

Sujata Ghosh ; Ben Meijering

Others  :  http://ceur-ws.org/Vol-751/reasoningminds2011_submission_13.pdf
PID  :  41604

学科分类：计算机科学（综合）

来源: CEUR

【 摘 要 】

This paper builds up a bridge between the formal and cognitive modeling of human reasoning aspects. To this end, we focus on empirical studies on playing a certain game, namely marble drop, that involves reasoning about other minds, and build up a formal system that can model the different strategic reasoning methods employed by the participants in the empirical study. Finally, we show how the syntactic framework of the formal system can aid in building up a cognitive model of the participants of the marble drop game.