Logic-Based Ethical Planning

2022/06/01 by Umberto Grandi, Emiliano Lorini, Grandi, Umberto +5
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies

paper · pdf · doi:10.48550/arxiv.2206.00595

openalex publication_date 2022/06/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

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.

Related

• Principles2Plan: LLM-Guided System for Operationalising Ethical Principles into Plans
• Uncertain Machine Ethics Planning
• A Framework for Decision-Theoretic Planning I: Combining the Situation\n Calculus, Conditional Plans, Probability and Utility
• Towards Contrastive Explanations for Comparing the Ethics of Plans
• From computational ethics to morality: how decision-making algorithms can help us understand the emergence of moral principles, the existence of an optimal behaviour and our ability to discover it