A graph-based spatial temporal logic for knowledge representation and automated reasoning in cognitive robots.
Zhiyu LiuMeng JiangHai LinPublished in: CoRR (2020)
Keyphrases
- automated reasoning
- temporal logic
- knowledge representation
- model checking
- temporal resolution
- reasoning systems
- decision procedures
- theorem prover
- modal logic
- probabilistic reasoning
- satisfiability problem
- reasoning tasks
- theorem proving
- mazurkiewicz traces
- computation tree logic
- verification method
- knowledge base
- linear temporal logic
- concurrent systems
- spatial information
- belief revision
- machine learning
- transition systems
- temporal knowledge
- knowledge representation and reasoning
- expert systems
- semi supervised
- description logics
- formal specification
- logic programming
- reinforcement learning
- artificial intelligence
- knowledge based systems
- first order logic