Verification and Validation of Knowledge-Based Systems.
Wei-Tek TsaiRamakrishna V. VishnuvajjalaDu ZhangPublished in: IEEE Trans. Knowl. Data Eng. (1999)
Keyphrases
- knowledge based systems
- formal methods
- expert systems
- knowledge acquisition
- knowledge base
- artificial intelligence
- knowledge representation
- model checking
- knowledge structures
- knowledge engineering
- knowledge sources
- inference engine
- knowledge representation scheme
- fuzzy logic
- blackboard architecture
- deep knowledge