International Conference on Logic Programming and Nonmonotonic Reasoning

LPNMR 2015: Logic Programming and Nonmonotonic Reasoning pp 69-82 | Cite as

Integrating ASP into ROS for Reasoning in Robots

  • Benjamin Andres
  • David Rajaratnam
  • Orkunt Sabuncu
  • Torsten Schaub
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9345)

Abstract

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.

Notes

Acknowledgments

This work was funded by ARC (DP150103034) and DFG (550/9).

References

  1. 1.
    Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Clingo = ASP + control: preliminary report. In: Leuschel, M., Schrijvers, T. (eds.) Technical Communications of the Thirtieth International Conference on Logic Programming (ICLP 2014). Theory and Practice of Logic Programming, Online Supplement (2014). http://arxiv.org/abs/1405.3694v1
  2. 2.
    Quigley, M., Gerkey, B., Conley, K., Faust, J., Foote, T., Leibs, J., Berger, E., Wheeler, R., Ng, A.: ROS: an open-source robot operating system. In: ICRA Workshop on OSS (2009)Google Scholar
  3. 3.
    Chen, X., Jiang, J., Ji, J., Jin, G., Wang, F.: Integrating NLP with reasoning about actions for autonomous agents communicating with humans. In: Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2009), pp. 137–140. IEEE (2009)Google Scholar
  4. 4.
    Chen, X., Ji, J., Jiang, J., Jin, G., Wang, F., Xie, J.: Developing high-level cognitive functions for service robots. In: van der Hoek, W., Kaminka, G., Lespérance, Y., Luck, M., Sen, S. (eds.) Proceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), pp. 989–996. IFAAMAS (2010)Google Scholar
  5. 5.
    Aker, E., Erdogan, A., Erdem, E., Patoglu, V.: Causal reasoning for planning and coordination of multiple housekeeping robots. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 311–316. Springer, Heidelberg (2011) CrossRefGoogle Scholar
  6. 6.
    Erdem, E., Aker, E., Patoglu, V.: Answer set programming for collaborative housekeeping robotics: representation, reasoning, and execution. Intel. Serv. Robot. 5(4), 275–291 (2012)CrossRefGoogle Scholar
  7. 7.
    Erdem, E., Haspalamutgil, K., Palaz, C., Patoglu, V., Uras, T.: Combining high-level causal reasoning with low-level geometric reasoning and motion planning for robotic manipulation. In: Proceedings of the IEEE International Conference on Robotics and Automation (ICRA 2011), pp. 4575–4581. IEEE (2011)Google Scholar
  8. 8.
    Andres, B., Rajaratnam, D., Sabuncu, O., Schaub, T.: Integrating ASP into ROS for reasoning in robots: Extended version. Unpublished draft (2015). Available at [13]Google Scholar
  9. 9.
    Gelfond, M., Kahl, Y.: Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach. Cambridge University Press, Cambridge (2014)CrossRefGoogle Scholar
  10. 10.
    Baral, C., Gelfond, M.: Reasoning agents in dynamic domains. In: Minker, J. (ed.) Logic-Based Artificial Intelligence, pp. 257–279. Kluwer Academic, Dordrecht (2000)CrossRefGoogle Scholar
  11. 11.
    Levesque, H., Reiter, R., Lespérance, Y., Lin, F., Scherl, R.B.: GOLOG: a logic programming language for dynamic domains. J. Logic Program. 31(1–3), 59–83 (1997)MATHCrossRefGoogle Scholar
  12. 12.
    Thielscher, M.: Logic-based agents and the frame problem: a case for progression. In: Hendricks, V. (ed.) First-Order Logic Revisited: Proceedings of the Conference 75 Years of First Order Logic (FOL75), pp. 323–336. Logos, Berlin (2004)Google Scholar
  13. 13.
  14. 14.
    Grisetti, G., Stachniss, C., Burgard, W.: Improved techniques for grid mapping with rao-blackwellized particle filters. IEEE Trans. Robot. 23(1), 34–46 (2007)CrossRefGoogle Scholar
  15. 15.
    Thrun, S., Bücken, A.: Integrating grid-based and topological maps for mobile robot navigation. In: Clancey, W., Weld, D. (eds.) Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI 1996), pp. 944–950. AAAI/MIT Press, Portland (1996)Google Scholar
  16. 16.
    De Giacomo, G., Reiter, R., Soutchanski, M.: Execution monitoring of high-level robot programs. In: Cohn, A., Schubert, L., Shapiro, S. (eds.) Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR 1998), pp. 453–465. Morgan Kaufmann, Trento (1998)Google Scholar
  17. 17.
    Pettersson, O.: Execution monitoring in robotics: a survey. Robot. Autonom. Syst. 53(2), 73–88 (2005)MathSciNetCrossRefGoogle Scholar
  18. 18.
    Nilsson, N.: Teleo-reactive programs for agent control. J. Artif. Intell. Res. 1, 139–158 (1994)Google Scholar
  19. 19.
    Khandelwal, P., Yang, F., Leonetti, M., Lifschitz, V., Stone, P.: Planning in action language BC while learning action costs for mobile robots. In: International Conference on Automated Planning and Scheduling (ICAPS) (2014)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Benjamin Andres
    • 1
  • David Rajaratnam
    • 2
  • Orkunt Sabuncu
    • 1
  • Torsten Schaub
    • 1
    • 3
  1. 1.University of PotsdamPotsdamGermany
  2. 2.University of New South WalesSydneyAustralia
  3. 3.INRIA RennesRennesFrance

Personalised recommendations