ICD 10 Based Medical Expert System Using Fuzzy Temporal Logic
P. ChinniahS. MuttanPublished in: CoRR (2010)
Keyphrases
- temporal logic
- medical expert system
- model checking
- knowledge acquisition
- modal logic
- expert systems
- satisfiability problem
- linear temporal logic
- fuzzy sets
- knowledge base
- model checker
- concurrent systems
- fuzzy set theory
- computation tree logic
- verification method
- belief revision
- transition systems
- automata theoretic
- qualitative and quantitative
- temporal knowledge
- artificial intelligence
- bounded model checking
- temporally extended goals
- formal specification language