Argument Schemes for Normative Practical Reasoning

Nir Oren

doi:10.1007/978-3-642-54373-9_5

Argument Schemes for Normative Practical Reasoning

Nir Oren^*

^*Corresponding author for this work

Computing Science

Research output: Chapter in Book/Report/Conference proceeding › Published conference contribution

5 Citations (Scopus)

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	https://doi.org/10.1007/978-3-642-54373-9_5
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

Access to Document

10.1007/978-3-642-54373-9_5Licence: Unspecified

Cite this

Oren, N. (2014). Argument Schemes for Normative Practical Reasoning. In E. Black, S. Modgil, & N. Oren (Eds.), Theory and Applications of Formal Argumentation: Second International Workshop, TAFA 2013, Revised Selected Papers (pp. 63-78). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8306 LNAI). Springer-Verlag. https://doi.org/10.1007/978-3-642-54373-9_5

Argument Schemes for Normative Practical Reasoning. / Oren, Nir.

Theory and Applications of Formal Argumentation: Second International Workshop, TAFA 2013, Revised Selected Papers. ed. / Elizabeth Black; Sanjay Modgil; Nir Oren. Springer-Verlag, 2014. p. 63-78 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8306 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Published conference contribution

Oren, N 2014, Argument Schemes for Normative Practical Reasoning. in E Black, S Modgil & N Oren (eds), Theory and Applications of Formal Argumentation: Second International Workshop, TAFA 2013, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8306 LNAI, Springer-Verlag, pp. 63-78, 2nd International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2013, Beijing, China, 3/08/13. https://doi.org/10.1007/978-3-642-54373-9_5

Oren N. Argument Schemes for Normative Practical Reasoning. In Black E, Modgil S, Oren N, editors, Theory and Applications of Formal Argumentation: Second International Workshop, TAFA 2013, Revised Selected Papers. Springer-Verlag. 2014. p. 63-78. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-54373-9_5

Oren, Nir. / Argument Schemes for Normative Practical Reasoning. Theory and Applications of Formal Argumentation: Second International Workshop, TAFA 2013, Revised Selected Papers. editor / Elizabeth Black ; Sanjay Modgil ; Nir Oren. Springer-Verlag, 2014. pp. 63-78 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{9e1c3d97379644108c28e123d20595a5,

title = "Argument Schemes for Normative Practical Reasoning",

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.",

author = "Nir Oren",

note = "Acknowledgements. I would like to thank the anonymous reviewers for their very detailed and insightful comments.; 2nd International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2013 ; Conference date: 03-08-2013 Through 05-08-2013",

year = "2014",

doi = "10.1007/978-3-642-54373-9_5",

language = "English",

isbn = "9783642543722",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag",

pages = "63--78",

editor = "Elizabeth Black and Sanjay Modgil and Nir Oren",

booktitle = "Theory and Applications of Formal Argumentation",

}

TY - GEN

T1 - Argument Schemes for Normative Practical Reasoning

AU - Oren, Nir

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

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84958539290&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-54373-9_5

DO - 10.1007/978-3-642-54373-9_5

M3 - Published conference contribution

AN - SCOPUS:84958539290

SN - 9783642543722

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 63

EP - 78

BT - Theory and Applications of Formal Argumentation

A2 - Black, Elizabeth

A2 - Modgil, Sanjay

A2 - Oren, Nir

PB - Springer-Verlag

T2 - 2nd International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2013

Y2 - 3 August 2013 through 5 August 2013

ER -

Argument Schemes for Normative Practical Reasoning

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this