ROSoClingo
Integrating ASP into ROS for reasoning in robots. 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 functions, 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 system 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 robot operating system (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.
Keywords for this software
References in zbMATH (referenced in 5 articles , 1 standard article )
Showing results 1 to 5 of 5.
Sorted by year (- Bertolucci, Riccardo; Capitanelli, Alessio; Dodaro, Carmine; Leone, Nicola; Maratea, Marco; Mastrogiovanni, Fulvio; Vallati, Mauro: Manipulation of articulated objects using dual-arm robots via answer set programming (2021)
- De Wulf, Wolf; Bogaerts, Bart: \textsclp2pb: translating answer set programs into pseudo-Boolean theories (2020)
- Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten: Multi-shot ASP solving with clingo (2019)
- Bogaerts, Bart; Janhunen, Tomi; Tasharrofi, Shahab: Stable-unstable semantics: beyond NP with normal logic programs (2016)
- Andres, Benjamin; Rajaratnam, David; Sabuncu, Orkunt; Schaub, Torsten: Integrating ASP into ROS for reasoning in robots (2015)