A Fuzzy Petri Net Tool For Modeling and Verification of Knowledge-Based Systems.
Samir M. KoriemPublished in: Comput. J. (2000)
Keyphrases
- knowledge based systems
- knowledge representation scheme
- fuzzy petri net
- knowledge acquisition tools
- knowledge acquisition
- expert systems
- formal methods
- production rules
- knowledge base
- knowledge engineers
- knowledge representation
- artificial intelligence
- petri net
- knowledge engineering
- deep knowledge
- knowledge sources
- knowledge structures
- fuzzy rules
- civil engineering
- representation scheme
- neural network
- model checking
- computational intelligence
- pattern recognition
- multiscale
- data mining