Keyphrases
- expert systems
- knowledge based systems
- knowledge acquisition
- specification language
- fault diagnosis
- knowledge engineering
- knowledge representation
- object oriented
- expert knowledge
- knowledge base
- intelligent systems
- medical diagnosis
- real time
- higher order
- high level
- algebraic structure
- machine learning
- inference engine
- formal verification
- reactive systems
- rule based expert systems
- user defined
- fuzzy logic
- domain knowledge
- hidden markov models
- bayesian networks
- artificial intelligence
- genetic algorithm
- databases