Reasoning for Autonomous Agents in Dynamic Domains

Stephan Opfer, Stefan Jakob, Kurt Geihs

Abstract

In contrast to simple autonomous vacuum cleaners, multi-purpose robots that fetch a cup of coffee and clean up rooms require cognitive skills such as learning, planning, and reasoning. Especially reasoning in dynamic and human populated environments demands for novel approaches that can handle comprehensive and fluent knowledge bases. A promising approach is Answer Set Programming (ASP), offering multi-shot solving techniques and non-monotonic stable model semantics. Our objective is to equip multi-agent systems with ASP-based reasoning capabilities, enabling a team of robots to cope with dynamic environments. Therefore, we combined ALICA - A Language for Interactive Cooperative Agents - with the ASP solver Clingo and chose topological path planning as our evaluation scenario. We utilised the Region Connection Calculus as underlying formalism of our evaluation and investigated the scalability of our implementation. The results show that our approach handles dynamic environments and scales up to appropriately large problem sizes.

References

  1. Brachman, R. J. and Levesque, H. J. (2003). Knowledge Representation and Reasoning. Morgan Kaufmann, Morgan Kaufmann Series in Artificial Intelligence.
  2. Brewka, G., Eiter, T., and TruszczyÁski, M. (2011). Answer set programming at a glance. Communications of the ACM, 54(12):92-103.
  3. Eiter, T., Ianni, G., and Krennwallner, T. (2009). Answer Set Programming: A primer. In Tessaris, S., Enrico Franconi, Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M.-C., and Schmidt, Renate A. Schmidt, editors, Reasoning Web. Semantic Technologies for Information Systems, volume 5689. Springer, Berlin and New York.
  4. Gat, E. (1998). On Three-Layer Architectures. In Kortenkamp, D., Bonasso, R. P., and Murphy, R., editors, Artificial Intelligence and Mobile Robots: Case Studies of Successful Robot Systems, pages 195-210. MIT Press, Cambridge, USA.
  5. Gatsoulis, Y., Alomari, M., Burbridge, C., Dondrup, C., Duckworth, P., Lightbody, P., Hanheide, M., Hawes, N., Hogg, D. C., and Cohn, A. G. (2016). QSRlib: A Software Library for Online Acquisition of Qualitative Spatial Relations from Video. In Bredeweg, B., Kansou, K., and Klenk, M., editors, Proceedings of the 29th International Workshop on Qualitative Reasoning, pages 36-41.
  6. Gebser, M., Grote, T., Kaminski, R., Obermeier, P., Sabuncu, O., and Schaub, T. (2012). Answer set programming for stream reasoning. In Eiter, T. and McIlraith, S., editors, Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'12), volume 13, pages 613-617. AAAI Press.
  7. Gebser, M., Janhunen, T., Jost, H., Kaminski, R., and Schaub, T. (2015). ASP Solving for Expanding Universes. pages 354-367. Springer International Publishing.
  8. Gebser, M., Kaminski, R., Kaufmann, B., and Schaub, T. (2014). Clingo = ASP + Control: Preliminary Report. In M. Leuschel and T. Schrijvers, editors, Technical Communications of the Thirtieth International Conference on Logic Programming (ICLP'14), volume 14(4-5).
  9. Gelfond, M. and Kahl, Y. (2014). Knowledge representation, reasoning, and the design of intelligent agents: The answer-set programming approach. Cambridge University Press, Cambridge, USA.
  10. Heintz, F., Kvarnström, J., and Doherty, P. (2010). Bridging the Sense-Reasoning Gap: DyKnow - Streambased Middleware for Knowledge Processing. Advanced Engineering Informatics, 24(1):14-26.
  11. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., and Scarcello, F. (2006). The DLV System for Knowledge Representation and Reasoning. ACM Transactions on Computational Logic, 7(3):499-562.
  12. Opfer, S., Niemczyk, S., and Geihs, K. (2016). Multi-Agent Plan Verification with Answer Set Programming. In Aßmann, U., Brugali, D., and Piechnick, C., editors, Proceedings of the Third Workshop on Model-Driven Robot Software Engineering. ACM.
  13. Randell, D. A., Cui, Z., and Cohn, A. G. (1992). A Spatial Logic based on Regions and Connection. In Nebel, B., Rich, C., and Swartout, W., editors, Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning, volume 92, pages 165-176, San Francisco, CA, USA. Morgan Kaufmann.
  14. Skubch, H. (2013). Modelling and Controlling of Behaviour for Autonomous Mobile Robots. Springer Vieweg, 1 edition.
  15. Skubch, H., Saur, D., and Geihs, K. (2011a). Resolving Conflicts in Highly Reactive Teams. In Luttenberger, N. and Peters, H., editors, 17th GI/ITG Conference on Communication in Distributed Systems (KiVS 2011), volume 17 of OpenAccess Series in Informatics (OASIcs), pages 170-175, Dagstuhl, Germany. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.
  16. Skubch, H., Wagner, M., Reichle, R., and Geihs, K. (2011b). A Modelling Language for Cooperative Plans in Highly Dynamic Domains. In van de Molengraft, M. and Zweigle, O., editors, Special Issue on Advances in Intelligent Robot Design for the Robocup Middle Size League, volume 21, pages 423-433.
  17. Tenorth, M. and Beetz, M. (2013). KnowRob: A Knowledge Processing Infrastructure for Cognition-Enabled Robots. International Journal of Robotics Research, 32(5):566-590.
  18. Wang, J. (2010). PR2 at the Intelligent Autonomous Systems Group, Technical University Munich. https://www.flickr.com/photos/jiuguangw/5136649984 [Online; accessed December 9, 2016].
  19. WillowGarage (2010). Turtlebot Website. http://www.turtlebot.com/ [Online; accessed November 8th, 2016.].
  20. Witsch, A. (2016). Decision Making for Teams of Mobile Robots. Dissertation, University of Kassel, Kassel, Germany.
Download


Paper Citation


in Harvard Style

Opfer S., Jakob S. and Geihs K. (2017). Reasoning for Autonomous Agents in Dynamic Domains . In Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-220-2, pages 340-351. DOI: 10.5220/0006297603400351


in Bibtex Style

@conference{icaart17,
author={Stephan Opfer and Stefan Jakob and Kurt Geihs},
title={Reasoning for Autonomous Agents in Dynamic Domains},
booktitle={Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2017},
pages={340-351},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006297603400351},
isbn={978-989-758-220-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Reasoning for Autonomous Agents in Dynamic Domains
SN - 978-989-758-220-2
AU - Opfer S.
AU - Jakob S.
AU - Geihs K.
PY - 2017
SP - 340
EP - 351
DO - 10.5220/0006297603400351