Abstract
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 language | English |
---|---|
Title of host publication | Theory and Applications of Formal Argumentation |
Subtitle of host publication | Second International Workshop, TAFA 2013, Revised Selected Papers |
Editors | Elizabeth Black, Sanjay Modgil, Nir Oren |
Publisher | Springer-Verlag |
Pages | 63-78 |
Number of pages | 16 |
ISBN (Electronic) | 9783642543739 |
ISBN (Print) | 9783642543722 |
DOIs | |
Publication status | Published - 2014 |
Event | 2nd International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2013 - Beijing, China Duration: 3 Aug 2013 → 5 Aug 2013 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 8306 LNAI |
ISSN (Print) | 03029743 |
ISSN (Electronic) | 16113349 |
Conference
Conference | 2nd International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2013 |
---|---|
Country/Territory | China |
City | Beijing |
Period | 3/08/13 → 5/08/13 |
Bibliographical note
Acknowledgements. I would like to thank the anonymous reviewers for theirvery detailed and insightful comments.