A Deontic Stit Logic Based on Beliefs and Expected Utility

Aldo Iván Ramírez Abarca
(Utrecht University)
Jan Broersen
(Utrecht University)

The formalization of action and obligation using logic languages is a topic of increasing relevance in the field of ethics for AI. Having an expressive syntactic and semantic framework to reason about agents' decisions in moral situations allows for unequivocal representations of components of behavior that are relevant when assigning blame (or praise) of outcomes to said agents. Two very important components of behavior in this respect are belief and belief-based action. In this work we present a logic of doxastic oughts by extending epistemic deontic stit theory with beliefs. On one hand, the semantics for formulas involving belief operators is based on probability measures. On the other, the semantics for doxastic oughts relies on a notion of optimality, and the underlying choice rule is maximization of expected utility. We introduce an axiom system for the resulting logic, and we address its soundness, completeness, and decidability results. These results are significant in the line of research that intends to use proof systems of epistemic, doxastic, and deontic logics to help in the testing of ethical behavior of AI through theorem-proving and model-checking.

In Joseph Halpern and Andrés Perea: Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2021), Beijing, China, June 25-27, 2021, Electronic Proceedings in Theoretical Computer Science 335, pp. 281–294.
Published: 22nd June 2021.

ArXived at: https://dx.doi.org/10.4204/EPTCS.335.27 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org