Diagnosis and Decision Making in Normative Reasoning

van der Torre, Leendert W. N.; Tan, Yao-Hua

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Journal Article

Diagnosis and Decision Making in Normative Reasoning

MPS-Authors

van der Torre, Leendert W. N.
Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

There are no public fulltexts stored in PuRe

Supplementary Material (public)

There is no public supplementary material available

Citation

van der Torre, L. W. N., & Tan, Y.-H. (1999). Diagnosis and Decision Making in Normative Reasoning. Journal of Artificial Intelligence and Law, 7, 51-67.

Cite as: https://hdl.handle.net/11858/00-001M-0000-000F-3646-6

Abstract

Diagnosis theory reasons about incomplete knowledge and only considers the past. Itdistinguishes between violations and non-violations. Qualitative decision theory reasons aboutdecision variables and considers the future. It distinguishes between fulfilled goals and unfulfilledgoals. In this paper we formalize normative diagnoses and decisions in the special purposeformalism diOde2 as well as in extensions of the preference-based deontic logic 2dl. TheDIagnostic and DEcision-theoretic framework for DEontic reasoning diOde2 formalizesreasoning about violations and fulfillments, and is used to characterize the distinction betweennormative diagnosis theory and (qualitative) decision theory. The extension of thepreference-based deontic logic 2dl shows how normative diagnostic and decision-theoreticreasoning - i.e. reasoning about violations and fulfillments - can be formalized as an extension of deontic reasoning.