Formal Argumentation and Human Reasoning: The Case of Reinstatement

Argumentation is now a very fertile area of research in Artificial Intelligence. Yet, most approaches to reasoning with arguments in AI are based on a normative perspective, relying on intuition as to what constitutes correct reasoning, sometimes aided by purpose-built hypothetical examples. For these models to be useful in agent-human argumentation, they can benefit from an alternative, positivist perspective that takes into account the empirical reality of human reasoning. To give a flavour of the kinds of lessons that this methodology can provide, we report on a psychological study exploring simple reinstatement in argumentation semantics. Empirical results show that while reinstatement is cognitively plausible in principle, it does not yield full recovery of the argument status, a notion not captured in Dung's classical model. This result suggests some possible avenues for research relevant to making formal models of argument more useful.