Representing knowledge in robotic systems with KnowLang

Emil Vassev, Mike Hinchey

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

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.

Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011, Revised Selected Papers
Pages91-105
Number of pages15
DOIs
Publication statusPublished - 2012
EventInternational 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 - Vienna, Austria
Duration: 17 Oct 201118 Oct 2011

Publication series

NameCommunications in Computer and Information Science
Volume336 CCIS
ISSN (Print)1865-0929

Conference

ConferenceInternational 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
Country/TerritoryAustria
CityVienna
Period17/10/1118/10/11

Keywords

  • ASCENS
  • formal approach
  • intelligent robotic systems
  • knowledge representation
  • robot ontology

Fingerprint

Dive into the research topics of 'Representing knowledge in robotic systems with KnowLang'. Together they form a unique fingerprint.

Cite this