Interactive Verification of Knowledge-Based Systems.
Musa JafarA. Terry BahillPublished in: IEEE Expert (1993)
Keyphrases
- knowledge based systems
- formal methods
- knowledge acquisition
- expert systems
- knowledge base
- artificial intelligence
- knowledge engineering
- knowledge representation
- civil engineering
- rule based systems
- deep knowledge
- model checking
- knowledge sources
- knowledge representation scheme
- machine learning
- support systems
- mixed initiative
- data visualization
- blackboard architecture
- neural network