Keyphrases
- knowledge representation
- procedural semantics
- logic programming
- medical diagnosis
- knowledge base
- fault diagnosis
- model based reasoning
- expert systems
- programming language
- neural network
- logic programming language
- high level
- model based diagnosis
- domain independent
- medical knowledge
- prolog programs
- diagnostic tests
- functional programming
- fault detection
- attribute grammars
- automatic diagnosis
- abstract machine
- machine learning
- diagnostic process
- breast cancer diagnosis
- attention deficit hyperactivity disorder
- declarative knowledge
- early diagnosis
- diagnostic reasoning
- causal reasoning
- rule based systems
- bayesian networks
- case study
- search engine
- learning algorithm
- genetic algorithm