Model-based verification of knowledge-based systems: a case study.
Mar MarcosAngel P. del PobilSabine MoisanPublished in: IEE Proc. Softw. (2000)
Keyphrases
- knowledge based systems
- formal methods
- expert systems
- knowledge acquisition
- model checking
- knowledge base
- knowledge structures
- rule based systems
- civil engineering
- knowledge representation
- knowledge representation scheme
- knowledge engineering
- inference engine
- medical knowledge
- deep knowledge
- knowledge sources
- learning process
- artificial intelligence
- knowledge engineers
- blackboard architecture
- legal knowledge based systems