A Semantic Map for Indoor Robot Navigation Based on Predicate Logic.
Hengsheng WangJin RenPublished in: Int. J. Knowl. Syst. Sci. (2020)
Keyphrases
- robot navigation
- predicate logic
- map building
- semantic net
- semantic network
- topological map
- autonomous mobile robot
- autonomous robots
- robot localization
- formal logic
- knowledge representation and reasoning
- temporal logic
- computational linguistics
- landmark recognition
- scene understanding
- domain specific
- high level
- indoor environments
- natural language processing
- real time
- model checking
- knowledge representation
- high quality
- computer vision
- data mining