Practical reasoning with norms for autonomous software agents

Zohreh Shams, Marina De Vos, Julian Padget, Wamberto W. Vasconcelos

Research output: Contribution to journalArticle

5 Citations (Scopus)
3 Downloads (Pure)

Abstract

Autonomous software agents operating in dynamic environments need to constantly reason about actions in pursuit of their goals, while taking into consideration norms which might be imposed on those actions. Normative practical reasoning supports agents making decisions about what is best for them to (not) do in a given situation. What makes practical reasoning challenging is the interplay between goals that agents are pursuing and the norms that the agents are trying to uphold. We offer a formalisation to allow agents to plan for multiple goals and norms in the 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 for 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. We provide an implementation of our proposal in Answer Set Programming, thus allowing us to state the original problem in terms of a logic program that can be queried for solutions with specific properties.
Original languageEnglish
Pages (from-to)388-399
Number of pages12
JournalEngineering Applications of Artificial Intelligence
Volume65
Early online date1 Sep 2017
DOIs
Publication statusPublished - Oct 2017

Fingerprint

Software agents
Decision making

Keywords

  • Intelligent agents
  • Practical reasoning
  • Norms
  • Goals

Cite this

Practical reasoning with norms for autonomous software agents. / Shams, Zohreh; Vos, Marina De; Padget, Julian; Vasconcelos, Wamberto W.

In: Engineering Applications of Artificial Intelligence, Vol. 65, 10.2017, p. 388-399.

Research output: Contribution to journalArticle

@article{b05f282c2ecf40b785cd8cd38d647928,
title = "Practical reasoning with norms for autonomous software agents",
abstract = "Autonomous software agents operating in dynamic environments need to constantly reason about actions in pursuit of their goals, while taking into consideration norms which might be imposed on those actions. Normative practical reasoning supports agents making decisions about what is best for them to (not) do in a given situation. What makes practical reasoning challenging is the interplay between goals that agents are pursuing and the norms that the agents are trying to uphold. We offer a formalisation to allow agents to plan for multiple goals and norms in the 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 for 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. We provide an implementation of our proposal in Answer Set Programming, thus allowing us to state the original problem in terms of a logic program that can be queried for solutions with specific properties.",
keywords = "Intelligent agents, Practical reasoning, Norms, Goals",
author = "Zohreh Shams and Vos, {Marina De} and Julian Padget and Vasconcelos, {Wamberto W.}",
year = "2017",
month = "10",
doi = "10.1016/j.engappai.2017.07.021",
language = "English",
volume = "65",
pages = "388--399",
journal = "Engineering Applications of Artificial Intelligence",
issn = "0952-1976",
publisher = "Elsevier Limited",

}

TY - JOUR

T1 - Practical reasoning with norms for autonomous software agents

AU - Shams, Zohreh

AU - Vos, Marina De

AU - Padget, Julian

AU - Vasconcelos, Wamberto W.

PY - 2017/10

Y1 - 2017/10

N2 - Autonomous software agents operating in dynamic environments need to constantly reason about actions in pursuit of their goals, while taking into consideration norms which might be imposed on those actions. Normative practical reasoning supports agents making decisions about what is best for them to (not) do in a given situation. What makes practical reasoning challenging is the interplay between goals that agents are pursuing and the norms that the agents are trying to uphold. We offer a formalisation to allow agents to plan for multiple goals and norms in the 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 for 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. We provide an implementation of our proposal in Answer Set Programming, thus allowing us to state the original problem in terms of a logic program that can be queried for solutions with specific properties.

AB - Autonomous software agents operating in dynamic environments need to constantly reason about actions in pursuit of their goals, while taking into consideration norms which might be imposed on those actions. Normative practical reasoning supports agents making decisions about what is best for them to (not) do in a given situation. What makes practical reasoning challenging is the interplay between goals that agents are pursuing and the norms that the agents are trying to uphold. We offer a formalisation to allow agents to plan for multiple goals and norms in the 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 for 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. We provide an implementation of our proposal in Answer Set Programming, thus allowing us to state the original problem in terms of a logic program that can be queried for solutions with specific properties.

KW - Intelligent agents

KW - Practical reasoning

KW - Norms

KW - Goals

U2 - 10.1016/j.engappai.2017.07.021

DO - 10.1016/j.engappai.2017.07.021

M3 - Article

VL - 65

SP - 388

EP - 399

JO - Engineering Applications of Artificial Intelligence

JF - Engineering Applications of Artificial Intelligence

SN - 0952-1976

ER -