Diagnosing Physical Systems in A-Prolog.
Michael GelfondMarcello BalducciniJoel GallowayPublished in: LPNMR (2001)
Keyphrases
- physical systems
- model based diagnosis
- complex systems
- qualitative and quantitative
- expert systems
- programming language
- knowledge representation
- logic programming
- dynamic systems
- knowledge base
- reasoning about physical systems
- fault isolation
- qualitative models
- knowledge acquisition
- causal models
- constraint programming
- conceptual design
- inference engine
- knowledge based systems
- logic programs
- natural language