Knowledge Reasoning Based on 2n-Valued Temporal Logic.
Yuanxiu LiaoJingli WuXudong LuoPublished in: ICIC (1) (2018)
Keyphrases
- temporal logic
- temporal knowledge
- model checking
- knowledge base
- temporal reasoning
- reasoning process
- knowledge representation
- satisfiability problem
- temporal information
- expert systems
- modal logic
- formal representation
- concurrent systems
- verification method
- knowledge based systems
- predicate logic
- transition systems
- linear temporal logic
- knowledge acquisition
- automata theoretic
- artificial intelligence
- formal specification language
- model checker
- knowledge representation and reasoning
- representation language
- automated reasoning
- belief revision
- first order logic