Artificial Intelligence
A theory of diagnosis from first principles
Artificial Intelligence
A spectrum of logical definitions of model-based diagnosis
Computational Intelligence
Contexts: a formalization and some applications
Contexts: a formalization and some applications
Characterizing diagnoses and systems
Artificial Intelligence
Diagnosis based on explicit means-end models
Artificial Intelligence
Goal-directed diagnosis—a diagnostic reasoning framework for exploratory-corrective domains
Artificial Intelligence
Information flow: the logic of distributed systems
Information flow: the logic of distributed systems
Conjunctive constraint mapping for data translation
Proceedings of the third ACM conference on Digital libraries
A spectrum of definitions for temporal model-based diagnosis
Artificial Intelligence
Analysis of notions of diagnosis
Artificial Intelligence
Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence
Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence
Process algebras for systems diagnosis
Artificial Intelligence
Knowledge management technology
IBM Systems Journal
| Hi-index | 0.01 |
Diagnostic systems depend on knowledge bases specifying the causal, structural or functional interactions among components of the diagnosed objects. A diagnostic specification in a diagnostic system is a semantic interpretation of a knowledge base. We introduce the notion of diagnostic specification morphism and some operations of diagnostic specifications that can be used to model knowledge transformation and fusion, respectively. The relation between diagnostic methods in the source system and the target system of a specification morphism is examined. Also, representations of diagnostic methods in a composed system modelled by operations of specifications are given in terms of the corresponding diagnostic methods in its component systems.