Values are at the heart of human decision-making. They are used to decide whether something or some state of affairs is good or not, and they are also used to address the moral dilemma of the right thing to do under given circumstances. Both uses are present in several everyday situations, from the design of a public policy to the negotiation of employee benefit packages. Both uses of values are specially relevant when one intends to design or validate that artificial intelligent systems behave in a morally correct way. In real life, the choice of policy components or the agreed upon benefit package are processes that involve argumentation. Likewise, the design and deployment of value-driven artificial entities may be well served by embedding practical reasoning capabilities in these entities or using argumentation for their design and certification processes. In this paper, we propose 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. The framework is based on defeasible argumentation. It presumes that agent values are partially ordered in a hierarchy that is used to resolve conflicts between incommensurable values.

中文翻译：

---

使用价值进行实践推理：一种基于价值层次的论证方法

价值观是人类决策的核心。它们被用来决定某事或某种事态是否好，它们也被用来解决在特定情况下做正确事情的道德困境。这两种用途都存在于多种日常情况中，从公共政策的设计到员工福利方案的谈判。当人们打算设计或验证人工智能系统以道德正确的方式行事时，这两种价值观的用途都特别相关。在现实生活中，政策组成部分的选择或商定的一揽子福利是涉及论证的过程。同样地，通过在这些实体中嵌入实际推理能力或在其设计和认证过程中使用论证，可以很好地服务于价值驱动的人工实体的设计和部署。在本文中，我们提出了一个正式的框架来支持价值驱动代理的行动选择，并将它们安排成反映代理偏好的计划。该框架基于可废止的论证。它假定代理值在用于解决不可公度值之间冲突的层次结构中是部分排序的。