States, goals and values: Revisiting practical reasoning

@article{Atkinson2016StatesGA,
  title={States, goals and values: Revisiting practical reasoning},
  author={Katie Atkinson and Trevor J. M. Bench-Capon},
  journal={Argument Comput.},
  year={2016},
  volume={7},
  pages={135-154}
}
In this paper we address some limitations with proposals concerning an argumentation scheme for practical reasoning grounded on action-based alternating transition systems augmented with values. In particular, we extend the machinery to enable the proper representation of, and ability to reason with, goals. This allows the more satisfactory representation of certain critical questions, and the means to explicitly record differences between agents as to what will count as the fulfillment of… 

Figures and Tables from this paper

Goals, values, and reasoning
Taking the Long View: Looking Ahead in Practical Reasoning
TLDR
This paper considers the various reasons for and against performing an action that arise from these longer term considerations, and develops a new set of argumentation schemes for practical reasoning which allows a clearer separation between facts, values and preferences, and more precise targeting of attacks.
Transition systems for designing and reasoning about norms
TLDR
A suggested framework for the exploration of the use of sanctions and rewards, and the conditions under which compliance by autonomous agents can be expected or encouraged without sanctions or rewards is developed.
Argumentation-Based Reasoning about Plans, Maintenance Goals, and Norms
TLDR
This work proposes a solution in which a normative planning problem is the basis for practical reasoning based on argumentation, and the properties of the best plan(s) with respect to goal achievement and norm compliance are mapped to arguments, followed by mapping their conflicts to attack between arguments.
Practical reasoning using values: an argumentative approach based on a hierarchy of values
TLDR
A formal framework to support the choice of actions of a value-driven agent and arrange them into plans that reflect the agent’s preferences is proposed, based on defeasible argumentation.
Value-Based Reasoning in Autonomous Agents
TLDR
The authors of the paper present and discuss proofs of compatibility of both previous and current models, a formalmechanism of conversion of the parameters of the autonomous device into the levels of promotion of values, the mechanism of integration with machine learning approaches, and a comprehensive argumentation-based reasoning mechanism allowing for making decisions.
Value alignment: a formal approach
TLDR
This paper provides a formal model to represent values through preferences and ways to compute value aggregations, and focuses on norms as it is norms that govern behaviour, and as such, the alignment of a given system with a given value will be dictated by the norms the system follows.
Argumentation and Reasoned Action Proceedings of the 1 st European Conference on Argumentation
TLDR
This work explains how to overcome limitations, using a set of linked argumentation schemes and associated critical questions, and outlines how this can be formalized in ASPIC+.
Norms and value based reasoning: justifying compliance and violation
TLDR
This paper argues for the position that agents should be equipped with the ability to reason about a system’s norms, by reasoning about the social and moral values that norms are designed to serve, and highlights the need for such reasoning when circumstances are such that the rules should arguably be broken.
...
...

References

SHOWING 1-10 OF 41 REFERENCES
Taking the Long View: Looking Ahead in Practical Reasoning
TLDR
This paper considers the various reasons for and against performing an action that arise from these longer term considerations, and develops a new set of argumentation schemes for practical reasoning which allows a clearer separation between facts, values and preferences, and more precise targeting of attacks.
Practical Reasoning Using Values
TLDR
This paper defines values as preference orders and introduces several argument schemes to reason about preferences and proposes an argumentation mechanism to argue about the meaning of an value and thus about whether state transitions promote or demote values.
An Argumentation-Based Approach for Practical Reasoning
TLDR
The worth of desires and the cost of resources are integrated into the argumentation frameworks and taken into account when comparing arguments.
A general account of argumentation with preferences
BDI Agents: From Theory to Practice
TLDR
This paper explores a particular type of rational agent, a BeliefDesire-Intention (BDI) agent, and integrates the theoretical foundations of BDI agents from both a quantitative decision-theoretic perspective and a symbolic reasoning perspective.
Argumentation for Decision Support
TLDR
The purpose of the paper is to show how the incorporation of an argumentation component can add value to a collection of existing information agents through defeasible argumentation.
On obligations and normative ability: Towards a logical analysis of the social contract
Model Based Critique of Policy Proposals
TLDR
This work presents a system that uses the same model to critique proposals from citizens using an argumentation scheme based on Action-based Alternating Transition Systems.
...
...