Automated Reasoning - What is robotic reasoning?

To illustrate the concept of robotic reasoning, consider a robot that can reason about its environment by referring to models of specific components. Finding appropriate forms for these explicit representations and tracing the origin of the represented information are the two primary challenges that emerge from this.