Dialectical Argument Game Proof Theories for Classical Logic

Abstract

Argument game-based proof theories provide procedural structures capable of determining the status of an argument. Given an argumentation framework, argument games identify the membership of an argument in a specific extension simulating a dispute between two opposing contenders. The semantics intended to be captured dictate the rules of the played game, which serve to describe how the players can achieve victory. Dialectical Classical logic Argumentation (Dialectical Cl-Arg) is a recent approach that provides real-world dialectical characterisations of Cl-Arg arguments by resource-bounded agents while preserving the rational criteria established by the rationality postulates and practical desiderata. This paper combines both subjects and introduces argument games for Dialectical Cl-Arg, highlighting the properties and benefits enjoyed by these games in comparison with the standard ones. The result will be a proof theory better equipped to approximate real-world non-monotonic single-agent reasoning processes.