Implementation of normative practical reasoning with durative actions

Zohreh Shams*, Marina De Vos, Julian Padget, Wamberto Vasconcelos

*Corresponding author for this work

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

Abstract

Autonomous agents operating in a dynamic environment need constantly to reason about actions in pursuit of their goals, while taking into consideration possible norms imposed on those actions. Normative practical reasoning supports agents decision making about what is best for an agent to do in a given situation. What makes practical reasoning challenging is the conflict between goals that the agent is pursuing and the norms that the agent is trying to uphold. We offer a formal model that allows the agents to plan for conflicting goals and norms in presence of durative actions that can be executed concurrently. We compare plans based on decision-theoretic notions (i.e. utility) such that the utility gain of goals and utility loss of norm violations are the basis of this comparison. The set of optimal plans consists of plans that maximise the overall utility, each of which can be chosen by the agent to execute. The formal model is implemented computationally using answer set programming, which in turns permits the statement of the problem in terms of a logic program that can be queried for solutions with specific properties. We demonstrate how a normative practical reasoning problem can be mapped into an answer set program such that the optimal plans of the former can be obtained as the answer sets of the latter.

Original languageEnglish
Title of host publicationCoordination, Organizations, Institutions, and Normes in Agent Systems XI - COIN 2015 International Workshops COIN@AAMAS, Revised Selected Papers
PublisherSpringer Verlag
Pages335-353
Number of pages19
Volume9628
ISBN (Print)9783319426907
DOIs
Publication statusPublished - 2016
EventInternational Conference on Coordination, Organisations, Institutions and Norms in Agent Systems, 2015 - Istanbul, Turkey
Duration: 4 May 20154 May 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9628
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceInternational Conference on Coordination, Organisations, Institutions and Norms in Agent Systems, 2015
CountryTurkey
CityIstanbul
Period4/05/154/05/15

Fingerprint

Reasoning
Autonomous agents
Norm
Answer Sets
Decision making
Formal Model
Answer Set Programming
Autonomous Agents
Pursuit
Logic Programs
Dynamic Environment
Decision Making
Maximise
Demonstrate

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Shams, Z., De Vos, M., Padget, J., & Vasconcelos, W. (2016). Implementation of normative practical reasoning with durative actions. In Coordination, Organizations, Institutions, and Normes in Agent Systems XI - COIN 2015 International Workshops COIN@AAMAS, Revised Selected Papers (Vol. 9628, pp. 335-353). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9628). Springer Verlag. https://doi.org/10.1007/978-3-319-42691-4_19

Implementation of normative practical reasoning with durative actions. / Shams, Zohreh; De Vos, Marina; Padget, Julian; Vasconcelos, Wamberto.

Coordination, Organizations, Institutions, and Normes in Agent Systems XI - COIN 2015 International Workshops COIN@AAMAS, Revised Selected Papers. Vol. 9628 Springer Verlag, 2016. p. 335-353 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9628).

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

