Skip to main content

Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach


We study the problem of finding optimal plans for multiple teams of robots through a mediator, where each team is given a task to complete in its workspace on its own and where teams are allowed to transfer robots between each other, subject to the following constraints: 1) teams (and the mediator) do not know about each other's workspace or tasks (e.g., for privacy purposes); 2) every team can lend or borrow robots, but not both (e.g., transportation/calibration of robots between/for different workspaces is usually costly). We present a mathematical definition of this problem and analyze its computational complexity. We introduce a novel, logic-based method to solve this problem, utilizing action languages and answer set programming for representation, and the state-of-the-art ASP solvers for reasoning. We show the applicability and usefulness of our approach by experiments on various scenarios of responsive and energy-efficient cognitive factories.

Hide All
Aker, E., Patoglu, V. and Erdem, E. 2012. Answer set programming for reasoning with semantic knowledge in collaborative housekeeping robotics. In Proc. of IFAC SYROCO.
Alami, R., Ingrand, F. and Qutub, S. 1998. A scheme for coordinating multi-robots planning activities and plans execution. In Proc. of ECAI, 617–621.
Beetz, M., Buss, M. and Wollherr, D. 2007. CTS - What is the role of artificial intelligence? In Proc. of KI, 19–42.
Brewka, G., Eiter, T. and Truszczynski, M. 2011. Answer set programming at a glance. Communications of the ACM 54, 12, 92103.
Casolary, M. and Lee, J. 2011. Representing the language of the causal calculator in answer set programming. In Proc. of ICLP (Technical Communications), 51–61.
Chevaleyre, Y., Dunne, P. E., Endriss, U., Lang, J., Lemaître, M., Maudet, N., Padget, J. A., Phelps, S., Rodríguez-Aguilar, J. A. and Sousa, P. 2006. Issues in multiagent resource allocation. Informatica 30, 1, 331.
Dantsin, E., Eiter, T., Gottlob, G. and Voronkov, A. 2001. Complexity and expressive power of logic programming. ACM Computing Surveys 33, 3, 374425.
Decker, K. and Lesser, V. 1994. Designing a family of coordination algorithms. In Proc. of DAI, 65–84.
Dovier, A., Formisano, A. and Pontelli, E. 2013. Autonomous agents coordination: Action languages meet clp() and linda. TPLP 13, 2, 149173.
Durfee, E. H. and Lesser, V. R. 1987. Planning coordinated actions in dynamic domains. In Proc. of the DARPA Knowledge-Based Planning Workshop, 18.1–18.10.
Ehtamo, H., Hamalainen, R. P., Heiskanen, P., Teich, J., Verkama, M. and Zionts, S. 1999. Generating pareto solutions in a two-party setting: Constraint proposal methods. Management Science 45, 12, 16971709.
Ephrati, E. and Rosenschein, J. S. 1993. Multi-agent planning as the process of merging distributed sub-plans. In Proc. of DAI, 115–129.
Erdem, E., Aker, E. and Patoglu, V. 2012. Answer set programming for collaborative housekeeping robotics: Representation, reasoning, and execution. Intelligent Service Robotics 5, 4, 275291.
Erdem, E., Haspalamutgil, K., Palaz, C., Patoglu, V. and Uras, T. 2011. Combining high-level causal reasoning with low-level geometric reasoning and motion planning for robotic manipulation. In Proc. of ICRA.
Erdem, E., Haspalamutgil, K., Patoglu, V. and Uras, T. 2012. Causality-based planning and diagnostic reasoning for cognitive factories. In Proc. of IEEE International Conference on Emerging Technologies and Factory Automation (ETFA).
Erdem, E. and Patoglu, V. 2012. Applications of action languages in cognitive robotics. In Correct Reasoning 229–246.
Erol, K., Nau, D. S. and Subrahmanian, V. S. 1995. Complexity, decidability and undecidability results for domain-independent planning. Artificial Intelligence 76, 1–2, 7588.
Foulser, D., Li, M. and Yang, Q. 1992. Theory and algorithms for plan merging. Artificial Intelligence Journal 57, 143182.
Gaston, M. E. and desJardins, M. 2008. The effect of network structure on dynamic team formation in multi-agent systems. Computational Intelligence 24, 2, 122157.
Gebser, M., Kaminski, R., König, A. and Schaub, T. 2011. Advances in gringo series 3. In Proc. of LPNMR, 345–351.
Gebser, M., Kaufmann, B., Neumann, A. and Schaub, T. 2007. clasp: A conflict-driven answer set solver. In Proc. of LPNMR, 260–265.
Gelfond, M. and Lifschitz, V. 1998. Action languages. Electronic Transactions on Artificial Intelligence 2, 193210.
Georgeff, M. P. 1988. Communication and interaction in multi-agent planning. In Readings in Distributed AI, 200–204.
Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N. and Turner, H. 2004. Nonmonotonic causal theories. AIJ 153, 49104.
Hamadi, Y., Jabbour, S. and Sais, L. 2009. Control-based clause sharing in parallel sat solving. In Proc. of IJCAI, 499–504.
Havur, G., Haspalamutgil, K., Palaz, C., Erdem, E. and Patoglu, V. 2013. A case study on the tower of hanoi challenge: Representation, reasoning and execution. In Proc. of ICRA.
Hunsberger, L. and Grosz, B. J. 2000. A combinatorial auction for collaborative planning. In Proc. of ICMAS, 151–158.
Kowalski, R. A. and Sadri, F. 2013. Towards a logic-based unifying framework for computing. CoRR abs/1301.6905.
Lifschitz, V. 2002. Answer set programming and plan generation. Artificial Intelligence 138, 3954.
Lifschitz, V. 2008. What is answer set programming. In Proc. of AAAI, MIT Press, 15941597.
Lin, S.-H. 2011. Coordinating time-constrained multi-agent resource sharing with fault detection. In Proc. of IEEM, 1000–1004.
de Weerdt, M. M., B. J. C. 2009. Introduction to planning in multiagent systems. Multiagent and Grid Systems 5, 345355.
Marek, V. and Truszczyński, M. 1999. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: A 25-Year Perspective, Springer Verlag, 375398.
McCain, N. and Turner, H. 1997. Causal theories of action and change. In Proc. of AAAI/IAAI, 460–465.
Nair, R., Tambe, M. and Marsella, S. 2002. Team formation for reformation in multiagent domains like robocuprescue. In Proc. of RoboCup, 150–161.
Niemelä, I. 1999. Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence 25, 241273.
Shoham, Y. and Tennenholtz, M. 1995. On social laws for artificial agent societies:off-line design. Artificial Intelligence 73, 231252.
Stuart, C. 1985. An implementation of a multi-agent plan synchronizer. In Proc. of IJCAI, 1031–1033.
Sycara, K. P., Roth, S. P., Sadeh, N. M. and Fox, M. S. 1991. Resource allocation in distributed factory scheduling. IEEE Expert 6, 1, 2940.
ter Mors, A., Valk, J. and Witteveen, C. 2004. Coordinating autonomous planners. In Proc. of IC-AI, 795–801.
Trejo, R., Galloway, J., Sachar, C., Kreinovich, V., Baral, C. and Tuan, L.-C. 2001. From planning to searching for the shortest plan: An optimal transition. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 9, 6, 827837.
Turner, H. 2002. Polynomial-length planning spans the polynomial hierarchy. In Proc. of JELIA, 111–124.
van der Krogt, R., Roos, N., de Weerdt, M. and Witteveen, C. 2005. Multiagent planning through plan repair. In Proc. of AAMAS, 1337–1338.
Yang, Q., Nau, D. S. and Hendler, J. 1992. Merging separately generated plans with restricted interactions. Computational Intelligence 8, 648676.
Zaeh, M., Beetz, M., Shea, K., Reinhart, G., Bender, K., Lau, C., Ostgathe, M., Vogl, W., Wiesbeck, M., Engelhard, M., Ertelt, C., Rhr, T., Friedrich, M. and Herle, S. 2009. The cognitive factory. In Changeable and Reconfigurable Manufacturing Systems, 355–371.
Zaeh, M., Ostgathe, M., Geiger, F. and Reinhart, G. 2012. Adaptive job control in the cognitive factory. In Enabling Manufacturing Competitiveness and Economic Sustainability, ElMaraghy, H. A., Ed. Springer, Berlin Heidelberg, 1017.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Type Description Title
Supplementary materials

Erdem et al. supplementary material

 PDF (343 KB)
343 KB


Full text views

Total number of HTML views: 0
Total number of PDF views: 26 *
Loading metrics...

Abstract views

Total abstract views: 201 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 25th March 2018. This data will be updated every 24 hours.