A logic for reasoning about moral agents
Résumé
The aim of this work is to provide a logical analysis of moral agency. Although this concept has been extensively studied in moral philosophy and in economics, it has been far less studied in the areas of logics of agents and multi-agent systems. We discuss different aspects of moral agency such as the distinction between desires and moral values and the concept of moral choice. All these concepts are formalized in a logic of actions and agents’ mental attitudes including knowledge, desires, moral values and preferences.