Argument Schemes for Normative Practical Reasoning

Nir Oren*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 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 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
PublisherSpringer-Verlag
Pages63-78
Number of pages16
ISBN (Electronic)9783642543739
ISBN (Print)9783642543722
DOIs
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

Conference

Conference2nd International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2013
CountryChina
CityBeijing
Period3/08/135/08/13

Fingerprint

Reasoning
Transition Systems
Formal Model
Sufficient
Norm
Model
Framework

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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 proceedingConference 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)). https://doi.org/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.",
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 - Conference contribution

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

ER -