Skip to main content
SpringerLink
Log in

Multi-agent Knowing How via Multi-step Plans: A Dynamic Epistemic Planning Based Approach

  • Conference paper
  • First Online:
Book cover Logic, Rationality, and Interaction (LORI 2019)

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

Included in the following conference series:

Abstract

There are currently two approaches to the logic of knowing how: the planning-based one and the coalition-based one. However, the first is single-agent, and the second is based on single-step joint actions. In this paper, to overcome both limitations, we propose a multi-agent framework for the logic of knowing how, based on multi-step dynamic epistemic planning studied in the literature. We obtain a sound and complete axiomatization and show that the logic is decidable, although the corresponding multi-agent epistemic planning problem is undecidable.

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

Access this chapter

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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

Institutional subscriptions

Notes

  1. 1.

    It is not the case in the closely related epistemic ATL e.g., [7].

  2. 2.

    One may find \(\mathtt {AxKtoKh}\) counter-intuitive under the global view of know-how (cf. [18]): knowing that the safe is open does not imply knowing how to open it in all the possible situations. However, the notion of know-how in this paper is a local one: knowing how to achieve \(\varphi \) under the current circumstance.

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. Aucher, G., Bolander, T.: Undecidability in epistemic planning. In: Proceedings of IJCAI 2013, pp. 27–33 (2013)

    Google Scholar 

  3. Bolander, T.: A gentle introduction to epistemic planning: the DEL approach. Electron. Proc. Theor. Comput. Sci. 243, 1–22 (2017)

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  5. Fan, J., Wang, Y., Van Ditmarsch, H.: Contingency and knowing whether. Rev. Symbolic Logic 8(1), 75–107 (2015)

    Article  MathSciNet  Google Scholar 

  6. Fervari, R., Herzig, A., Li, Y., Wang, Y.: Strategically knowing how. In: IJCAI International Joint Conference on Artificial Intelligence, pp. 1031–1038 (2017)

    Google Scholar 

  7. Jamroga, W., Ågotnes, T.: Constructive knowledge: what agents can achieve under imperfect information. J. Appl. Non-Classical Logics 17(4), 423–475 (2007)

    Article  MathSciNet  Google Scholar 

  8. Li, Y., Wang, Y.: Achieving while maintaining: a logic of knowing how with intermediate constraints. In: Ghosh, S., Prasad, S. (eds.) ICLA 2017. LNCS, vol. 10119, pp. 154–167. Springer, Heidelberg (2017). https://doi.org/10.1007/978-3-662-54069-5_12

    Chapter  Google Scholar 

  9. Moore, R.C.: A formal theory of knowledge and action. Technical report, DTIC Document (1984)

    Google Scholar 

  10. Naumov, P., Tao, J.: Second-order know-how strategies. In: 2018 AAMAS (2018)

    Google Scholar 

  11. Naumov, P., Tao, J.: Strategic coalitions with perfect recall. In: 2018 AAAI (2018)

    Google Scholar 

  12. Naumov, P., Tao, J.: Together we know how to achieve: an epistemic logic of know-how. Artif. Intell. 262(9), 279–300 (2018)

    Article  MathSciNet  Google Scholar 

  13. Naumov, P., Tao, J.: Knowing-how under uncertainty. Artif. Intell. 276, 41–56 (2019)

    Article  MathSciNet  Google Scholar 

  14. Stanley, J.: Know How. Oxford University Press, Oxford (2011)

    Book  Google Scholar 

  15. van Benthem, J., Gerbrandy, J., Hoshi, T., Pacuit, E.: Merging frameworks for interaction. J. Philos. Logic 38(5), 491–526 (2009)

    Article  MathSciNet  Google Scholar 

  16. Wang, Y.: A Logic of knowing how. In: Proceedings of LORI-V, pp. 392–405 (2015)

    Chapter  Google Scholar 

  17. Wang, Y.: A logic of goal-directed knowing how. In: Synthese, pp. 1–21 (2016)

    Google Scholar 

  18. Wang, Y.: Beyond knowing that: a new generation of epistemic logics. In: van Ditmarsch, H., Sandu, G. (eds.) Jaakko Hintikka on Knowledge and Game-Theoretical Semantics. OCL, vol. 12, pp. 499–533. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-62864-6_21

    Chapter  Google Scholar 

  19. Wang, Y., Aucher, G.: An alternative axiomatization of DEL and its applications. In: IJCAI, pp. 1147–1154 (2013)

    Google Scholar 

  20. Wang, Y., Cao, Q.: On axiomatizations of public announcement logic. Synthese 190(1S), 103–134 (2013)

    Article  MathSciNet  Google Scholar 

  21. Wang, Y., Fan, J.: Conditionally knowing what. In: Proceedings of AiML, vol. 10, pp. 569–587 (2014)

    Google Scholar 

  22. Xu, C., Wang, Y., Studer, T.: A logic of knowing why. Synthese (2019)

    Google Scholar 

  23. 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

Acknowledgement

Yanjun Li would like to thank the support from NSSF grant 18CZX062. The authors thank the anonymous reviewers for their detailed comments that improved the presentation of the paper.

Author information

Authors and Affiliations

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

    Yanjun Li

  2. Department of Philosophy, Peking University, Beijing, China

    Yanjing Wang

Authors
  1. Yanjun Li
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yanjing Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yanjing Wang .

Editor information

Editors and Affiliations

  1. Roskilde University, Roskilde, Denmark

    Patrick Blackburn

  2. Université Paul Sabatier, IRIT-CNRS, Toulouse, France

    Emiliano Lorini

  3. Southwest University, Chongqing, China

    Meiyun Guo

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer-Verlag GmbH Germany, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Li, Y., Wang, Y. (2019). Multi-agent Knowing How via Multi-step Plans: A Dynamic Epistemic Planning Based Approach. In: Blackburn, P., Lorini, E., Guo, M. (eds) Logic, Rationality, and Interaction. LORI 2019. Lecture Notes in Computer Science(), vol 11813. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-60292-8_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-60292-8_10

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-60291-1

  • Online ISBN: 978-3-662-60292-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation