Model Checking the Inconsistency and Circularity in Rule-Based Expert Systems.
Desheng XuKejian XiaDezheng ZhangHuangsheng ZhangPublished in: Comput. Inf. Sci. (2009)
Keyphrases
- model checking
- rule based expert systems
- expert systems
- rule based systems
- temporal logic
- knowledge engineering
- formal verification
- automated verification
- rule base
- formal specification
- temporal properties
- model checker
- bounded model checking
- symbolic model checking
- computation tree logic
- timed automata
- formal methods
- transition systems
- epistemic logic
- verification method
- concurrent systems
- domain specific
- domain knowledge
- reachability analysis
- binary decision diagrams
- expert knowledge
- reactive systems
- knowledge based systems
- knowledge acquisition
- knowledge representation
- artificial intelligence
- machine learning