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 proceedingPublished conference contribution


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
Number of pages19
ISBN (Print)9783319426907
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)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceInternational Conference on Coordination, Organisations, Institutions and Norms in Agent Systems, 2015


Dive into the research topics of 'Implementation of normative practical reasoning with durative actions'. Together they form a unique fingerprint.

Cite this