Datensatz

Zusammenfassung

In this paper we introduce the DIagnostic and DEcision-theoretic framework for DEontic reasoning diO(de)2. The framework diO(de)2 formalizes reasoning about violations and goals. We use this framework to discuss two theories of normative reasoning, diagnosis theory and (qualitative) decision theory. A crucial distinction between the two theories is their perspective on time. Diagnosis theory reasons about incomplete knowledge and only considers the past. It distinguishes between violations and non-violations. Qualitative decision theory reasons about decision variables and considers the future. It distinguishes between fulfilled obligations and unfulfilled obligations. Moreover, we discuss the relation between the two theories of normative reasoning and deontic logic. The theories formalize reasoning with norms, and they are thus different from deontic logic, that formalizes reasoning about norms.