[en] Robot knowledge of the world is created from discrete and asynchronous events received from its perception components. Proper representation and maintenance of robot knowledge is crucial to enable the use of robot knowledge for planning, user-interaction, etc. This paper identifies some of the main issues related to the representation, maintenance and querying of robot knowledge based on discrete asynchronous events such as event-history management and synchronization, and introduces a language for simplifying developers’ job at making a suitable representation of robot knowledge.
Disciplines :
Computer science
Author, co-author :
ZIAFATI, Pouyan ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
ELRAKAIBY, Yehia ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
VAN DER TORRE, Leon ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
VOOS, Holger ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Engineering Research Unit ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Dastani, Mehdi
Meyer, John-Jules
VAN ZEE, Marc ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
External co-authors :
yes
Language :
English
Title :
Reasoning on Robot Knowledge from Discrete and Asynchronous Observations
Publication date :
March 2014
Event name :
AAAI Spring Symposium 2014: Knowledge Representation and Reasoning in Robotics
Event place :
Stanford, United States
Event date :
from 24-03-2014 to 26-10-2014
Audience :
International
Main work title :
AAAI Spring Symposium 2014: Knowledge Representation and Reasoning in Robotics, Stanford, USA, 2015
