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.

翻译：智能体通过行动使世界状态更契合其个人或制度价值观。为形式化这一直觉，本文提出基于STRIPS形式化的行动框架。在技术层面，该贡献以价值基础形式推理（VFR）表达行动，通过智能体价值档案导出的命题集合及其对命题的评估实现。在概念层面，该贡献为一种满足性、多元性、行动导向及偏好性的后果主义伦理提供了计算框架。