Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Logic, Rationality and Interaction

LORI 2021: Logic, Rationality, and Interaction pp 128–140Cite as

Multi-agent Conformant Planning with Distributed Knowledge

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 13039))

Abstract

In this paper, we study the evolution of knowledge in multi-agent conformant planning over transition systems. We propose a dynamic epistemic logical framework with modalities of distributed knowledge to handle the epistemic reasoning in such scenarios, and we reduce a problem of multi-agent conformant planning to a model checking problem. We prove that multi-agent conformant planning is Pspace-complete on the size of the dynamic epistemic model.

Supported by the National Social Science Foundation for Young Scholars of China (Grant No. 18CZX062).

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   49.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   64.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Andersen, M.B., Bolander, T., Jensen, M.H.: Conditional epistemic planning. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS (LNAI), vol. 7519, pp. 94–106. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-33353-8_8

    Chapter  Google Scholar 

  2. Andersen, M.B., Bolander, T., Jensen, M.H.: Don’t plan for the unexpected: planning based on plausibility models. Logique et Analyse 58, 145–176 (2015)

    Google Scholar 

  3. Aucher, G.: DEL-sequents for regression and epistemic planning. J. Appl. Non-Classical Logics 22(4), 337–367 (2012)

    Article  Google Scholar 

  4. Aucher, G., Bolander, T.: Undecidability in epistemic planning. In: Proceedings of IJCAI 2013, pp. 27–33 (2013)

    Google Scholar 

  5. Bolander, T., Andersen, M.B.: Epistemic planning for single and multi-agent systems. J. Appl. Non-Classical Logics 21(1), 9–34 (2011)

    Article  Google Scholar 

  6. Bolander, T., Charrier, T., Pinchinat, S., Schwarzentruber, F.: DEL-based epistemic planning: decidability and complexity. Artif. Intell. 287, 103304 (2020)

    Google Scholar 

  7. Bolander, T., Engesser, T., Herzig, A., Mattmüller, R., Nebel, B.: The dynamic logic of policies and contingent planning. In: JELIA (2019)

    Google Scholar 

  8. Bolander, T., Jensen, M.H., Schwarzentruber, F.: Complexity results in epistemic planning. In: Proceedings of IJCAI 2015, pp. 2791–2797 (2015)

    Google Scholar 

  9. Fervari, R., Herzig, A., Li, Y., Wang, Y.: Strategically knowing how. In: Proceedings of IJCAI 2017, pp. 1031–1038 (2017)

    Google Scholar 

  10. Jensen, M.H.: Epistemic and doxastic planning. Ph.D. thesis, Technical University of Denmark (2014)

    Google Scholar 

  11. Li, K., Wang, Y.: From rules to runs: a dynamic epistemic take on imperfect information games. Stud. Logic 74–107 (2015)

    Google Scholar 

  12. Li, Y.: Stopping means achieving: a weaker logic of knowing how. Stud. Logic 9(4), 34–54 (2016)

    Google Scholar 

  13. Li, Y., Wang, Y.: Achieving while maintaining: - a logic of knowing how with intermediate constraints. In: Proceedings of ICLA 2017, pp. 154–167 (2017)

    Google Scholar 

  14. Li, Y., Wang, Y.: Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach. In: Blackburn, P., Lorini, E., Guo, M. (eds.) LORI 2019. LNCS, vol. 11813, pp. 126–139. Springer, Heidelberg (2019). https://doi.org/10.1007/978-3-662-60292-8_10

    Chapter  Google Scholar 

  15. Li, Y., Yu, Q., Wang, Y.: More for free: a dynamic epistemic framework for conformant planning over transition systems*. J. Logic Comput. 27(8), 2383–2410 (2017)

    Google Scholar 

  16. Löwe, B., Pacuit, E., Witzel, A.: DEL planning and some tractable cases. In: van Ditmarsch, H., Lang, J., Ju, S. (eds.) LORI 2011. LNCS (LNAI), vol. 6953, pp. 179–192. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-24130-7_13

    Chapter  Google Scholar 

  17. Muise, C., et al.: Planning over multi-agent epistemic states: a classical planning approach. In: The 29th AAAI Conference on Artificial Intelligence (2015)

    Google Scholar 

  18. Pardo, P., Sadrzadeh, M.: Strong planning in the logics of communication and change. In: Baldoni, M., Dennis, L., Mascardi, V., Vasconcelos, W. (eds.) DALT 2012. LNCS (LNAI), vol. 7784, pp. 37–56. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-37890-4_3

    Chapter  Google Scholar 

  19. Savitch, W.J.: Relationships between nondeterministic and deterministic tape complexities. J. Comput. Syst. Sci. 4(2), 177–192 (1970)

    Article  Google Scholar 

  20. Smith, D.E., Weld, D.S.: Conformant graphplan. In: Proceedings of the Fifteenth National/Tenth Conference on Artificial Intelligence/Innovative Applications of Artificial Intelligence, AAAI 1998/IAAI 1998, USA, pp. 889–896. American Association for Artificial Intelligence (1998)

    Google Scholar 

  21. Wang, Y.: A logic of knowing how. In: Proceedings of LORI 2015, pp. 392–405 (2015)

    Google Scholar 

  22. Wang, Y.: A logic of goal-directed knowing how. Synthese 195(10), 4419–4439 (2016). https://doi.org/10.1007/s11229-016-1272-0

    Article  Google Scholar 

  23. Wu, P., Li, Y.: A logic for multi-agent conformant planning over transition systems. IEEE Access 8, 193621–193631 (2020)

    Article  Google Scholar 

  24. Yu, Q., Wen, X., Liu, Y.: Multi-agent epistemic explanatory diagnosis via reasoning about actions. In: Proceedings of IJCAI 2013, pp. 1183–1190 (2013)

    Google Scholar 

Download references

Acknowledgment

The author thanks Yanjing Wang for in-depth discussions on the notion of multi-agent planning, which inspired the example of surprise party mentioned the introduction section. The author also thanks two anonymous reviewers for their useful comments, which helped me to improve the presentation.

Author information

Authors and Affiliations

  1. College of Philosophy, Nankai University, Tianjin, China

    Yanjun Li

Authors
  1. Yanjun Li
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yanjun Li .

Editor information

Editors and Affiliations

  1. Indian Statistical Institute, Chennai, Tamil Nadu, India

    Sujata Ghosh

  2. Department of Philosophy, Stanford University, Stanford, CA, USA

    Thomas Icard

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Li, Y. (2021). Multi-agent Conformant Planning with Distributed Knowledge. In: Ghosh, S., Icard, T. (eds) Logic, Rationality, and Interaction. LORI 2021. Lecture Notes in Computer Science(), vol 13039. Springer, Cham. https://doi.org/10.1007/978-3-030-88708-7_10

Download citation

Publish with us

Policies and ethics

Societies and partnerships

Search

Navigation