Keyphrases
- knowledge base
- logic programming
- knowledge representation
- inference engine
- expert systems
- description logics
- knowledge acquisition
- backward chaining
- knowledge based systems
- abstract machine
- possibilistic logic
- wordnet
- prolog programs
- meta knowledge
- high level
- domain experts
- knowledge sources
- rule base
- production rules
- real time
- programming language
- formal representation
- logic programming language
- similarity measure
- database systems
- functional programming
- real world