Dealing with Incompatibilities among Procedural Goals under Uncertainty

by   Mariela Morveli-Espinoza, et al.

By considering rational agents, we focus on the problem of selecting goals out of a set of incompatible ones. We consider three forms of incompatibility introduced by Castelfranchi and Paglieri, namely the terminal, the instrumental (or based on resources), and the superfluity. We represent the agent's plans by means of structured arguments whose premises are pervaded with uncertainty. We measure the strength of these arguments in order to determine the set of compatible goals. We propose two novel ways for calculating the strength of these arguments, depending on the kind of incompatibility that exists between them. The first one is the logical strength value, it is denoted by a three-dimensional vector, which is calculated from a probabilistic interval associated with each argument. The vector represents the precision of the interval, the location of it, and the combination of precision and location. This type of representation and treatment of the strength of a structured argument has not been defined before by the state of the art. The second way for calculating the strength of the argument is based on the cost of the plans (regarding the necessary resources) and the preference of the goals associated with the plans. Considering our novel approach for measuring the strength of structured arguments, we propose a semantics for the selection of plans and goals that is based on Dung's abstract argumentation theory. Finally, we make a theoretical evaluation of our proposal.


page 1

page 2

page 3

page 4


An Argumentation-based Approach for Identifying and Dealing with Incompatibilities among Procedural Goals

During the first step of practical reasoning, i.e. deliberation, an inte...

Intrinsic Argument Strength in Structured Argumentation: a Principled Approach

Abstract argumentation provides us with methods such as gradual and Dung...

Argument Ranking with Categoriser Function

Recently, ranking-based semantics is proposed to rank-order arguments fr...

Fuzzy Labeling Semantics for Quantitative Argumentation

The topic of evaluating argument strength in various quantitative argume...

Argumentation as a General Framework for Uncertain Reasoning

Argumentation is the process of constructing arguments about proposition...

Resolving Resource Incompatibilities in Intelligent Agents

An intelligent agent may in general pursue multiple procedural goals sim...

What Makes a Strong Monad?

Strong monads are important for several applications, in particular, in ...

Please sign up or login with your details

Forgot password? Click here to reset