Practical Reasoning with Norms for Autonomous Software Agents

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

Research output: Contribution to journalArticle

1 Citation (Scopus)

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 chal-
lenging 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.
LanguageEnglish
Pages388-399
JournalEngineering Applications of Artificial Intelligence
Volume65
Early online date1 Sep 2017
DOIs
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; De Vos, Marina; Padget, Julian; Vasconcelos, Wamberto.

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

Research output: Contribution to journalArticle

@article{3e432ca10a2f41eca0f9891d3627a10d,
title = "Practical Reasoning with Norms for Autonomous Software Agents",
abstract = "Autonomous software agents operating in dynamic environments need toconstantly reason about actions in pursuit of their goals, while taking intoconsideration norms which might be imposed on those actions. Normativepractical reasoning supports agents making decisions about what is best forthem to (not) do in a given situation. What makes practical reasoning chal-lenging is the interplay between goals that agents are pursuing and the normsthat the agents are trying to uphold. We offer a formalisation to allow agentsto plan for multiple goals and norms in the presence of durative actions thatcan be executed concurrently. We compare plans based on decision-theoreticnotions (i.e. utility) such that the utility gain of goals and utility loss of normviolations are the basis for this comparison. The set of optimal plans consistsof plans that maximise the overall utility, each of which can be chosen by theagent to execute. We provide an implementation of our proposal in AnswerSet Programming, thus allowing us to state the original problem in terms ofa logic program that can be queried for solutions with specific properties.",
keywords = "Intelligent Agents, Practical Reasoning, Norms, Goals",
author = "Zohreh Shams and {De Vos}, Marina and Julian Padget and Wamberto Vasconcelos",
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",

}

TY - JOUR

T1 - Practical Reasoning with Norms for Autonomous Software Agents

AU - Shams, Zohreh

AU - De Vos, Marina

AU - Padget, Julian

AU - Vasconcelos, Wamberto

PY - 2017/10

Y1 - 2017/10

N2 - Autonomous software agents operating in dynamic environments need toconstantly reason about actions in pursuit of their goals, while taking intoconsideration norms which might be imposed on those actions. Normativepractical reasoning supports agents making decisions about what is best forthem to (not) do in a given situation. What makes practical reasoning chal-lenging is the interplay between goals that agents are pursuing and the normsthat the agents are trying to uphold. We offer a formalisation to allow agentsto plan for multiple goals and norms in the presence of durative actions thatcan be executed concurrently. We compare plans based on decision-theoreticnotions (i.e. utility) such that the utility gain of goals and utility loss of normviolations are the basis for this comparison. The set of optimal plans consistsof plans that maximise the overall utility, each of which can be chosen by theagent to execute. We provide an implementation of our proposal in AnswerSet Programming, thus allowing us to state the original problem in terms ofa logic program that can be queried for solutions with specific properties.

AB - Autonomous software agents operating in dynamic environments need toconstantly reason about actions in pursuit of their goals, while taking intoconsideration norms which might be imposed on those actions. Normativepractical reasoning supports agents making decisions about what is best forthem to (not) do in a given situation. What makes practical reasoning chal-lenging is the interplay between goals that agents are pursuing and the normsthat the agents are trying to uphold. We offer a formalisation to allow agentsto plan for multiple goals and norms in the presence of durative actions thatcan be executed concurrently. We compare plans based on decision-theoreticnotions (i.e. utility) such that the utility gain of goals and utility loss of normviolations are the basis for this comparison. The set of optimal plans consistsof plans that maximise the overall utility, each of which can be chosen by theagent to execute. We provide an implementation of our proposal in AnswerSet Programming, thus allowing us to state the original problem in terms ofa 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

T2 - Engineering Applications of Artificial Intelligence

JF - Engineering Applications of Artificial Intelligence

SN - 0952-1976

ER -