Publisher Summary This chapter presents an introduction to the most standard monadic
systems of deontic logic. Deontic logic has been strongly influenced by ideas in modal logic …

We investigate under what conditions contrary-to-duty (CTD) structures lacking temporal and
action elements can be given a coherent reading. We argue, contrary to some recent …

One of the main issues in the discussion on standard deontic logic (SDL) is the
representation of contrary-to-duty (CTD) obligations. A well-known example is Forrester's …

Enabling autonomous systems to comply with an ethical theory is critical given their
accelerating deployment in domains that impact society. While many ethical theories have …

Deontic logic is the logic of obligations, ie reasoning about what should be the case.
Defeasible logic is the logic of default assumptions, ie reasoning about what normally is the …

In this paper we discuss when and how to use deontic logic in multi-agent systems. Our
central question is how to proceed once a norm has been violated or defeated, a key issue …

Ethically compliant autonomous systems (ECAS) are the prevailing approach to building
robotic systems that perform sequential decision making subject to ethical theories in fully …

This paper compares two ways of formalising defeasible deontic reasoning, both based on
the view that the issues of conflicting obligations and moral dilemmas should be dealt with …

This paper addresses the problem of conflicting norms. The solution we describe is based
on the concept of role: a role defines some permissions, obligations and prohibitions which …

In many sequential decision-making problems, ethical compliance is enforced by either
myopic rule sets or provisional modifications to the objective function. The effect of these …