Thorsten Engesser

A Simple Doxastic Deontic Logic for Norm-Guided Decision Making

Making decisions despite conflicting norms and incomplete or unreliable information is a fundamental challenge for autonomous systems. We introduce a simple doxastic deontic logic for this setting: a classically reducible fragment of Chellas'Minimal Deontic Logic, extended with explicit conditional norms and combined w...