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 - Published conference contribution
AN - SCOPUS:84978796161
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
T2 - International Conference on Coordination, Organisations, Institutions and Norms in Agent Systems, 2015
Y2 - 4 May 2015 through 4 May 2015
ER -