Predicate logic reasoning for exploration coordination of multi-robot systems in structured environments.
Xuefeng DaiJiazhi WangJianqi ZhaoDahui LiZhifeng YaoPublished in: Concurr. Comput. Pract. Exp. (2022)
Keyphrases
- predicate logic
- multi robot systems
- structured environments
- knowledge representation and reasoning
- multiple robots
- multi robot
- multi agent
- autonomous vehicles
- path planning
- reasoning systems
- stereo vision
- mobile robot
- knowledge representation
- autonomous robots
- artificial intelligence
- logical formulas
- computational linguistics
- logic programming
- description logics
- temporal logic
- semantic network
- automated reasoning
- knowledge base
- incomplete information
- cooperative
- collision avoidance
- multiagent systems
- obstacle avoidance
- real time
- topological map
- order sorted
- ai planning
- ant colony
- probabilistic reasoning
- lower level
- text mining
- multi agent systems
- high level