Shams, Z, De Vos, M, Padget, J & Vasconcelos, W 2016, Implementation of normative practical reasoning with durative actions. in Coordination, Organizations, Institutions, and Normes in Agent Systems XI - COIN 2015 International Workshops COIN@AAMAS, Revised Selected Papers. vol. 9628, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9628, Springer Verlag, pp. 335-353, International Conference on Coordination, Organisations, Institutions and Norms in Agent Systems, 2015, Istanbul, Turkey, 4/05/15. https://doi.org/10.1007/978-3-319-42691-4_19
Shams Z, De Vos M, Padget J, Vasconcelos W. Implementation of normative practical reasoning with durative actions. In Coordination, Organizations, Institutions, and Normes in Agent Systems XI - COIN 2015 International Workshops COIN@AAMAS, Revised Selected Papers. Vol. 9628. Springer Verlag. 2016. p. 335-353. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-42691-4_19
Shams, Zohreh ; De Vos, Marina ; Padget, Julian ; Vasconcelos, Wamberto. / Implementation of normative practical reasoning with durative actions. Coordination, Organizations, Institutions, and Normes in Agent Systems XI - COIN 2015 International Workshops COIN@AAMAS, Revised Selected Papers. Vol. 9628 Springer Verlag, 2016. pp. 335-353 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{5a690ba25b1a4050bfb795e2bb29ac45,
title = "Implementation of normative practical reasoning with durative actions",
abstract = "Autonomous agents operating in a dynamic environment need constantly to reason about actions in pursuit of their goals, while taking into consideration possible norms imposed on those actions. Normative practical reasoning supports agents decision making about what is best for an agent to do in a given situation. What makes practical reasoning challenging is the conflict between goals that the agent is pursuing and the norms that the agent is trying to uphold. We offer a formal model that allows the agents to plan for conflicting goals and norms in presence of durative actions that can be executed concurrently. We compare plans based on decision-theoretic notions (i.e. utility) such that the utility gain of goals and utility loss of norm violations are the basis of this comparison. The set of optimal plans consists of plans that maximise the overall utility, each of which can be chosen by the agent to execute. The formal model is implemented computationally using answer set programming, which in turns permits the statement of the problem in terms of a logic program that can be queried for solutions with specific properties. We demonstrate how a normative practical reasoning problem can be mapped into an answer set program such that the optimal plans of the former can be obtained as the answer sets of the latter.",
author = "Zohreh Shams and {De Vos}, Marina and Julian Padget and Wamberto Vasconcelos",
year = "2016",
doi = "10.1007/978-3-319-42691-4_19",
language = "English",
isbn = "9783319426907",
volume = "9628",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "335--353",
booktitle = "Coordination, Organizations, Institutions, and Normes in Agent Systems XI - COIN 2015 International Workshops COIN@AAMAS, Revised Selected Papers",
address = "Germany",

}

TY - GEN

T1 - Implementation of normative practical reasoning with durative actions

AU - Shams, Zohreh

AU - De Vos, Marina

AU - Padget, Julian

AU - Vasconcelos, Wamberto

PY - 2016

Y1 - 2016

N2 - Autonomous agents operating in a dynamic environment need constantly to reason about actions in pursuit of their goals, while taking into consideration possible norms imposed on those actions. Normative practical reasoning supports agents decision making about what is best for an agent to do in a given situation. What makes practical reasoning challenging is the conflict between goals that the agent is pursuing and the norms that the agent is trying to uphold. We offer a formal model that allows the agents to plan for conflicting goals and norms in presence of durative actions that can be executed concurrently. We compare plans based on decision-theoretic notions (i.e. utility) such that the utility gain of goals and utility loss of norm violations are the basis of this comparison. The set of optimal plans consists of plans that maximise the overall utility, each of which can be chosen by the agent to execute. The formal model is implemented computationally using answer set programming, which in turns permits the statement of the problem in terms of a logic program that can be queried for solutions with specific properties. We demonstrate how a normative practical reasoning problem can be mapped into an answer set program such that the optimal plans of the former can be obtained as the answer sets of the latter.

AB - Autonomous agents operating in a dynamic environment need constantly to reason about actions in pursuit of their goals, while taking into consideration possible norms imposed on those actions. Normative practical reasoning supports agents decision making about what is best for an agent to do in a given situation. What makes practical reasoning challenging is the conflict between goals that the agent is pursuing and the norms that the agent is trying to uphold. We offer a formal model that allows the agents to plan for conflicting goals and norms in presence of durative actions that can be executed concurrently. We compare plans based on decision-theoretic notions (i.e. utility) such that the utility gain of goals and utility loss of norm violations are the basis of this comparison. The set of optimal plans consists of plans that maximise the overall utility, each of which can be chosen by the agent to execute. The formal model is implemented computationally using answer set programming, which in turns permits the statement of the problem in terms of a logic program that can be queried for solutions with specific properties. We demonstrate how a normative practical reasoning problem can be mapped into an answer set program such that the optimal plans of the former can be obtained as the answer sets of the latter.

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

U2 - 10.1007/978-3-319-42691-4_19

DO - 10.1007/978-3-319-42691-4_19

M3 - Conference contribution

SN - 9783319426907

VL - 9628

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

SP - 335

EP - 353

BT - Coordination, Organizations, Institutions, and Normes in Agent Systems XI - COIN 2015 International Workshops COIN@AAMAS, Revised Selected Papers

PB - Springer Verlag

ER -