Two Aspects of the Validation and Verification of Knowledge-Based Systems.
Trevor J. M. Bench-CaponFrans CoenenHyacinth S. NwanaRay PatonMichael J. R. ShavePublished in: IEEE Expert (1993)
Keyphrases
- knowledge based systems
- knowledge acquisition
- expert systems
- formal methods
- knowledge base
- artificial intelligence
- knowledge engineering
- production rules
- model checking
- inference engine
- knowledge sources
- civil engineering
- knowledge representation scheme
- blackboard architecture
- knowledge representation
- medical knowledge
- systems engineering
- deep knowledge
- knowledge structures
- rule based systems