Verification of Knowledge-Based Systems Using Predicate/Transition Nets.
Victor R. L. ShenTong-Ying Tony JuangPublished in: IEEE Trans. Syst. Man Cybern. Part A (2008)
Keyphrases
- knowledge based systems
- formal methods
- expert systems
- knowledge acquisition
- production rules
- knowledge representation
- knowledge base
- model checking
- artificial intelligence
- knowledge structures
- blackboard architecture
- deep knowledge
- artificial neural networks
- knowledge sources
- inference engine
- neural network
- medical knowledge
- civil engineering
- knowledge representation scheme
- computational intelligence
- software engineering
- domain knowledge
- decision making
- rule based systems