Towards a Formalisation of Value-based Actions and Consequentialist Ethics
Adam Wyner, Tomasz Zurek, DOrota Stachura-Zurek
TL;DR
The paper proposes an action framework based on the STRIPS formalisation that provides a computational framework for a form of consequentialist ethics which is satisficing, luralistic, act-based, and preferential.
Abstract
Agents act to bring about a state of the world that is more compatible with their personal or institutional values. To formalise this intuition, the paper proposes an action framework based on the STRIPS formalisation. Technically, the contribution expresses actions in terms of Value-based Formal Reasoning (VFR), which provides a set of propositions derived from an Agent's value profile and the Agent's assessment of propositions with respect to the profile. Conceptually, the contribution provides a computational framework for a form of consequentialist ethics which is satisficing, luralistic, act-based, and preferential.