Diagnosis and decision making in normative reasoning

Artificial Intelligence and Law 7 (1):51-67 (1999)
  Copy   BIBTEX


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 goals and unfulfilled goals. In this paper we formalize normative diagnoses and decisions in the special purpose formalism DIO(DE)2 as well as in extensions of the preference-based deontic logic PDL. The DIagnostic and DEcision-theoretic framework for DEontic reasoning DIO(DE)2 formalizes reasoning about violations and fulfillments, and is used to characterize the distinction between normative diagnosis theory and (qualitative) decision theory. The extension of the preference-based deontic logic PDL shows how normative diagnostic and decision-theoretic reasoning — i.e. reasoning about violations and fulfillments — can be formalized as an extension of deontic reasoning



    Upload a copy of this work     Papers currently archived: 91,252

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Foundations of Everyday Practical Reasoning.Hanti Lin - 2013 - Journal of Philosophical Logic 42 (6):831-862.
What is diagnosis? Some critical reflections.Caroline Whitbeck - 1981 - Theoretical Medicine and Bioethics 2 (3):319-329.
Similarity in logical reasoning and decision-making.Horacio Arló-Costa - 2005 - Behavioral and Brain Sciences 28 (1):14-15.
Decision Theory.Lara Buchak - 2016 - In Alan Hájek & Christopher Hitchcock (eds.), The Oxford Handbook of Probability and Philosophy. Oxford: Oxford University Press.
Data and Safety Monitoring Board and the Ratio Decidendi of the Trial.Roger Stanev - 2015 - Journal of Philosophy, Science and Law 15:1-26.
Causal reasoning and the diagnostic process.Dominick A. Rizzi - 1994 - Theoretical Medicine and Bioethics 15 (3):315-333.


Added to PP

60 (#259,763)

6 months
8 (#317,415)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Two-phase deontic logic.Leendert Van der Torre & Yao-Hua Tan - 2000 - Logique Et Analyse 43 (171–172):411-456.
Violation games: a new foundation for deontic logic ★.Leendert van der Torre - 2010 - Journal of Applied Non-Classical Logics 20 (4):457-477.

Add more citations

References found in this work

A theory of diagnosis from first principles.Raymond Reiter - 1987 - Artificial Intelligence 32 (1):57-95.
Gentle murder, or the adverbial samaritan.James William Forrester - 1984 - Journal of Philosophy 81 (4):193-197.
The pleadings game.Thomas F. Gordon - 1993 - Artificial Intelligence and Law 2 (4):239-292.

View all 9 references / Add more references