A Formal description for robots understanding knowledge

摘要

In the research field of robotics, as can be seen from the description of the classification of the robot, the autonomous robots should have their own knowledge. Generally, a robot's knowledge refers to the knowledge in the knowledge base of the robot systems. However, Can a robot understand its knowledge? How describes it? In this study we present a logical framework used to describe robots understanding knowledge. Our framework is a first logic system with a semantic interpretation based on sensed data. In this framework, we give a formal definition that a robot understands knowledge, and we define autonomous knowledge of the robot, i.e. the knowledge belonging to the robot itself. More specifically, if a robot has the ability to acquire knowledge through its sensors and can understand, and apply this knowledge in performing tasks, then this knowledge is considered to be the robot's autonomous knowledge. The goal of our work is to formalize these performances of the robot systems. The robots that is described in the proposed framework would have much highly autonomy in the real world.