Practical Reasoning with Norms for Autonomous Software Agents (Full Edition)

01/28/2017
by   Zohreh Shams, et al.
0

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. The implementation is proven to be sound and complete.

READ FULL TEXT

page 24

page 25

page 38

page 39

page 40

research
02/17/2023

Value Engineering for Autonomous Agents

Machine Ethics (ME) is concerned with the design of Artificial Moral Age...
research
01/15/2014

Computational Logic Foundations of KGP Agents

This paper presents the computational logic foundations of a model of ag...
research
06/19/2020

Contextual and Possibilistic Reasoning for Coalition Formation

In multiagent systems, agents often have to rely on other agents to reac...
research
08/30/2023

Penalization Framework For Autonomous Agents Using Answer Set Programming

This paper presents a framework for enforcing penalties on intelligent a...
research
12/31/2020

Moral Stories: Situated Reasoning about Norms, Intents, Actions, and their Consequences

In social settings, much of human behavior is governed by unspoken rules...
research
11/12/2015

Software Agents with Concerns of their Own

We claim that it is possible to have artificial software agents for whic...
research
05/19/2011

Ontological Crises in Artificial Agents' Value Systems

Decision-theoretic agents predict and evaluate the results of their acti...

Please sign up or login with your details

Forgot password? Click here to reset