Intention is choice with commitment
Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
BIO logical agents: Norms, beliefs, intentions in defeasible logic
Autonomous Agents and Multi-Agent Systems
A Logical Analysis of the Interaction between `Obligation-to-do' and `Knowingly Doing'
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
A Dynamic Logic of Agency I: STIT, Capabilities and Powers
Journal of Logic, Language and Information
Hi-index | 0.00 |
The aim of this work is to provide a logical analysis of moral agency. Although this concept has been extensively studied in social philosophy and in social sciences, it has been far less studied in the field of deontic logic and multi-agent systems (MASs). We discuss different aspects of moral agency such as the distinction between desires and moral values and the concept of moral agent. All these concepts are formalized in a variant of STIT logic with explicit actions.