Formally Verifying Dynamic Properties of Knowledge Based Systems.
Perry GrootAnnette ten TeijeFrank van HarmelenPublished in: EKAW (1999)
Keyphrases
- knowledge based systems
- expert systems
- knowledge acquisition
- knowledge base
- production rules
- inference engine
- knowledge representation
- artificial intelligence
- knowledge engineering
- knowledge representation scheme
- knowledge structures
- knowledge sources
- rule based systems
- fuzzy logic
- domain knowledge
- civil engineering
- deep knowledge
- machine learning
- intelligent systems
- formal methods
- blackboard architecture