Evaluation of verification tools for knowledge-based systems.
Alun D. PreeceStephane TalbotLaurence VignolletPublished in: Int. J. Hum. Comput. Stud. (1997)
Keyphrases
- knowledge based systems
- formal methods
- legal knowledge based systems
- expert systems
- knowledge acquisition
- knowledge acquisition tools
- knowledge base
- medical knowledge
- knowledge engineering
- knowledge representation
- model checking
- knowledge engineers
- rule based systems
- production rules
- deep knowledge
- inference engine
- knowledge sources
- artificial intelligence
- civil engineering
- blackboard architecture
- knowledge structures
- knowledge representation scheme
- decision making