Formal Notions for Verification of Dynamics of Knowledge-Based Systems.
Jan TreurMark WillemsPublished in: EUROVAV (1995)
Keyphrases
- knowledge based systems
- formal methods
- dynamic aspects
- knowledge acquisition
- expert systems
- knowledge base
- production rules
- rule based systems
- knowledge representation
- knowledge structures
- knowledge engineering
- knowledge representation scheme
- artificial intelligence
- inference engine
- deep knowledge
- information processing
- model checking
- neural network
- domain specific
- natural language
- data mining