Argument Schemes for Normative Practical Reasoning

Nir Oren*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingPublished conference contribution

6 Citations (Scopus)


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. This model is able to represent goals; obligations and prohibitions and their violation; and permissions, which are used to derogate the former. Inspired by Atkinson's scheme for practical reasoning, we utilise argument schemes and critical questions to both show and reason about how goals and obligations lead to preferences over the possible executions of the system. The model then allows us to determine if sufficient information has been provided in order to perform practical reasoning, identify the best courses of action, and explain why specific sequences of actions should be executed by agents within the system.

Original languageEnglish
Title of host publicationTheory and Applications of Formal Argumentation
Subtitle of host publicationSecond International Workshop, TAFA 2013, Revised Selected Papers
EditorsElizabeth Black, Sanjay Modgil, Nir Oren
Number of pages16
ISBN (Electronic)9783642543739
ISBN (Print)9783642543722
Publication statusPublished - 2014
Event2nd International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2013 - Beijing, China
Duration: 3 Aug 20135 Aug 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8306 LNAI
ISSN (Print)03029743
ISSN (Electronic)16113349


Conference2nd International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2013

Bibliographical note

Acknowledgements. I would like to thank the anonymous reviewers for their
very detailed and insightful comments.


Dive into the research topics of 'Argument Schemes for Normative Practical Reasoning'. Together they form a unique fingerprint.

Cite this