Argument and Norms
Nir Oren · 2012
This paper describes a framework for practical reasoning in the presence of norms. We describe a formal normative model constructed using Action-based Alternating Transition Systems (AATSs). This model is able to represent the obligations and prohibitions present in a multi-agent system, as well as their violation, together with permissions which are used to derogate the former. Our model also captures the notion of a goal. Inspired by Atkinson’s scheme for practical reasoning, we then show how the possible executions of the system can be described through argumentation schemes and critical questions, allowing us to determine if sufficient information has been provided in order to perform practical reasoning, and to explain why specific sequences of actions were executed by agents within the system.