Integrating ASP into ROS for Reasoning in Robots
Résumé
Knowledge representation and reasoning capacities are vital
to cognitive robotics because they provide higher level functionalities for
reasoning about actions, environments, goals, perception, etc. Although
Answer Set Programming (ASP) is well suited for modelling such func-
tions, there was so far no seamless way to use ASP in a robotic setting.We
address this shortcoming and show how a recently developed ASP sys-
tem can be harnessed to provide appropriate reasoning capacities within
a robotic system. To be more precise, we furnish a package integrating
the new version of the ASP solver clingo with the popular open-source
robotic middleware ROS. The resulting system, ROSoClingo, provides
a generic way by which an ASP program can be used to control the
behaviour of a robot and to respond to the results of the robot's actions.