TY - GEN
T1 - Representing knowledge in robotic systems with KnowLang
AU - Vassev, Emil
AU - Hinchey, Mike
PY - 2012
Y1 - 2012
N2 - Building intelligent robotic systems is both stirring and extremely challenging. Researchers have realized that robot intelligence can be achieved with a logical approach, but still AI struggles to connect that abstract logic with real-world meanings. This paper presents KnowLang, a new formal language for knowledge representation in a special class of intelligent robotic systems termed ASCENS. Autonomic Service-Component Ensembles (ASCENS) are multi-agent systems formed as mobile, intelligent and open-ended swarms of special autonomic service components capable of local and distributed reasoning. Such components encapsulate rules, constraints and mechanisms for self-adaptation and acquire and process knowledge about themselves, other service components and their environment. In this paper,a brief KnowLang case study of knowledge representation for a robotic system is presented.
AB - Building intelligent robotic systems is both stirring and extremely challenging. Researchers have realized that robot intelligence can be achieved with a logical approach, but still AI struggles to connect that abstract logic with real-world meanings. This paper presents KnowLang, a new formal language for knowledge representation in a special class of intelligent robotic systems termed ASCENS. Autonomic Service-Component Ensembles (ASCENS) are multi-agent systems formed as mobile, intelligent and open-ended swarms of special autonomic service components capable of local and distributed reasoning. Such components encapsulate rules, constraints and mechanisms for self-adaptation and acquire and process knowledge about themselves, other service components and their environment. In this paper,a brief KnowLang case study of knowledge representation for a robotic system is presented.
KW - ASCENS
KW - formal approach
KW - intelligent robotic systems
KW - knowledge representation
KW - robot ontology
UR - http://www.scopus.com/inward/record.url?scp=84868352751&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-34781-8_7
DO - 10.1007/978-3-642-34781-8_7
M3 - Conference contribution
AN - SCOPUS:84868352751
SN - 9783642347801
T3 - Communications in Computer and Information Science
SP - 91
EP - 105
BT - Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011, Revised Selected Papers
T2 - International Workshops on Software Aspects of Robotic Systems, SARS 2011 and Machine Learning for System Construction, MLSC 2011, Held Under the Auspices of the ISoLA 2011
Y2 - 17 October 2011 through 18 October 2011
ER -