Diagnosing Dynamic Systems in A Prolog.
Michael GelfondJoel GallowayPublished in: Answer Set Programming (2001)
Keyphrases
- dynamic systems
- model based diagnosis
- complex systems
- consistency based diagnosis
- logic programming
- qualitative reasoning
- discrete event
- dynamical systems
- expert systems
- prolog programs
- knowledge representation
- programming language
- abstract machine
- state estimation
- constraint logic programming
- state variables
- fault localization
- knowledge base
- programming paradigms
- biological systems
- continuous variables
- particle filter
- qualitative models
- ordinary differential equations
- diagnostic systems
- linear time invariant