A formal model of diagnostic inference. I. Problem formulation and decomposition.
James A. ReggiaDana S. NauPearl Y. WangPublished in: Inf. Sci. (1985)
Keyphrases
- formal model
- decomposition method
- decomposition algorithm
- expert systems
- medical diagnosis
- unified framework
- predicate calculus
- inference process
- image decomposition
- formal models
- security properties
- diagnostic reasoning
- probabilistic knowledge
- diagnostic imaging
- security patterns
- decomposition methods
- belief networks