A Formal description for robots understanding knowledge

DOI

10.2991/isaeece-16.2016.27How to use a DOI?

Keywords

knowledge understanding; autonomous knowledge; formal description; semantic interpretation; logical framework

Abstract

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.

Copyright

© 2016, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Yuanxiu Liao
AU  - Shengming Zhou
AU  - Zhi Li
PY  - 2016/04
DA  - 2016/04
TI  - A Formal description for robots understanding knowledge
BT  - Proceedings of the 2016 International Symposium on Advances in Electrical, Electronics and Computer Engineering
PB  - Atlantis Press
SP  - 128
EP  - 132
SN  - 2352-5401
UR  - https://doi.org/10.2991/isaeece-16.2016.27
DO  - 10.2991/isaeece-16.2016.27
ID  - Liao2016/04
ER  -