KJ3--a tool assisting formal validation of knowledge-based systems.
Chih-Hung WuShie-Jue LeePublished in: Int. J. Hum. Comput. Stud. (2002)
Keyphrases
- knowledge based systems
- knowledge acquisition tools
- formal methods
- expert systems
- knowledge acquisition
- knowledge engineers
- knowledge base
- deep knowledge
- knowledge representation
- artificial intelligence
- inference engine
- knowledge engineering
- rule based systems
- knowledge representation scheme
- production rules
- knowledge sources
- computational intelligence
- structural analysis
- bayesian networks
- real world