A theory of diagnosis from first principles (Q1102126): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q59884925 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0004-3702(87)90062-2 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2108309071 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diagnosing multiple faults / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Counterfactuals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Database Logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A formal model of diagnostic inference. I. Problem formulation and decomposition / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A logic for default reasoning / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 16:04, 18 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A theory of diagnosis from first principles |
scientific article |
Statements
A theory of diagnosis from first principles (English)
0 references
1987
0 references
Suppose one is given a description of a system, together with an observation of the system's behaviour which conflicts with the way the system is meant to behave. The diagnostic problem is to determine those components of the system which, when assumed to be functioning abnormally, will explain the discrepancy between the observed and correct system behaviour. We propose a general theory for this problem. The theory requires only that the system be described in a suitable logic. Moreover, there are many such suitable logics, e.g. first-order, temporal, dynamic, etc. As a result, the theory accommodates diagnostic reasoning in a wide variety of practical settings, including digital and analogue circuits, medicine, and database updates. The theory leads to an algorithm for computing all diagnoses, and to various results concerning principles of measurement for discriminating among competing diagnoses. Finally, the theory reveals close connections between diagnostic reasoning and nonmonotonic reasoning.
0 references
correct system behaviour
0 references
diagnostic reasoning
0 references
nonmonotonic reasoning
0 references