Epistemic Logic and Theory of Mind for Modelling Group Dynamics of Criminal Organizations
Logic is often used to model the reasoning process of agents. In this paper, we discuss social aspects of such systems, considering in particular, Multi-Agent Systems representing criminal organizations. The focus is on modeling via a novel epistemic logic (aspects of) the group dynamics of such organizations, considered as groups of cooperative agents.
Methods to reason in logical terms about the possible objectives, plans and organization of such groups can be inspired by the Theory of Mind, which is the branch of cognitive science that investigates how we ascribe mental states to other persons and how we use the elicited states to explain and predict the actions of other persons and groups. We try in fact to formalize aspects of the Theory of Mind in our logic within this presentation.