Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
139 tokens/sec
GPT-4o
47 tokens/sec
Gemini 2.5 Pro Pro
43 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
47 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Dynamic Epistemic Logic of Resource Bounded Information Mining Agents (2401.13369v1)

Published 24 Jan 2024 in cs.LO

Abstract: Logics for resource-bounded agents have been getting more and more attention in recent years since they provide us with more realistic tools for modelling and reasoning about multi-agent systems. While many existing approaches are based on the idea of agents as imperfect reasoners, who must spend their resources to perform logical inference, this is not the only way to introduce resource constraints into logical settings. In this paper we study agents as perfect reasoners, who may purchase a new piece of information from a trustworthy source. For this purpose we propose dynamic epistemic logic for semi-public queries for resource-bounded agents. In this logic (groups of) agents can perform a query (ask a question) about whether some formula is true and receive a correct answer. These queries are called semi-public, because the very fact of the query is public, while the answer is private. We also assume that every query has a cost and every agent has a budget constraint. Finally, our framework allows us to reason about group queries, in which agents may share resources to obtain a new piece of information together. We demonstrate that our logic is complete, decidable and has an efficient model checking procedure.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (49)
  1. The probabilistic logic of communication and change. Journal of Logic and Computation 29, 7 (2016), 1015–1040. https://doi.org/10.1093/logcom/exv084
  2. Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power. Journal of Logic, Language and Information 31, 2 (2022), 141–166. https://doi.org/10.1007/S10849-022-09355-0
  3. Group announcement logic. Journal of Applied Logic 8, 1 (2010), 62–81. https://doi.org/10.1016/j.jal.2008.12.002
  4. Thomas Ågotnes and Rustam Galimullin. 2023. Quantifying over information change with common knowledge. Autonomous Agents and Multi-Agent Systems 37, 1 (2023), 19. https://doi.org/10.1007/s10458-023-09601-0
  5. Thomas Ågotnes and Hans van Ditmarsch. 2008. Coalitions and Announcements. In Proceedings of the 7th AAMAS, Lin Padgham, David C. Parkes, Jörg P. Müller, and Simon Parsons (Eds.). IFAAMAS, 673–680.
  6. Natasha Alechina and Brian Logan. 2002. Ascribing Beliefs to Resource Bounded Agents. In Proceedings of the 1st AAMAS, Cristiano Castelfranchi, Maria Gini, Toru Ishida, and W. Lewis Johnson (Eds.). ACM, 881–888. https://doi.org/10.1145/544862.544948
  7. Natasha Alechina and Brian Logan. 2009. A Logic of Situated Resource-Bounded Agents. Journal of Logic, Language and Information 18, 1 (2009), 79–95. https://doi.org/10.1007/s10849-008-9073-6
  8. Resource-Bounded Alternating-Time Temporal Logic. In Proceedings of the 9th AAMAS, Wiebe van der Hoek, Gal A. Kaminka, Yves Lespérance, Michael Luck, and Sandip Sen (Eds.). IFAAMAS, 481–488.
  9. Logic for coalitions with bounded resources. Journal of Logic and Computation 21, 6 (2011), 907–937. https://doi.org/10.1093/logcom/exq032
  10. Decidable Model-Checking for a Resource Logic with Production of Resources. In Proceedings of the 21st ECAI, Torsten Schaub, Gerhard Friedrich, and Barry O’Sullivan (Eds.). IOS Press, 9–14. https://doi.org/10.3233/978-1-61499-419-0-9
  11. Symbolic Model-Checking for Resource-Bounded ATL. In Proceedings of the 14th AAMAS, Gerhard Weiss, Pinar Yolum, Rafael H. Bordini, and Edith Elkind (Eds.). IFAAMAS, 1809–1810.
  12. A Complete and Decidable Logic for Resource-Bounded Agents. In Proceedings of the 3rd AAMAS. IEEE Computer Society, 606–613. https://doi.org/10.1109/AAMAS.2004.10090
  13. Alternating-time temporal logic. Journal of the ACM 49, 5 (2002), 672–713. https://doi.org/10.1145/585265.585270
  14. Farid Arthaud and Martin C. Rinard. 2023. Depth-bounded Epistemic Logic. In Proceedings of the 19th TARK (EPTCS, Vol. 379), Rineke Verbrugge (Ed.). 46–65. https://doi.org/10.4204/EPTCS.379.7
  15. ‘Knowable’ as ‘Known After an Announcement’. The Review of Symbolic Logic 1, 3 (2008), 305–334. https://doi.org/10.1017/S1755020308080210
  16. The Dynamics of Epistemic Attitudes in Resource-Bounded Agents. Studia Logica 107, 3 (2019), 457–488. https://doi.org/10.1007/s11225-018-9798-4
  17. Alexandru Baltag and Sonja Smets. 2020. Learning What Others Know. In Proceedings of the 23rd LPAR (EPiC Series in Computing, Vol. 73), Elvira Albert and Laura Kovacs (Eds.). EasyChair, 90–119. https://doi.org/10.29007/plm4
  18. Gaia Belardinelli and Rasmus K. Rendsvig. 2021. Epistemic Planning with Attention as a Bounded Resource. In Proceedings of the 8th LORI (LNCS, Vol. 13039), Sujata Ghosh and Thomas Icard (Eds.). Springer, 14–30.
  19. DEL-based Epistemic Planning for Human-Robot Collaboration: Theory and Implementation. In Proceedings of the 18th KR, Meghyn Bienvenu, Gerhard Lakemeyer, and Esra Erdem (Eds.). 120–129. https://doi.org/10.24963/kr.2021/12
  20. Nils Bulling and Berndt Farwer. 2010. On the (Un-)Decidability of Model Checking Resource-Bounded Agents. In Proceedings of the 19th ECAI (Frontiers in Artificial Intelligence and Applications, Vol. 215), Helder Coelho, Rudi Studer, and Michael J. Wooldridge (Eds.). IOS Press, 567–572. https://doi.org/10.3233/978-1-60750-606-5-567
  21. Rui Cao and Pavel Naumov. 2017. Budget-Constrained Dynamics in Multiagent Systems. In Proceedings of the 26th IJCAI, Carles Sierra (Ed.). 915–921. https://doi.org/10.24963/ijcai.2017/127
  22. Ivano A. Ciardelli and Floris Roelofsen. 2015. Inquisitive dynamic epistemic logic. Synthese 192, 6 (2015), 1643–1687. https://doi.org/10.1007/s11229-014-0404-7
  23. An Epistemic Logic for Multi-agent Systems with Budget and Costs. In Proceedings of the 17th JELIA (LNCS, Vol. 12678), Wolfgang Faber, Gerhard Friedrich, Martin Gebser, and Michael Morak (Eds.). Springer, 101–115. https://doi.org/10.1007/978-3-030-75775-5_8
  24. An Epistemic Probabilistic Logic with Conditional Probabilities. In Proceedings of the 17th JELIA (LNCS, Vol. 12678), Wolfgang Faber, Gerhard Friedrich, Martin Gebser, and Michael Morak (Eds.). Springer, 279–293. https://doi.org/10.1007/978-3-030-75775-5_19
  25. The logic of qualitative probability. Artificial Intelligence 275 (2019), 457–486. https://doi.org/10.1016/j.artint.2019.07.002
  26. On a Logic for Coalitional Games with Priced-Resource Agents. In Proceedings of the 7th M4M and the 4th LAMAS (ENTCS, Vol. 278), Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojciech Jamroga, and Manuel Ojeda-Aciego (Eds.). Elsevier, 215–228. https://doi.org/10.1016/j.entcs.2011.10.017
  27. Vitaliy Dolgorukov and Maksim Gladyshev. 2023. Dynamic Epistemic Logic for Budget-Constrained Agents. In Proceedings of the 4th DaLí (LNCS, Vol. 13780), Carlos Areces and Diana Costa (Eds.). Springer, 56–72.
  28. Ho Ngoc Duc. 1997. Reasoning about Rational, but not Logically Omniscient, Agents. Journal of Logic and Computation 7, 5 (1997), 633–648. https://doi.org/10.1093/logcom/7.5.633
  29. Cooperative Epistemic Multi-Agent Planning for Implicit Coordination. In Proceedings of the 9th M4M@ICLA (EPTCS, Vol. 243), Sujata Ghosh and R. Ramanujam (Eds.). 75–90. https://doi.org/10.4204/EPTCS.243.6
  30. Ronald Fagin and Joseph Y. Halpern. 1987. Belief, awareness, and limited reasoning. Artificial Intelligence 34, 1 (1987), 39–76. https://doi.org/10.1016/0004-3702(87)90003-8
  31. Ronald Fagin and Joseph Y. Halpern. 1994. Reasoning about Knowledge and Probability. J. ACM 41, 2 (1994), 340–367. https://doi.org/10.1145/174652.174658
  32. A logic for reasoning about probabilities. Information and Computation 87, 1 (1990), 78–128. https://doi.org/10.1016/0890-5401(90)90060-U
  33. Reasoning About Knowledge. MIT Press.
  34. Contingency and knowing whether. The Review of Symbolic Logic 8, 1 (2015), 75–107. https://doi.org/10.1017/S1755020314000343
  35. Jacob Feldman. 2000. Minimization of Boolean complexity in human concept learning. Nature 407, 6804 (2000), 630–633. https://doi.org/10.1038/35036586
  36. Michael J. Fischer and Richard E. Ladner. 1977. Propositional Modal Logic of Programs. In Proceedings of the 9th STOC. ACM, 286–294. https://doi.org/10.1145/800105.803418
  37. Rustam Galimullin. 2021. Coalition and Relativised Group Announcement Logic. Journal of Logic, Language and Information 30, 3 (2021), 451–489. https://doi.org/10.1007/s10849-020-09327-2
  38. Rustam Galimullin and Fernando R. Velázquez-Quesada. 2023. (Arbitrary) Partial Communication. In Proceedings of the 22nd AAMAS, Noa Agmon, Bo An, Alessandro Ricci, and William Yeoh (Eds.). ACM, 400–408. https://doi.org/10.5555/3545946.3598663
  39. Joseph Y. Halpern and Yoram Moses. 1992. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence 54, 3 (1992), 319–379. https://doi.org/10.1016/0004-3702(92)90049-4
  40. L.G. Khachiyan. 1980. Polynomial algorithms in linear programming. U. S. S. R. Comput. Math. and Math. Phys. 20, 1 (1980), 53–72. https://doi.org/10.1016/0041-5553(80)90061-0
  41. Pavel Naumov and Jia Tao. 2015. Budget-Constrained Knowledge in Multiagent Systems. In Proceedings of the 14th AAMAS, Gerhard Weiss, Pinar Yolum, Rafael H. Bordini, and Edith Elkind (Eds.). IFAAMAS, 219–226.
  42. Alternating-time temporal logic with resource bounds. Journal of Logic and Computation 28, 4 (2015), 631–663. https://doi.org/10.1093/logcom/exv034
  43. Marc Pauly. 2002. A Modal Logic for Coalitional Power in Games. Journal of Logic and Computation 12, 1 (2002), 149–166. https://doi.org/10.1093/logcom/12.1.149
  44. Anthia Solaki. 2020. Bounded Multi-agent Reasoning: Actualizing Distributed Knowledge. In Proceedings of the 3rd DaLí, Manuel A. Martins and Igor Sedlár (Eds.). Springer, 239–258.
  45. Anthia Solaki. 2022. Actualizing distributed knowledge in bounded groups. Journal of Logic and Computation 33, 6 (2022), 1497–1525. https://doi.org/10.1093/logcom/exac007
  46. Johan van Benthem. 2007. Dynamic Logic for Belief Revision. Journal of Applied Non-Classical Logics 17, 2 (2007), 129–155. https://doi.org/10.3166/jancl.17.129-155
  47. Hans van Ditmarsch and Jie Fan. 2016. Propositional quantification in logics of contingency. Journal of Applied Non-Classical Logics 26, 1 (2016), 81–102. https://doi.org/10.1080/11663081.2016.1184931
  48. Dynamic Epistemic Logic. Springer. https://doi.org/10.1007/978-1-4020-5839-4
  49. Yanjing Wang and Qinxiang Cao. 2013. On Axiomatizations of Public Announcement Logic. Synthese 190, Supplement-1 (2013). https://doi.org/10.1007/s11229-012-0233-5

Summary

We haven't generated a summary for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Summarize Now