The Local Definability of Robotic Large-Scale Knowledge Based on Splitting
In order to reduce the computational tasks in robots with large-scale and complex knowledge, several methods of robotic knowledge localization have been proposed over the past decades. Logic is an important and useful tool for complex robotic reasoning, action planning, learning and verification. Th...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
SAGE Publishing
2016-02-01
|
| Series: | International Journal of Advanced Robotic Systems |
| Online Access: | https://doi.org/10.5772/62180 |