Logic-Based Ethical Planning
This work addresses ethical planning for robotics, but it appears incremental as it builds on existing logic and preference modeling techniques without demonstrating broad SOTA or specific gains.
The paper tackles the problem of ethical decision-making in planning for robotics by introducing a new language combining linear temporal logic with lexicographic preference modeling, which allows assessing plans based on an agent's values and desires and introduces the concept of morality level.
In this paper we propose a framework for ethical decision making in the context of planning, with intended application to robotics. We put forward a compact but highly expressive language for ethical planning that combines linear temporal logic with lexicographic preference modelling. This original combination allows us to assess plans both with respect to an agent's values and their desires, introducing the novel concept of the morality level of an agent and moving towards multigoal, multivalue planning. We initiate the study of computational complexity of planning tasks in our setting, and we discuss potential applications to robotics.