Abstract
With agents relying more and more on information from central servers rather than their own sensors, knowledge becomes property not of a specific agent but of the data that the agents can access. The article proposes a dynamic logic of data-informed knowledge that describes an interplay between three modalities and one relation capturing the properties of this form of knowledge. The main technical results are the undefinability of two dynamic operators through each other, a sound and complete axiomatisation, and a model checking algorithm.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Availability of data and materials
This work does not use any datasets or materials.
References
Ågotnes, T., Balbiani, P., van Ditmarsch, H., & Seban, P. (2010). Group announcement logic. Journal of Applied Logic, 8(1), 62–81. https://doi.org/10.1016/j.jal.2008.12.002
Alur, R., Peled, D., Penczek, W. (1995). Model-checking of causality properties. In: Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, pp. 90–100. IEEE.
Andreassen, A.M. (2017). Nine lines that changed history – at least on the internet. EU Observer, 12. https://euobserver.com/digital/138958.
Armstrong, W.W. (1974). Dependency structures of data base relationships. In: Information Processing 74 (Proc. IFIP Congress, S tockholm, 1974), pp. 580–583. North-Holland, Amsterdam.
Baltag, A. (2016). To know is to know the value of a variable. In: L.D. Beklemishev, S. Demri, A. Maté (eds.) Advances in Modal Logic 11, proceedings of the 11th conference on Advances in Modal Logic, Budapest, Hungary, August 30 – September 2, 2016, pp. 135–155. College Publications.
Baltag, A., & van Benthem, J. (2021). A simple logic of functional dependence. Journal of Philosophical Logic, 50, 1–67.
Batusov, V., Soutchanski, M. (2018). Situation calculus semantics for actual causality. In: Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18)
Beckers, S. (2021). The counterfactual NESS definition of causation. Proceedings of the AAAI Conference on Artificial Intelligence, 35, 6210–6217.
Beeri, C., Fagin, R., Howard, J.H. (1977). A complete axiomatization for functional and multivalued dependencies in database relations. In: SIGMOD’77: Proceedings of the 1977 ACM SIGMOD international conference on Management of data, pp. 47–61. ACM, New York, NY, USA. https://doi.org/10.1145/509404.509414.
Berreby, F., Bourgne, G., Ganascia, J.G. (2018). Event-based and scenario-based causality for computational ethics. In: AAMAS 2018-17th International Conference on Autonomous Agents and Multiagent Systems, pp. 147–155. International Foundation for Autonomous Agents and Multiagent Systems.
Clifford, A., Preston, G. (1967). The Algebraic Theory of Semigroups, Volume II, vol. 2. American Mathematical Soc.
Deuser, K., Naumov, P. (2018). Armstrong’s axioms and navigation strategies. In: Proceedings of Thirty-Second AAAI Conference on Artificial Intelligence.
van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2007). Dynamic Epistemic Logic. Springer. https://doi.org/10.1007/978-1-4020-5839-4
van Eijck, J., Gattinger, M., Wang, Y. (2017). Knowing values and public inspection. In: Indian Conference on Logic and Its Applications, pp. 77–90. Springer
Fagin, R., Halpern, J. Y., Moses, Y., & Vardi, M. Y. (1995). Reasoning about knowledge. MIT Press, Cambridge, MA.https://doi.org/10.7551/mitpress/5803.001.0001
Fagin, R., Halpern, J. Y., & Vardi, M. Y. (1992). What can machines know? on the properties of knowledge in distributed systems. Journal of the ACM (JACM), 39(2), 328–376.
Galimullin, R., Alechina, N (2017) Coalition and group announcement logic. In: Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK) 2017, Liverpool, UK, 24-26 July 2017, pp. 207–220.
Garcia-Molina, H., Ullman, J., & Widom, J. (2009). Database Systems: The Complete Book (2nd ed.). Prentice-Hall.
Giordano, L., Martelli, A., & Schwind, C. (2000). Ramification and causality in a modal action logic. Journal of Logic and Computation, 10(5), 625–662.
Giordano, L., & Schwind, C. (2004). Conditional logic of actions and causation. Artificial Intelligence, 157(1–2), 239–279.
Grossi, D., Lorini, E., & Schwarzentruber, F. (2015). The ceteris paribus structure of logics of game forms. Journal of Artificial Intelligence Research, 53, 91–126.
Halpern, J. Y. (2016). Actual causality. MIT Press.
van der Hoek, W., Iliev, P., & Wooldridge, M. J. (2012). A logic of revelation and concealment. In W. van der Hoek, L. Padgham, V. Conitzer, & M. Winikoff (Eds.), International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4–8, 2012 (3 Volumes) (pp. 1115–1122). IFAAMAS.
Jiang, J., Naumov, P. (2022). Data-informed knowledge and strategies. Artificial Intelligence, 309, 103727. https://doi.org/10.1016/j.artint.2022.103727.
Jiang, J., Naumov, P. (2022). In data we trust: The logic of trust-based beliefs. In: the 31st International Joint Conference on Artificial Intelligence (IJCAI-22).
Knight, S., Naumov, P., Shi, Q., Suntharraj, V. (2022). Truth set algebra: A new way to prove undefinability. arXiv:2208.04422.
Lin, F., Reiter, R. (1994). Forget it. In: Working Notes of AAAI Fall Symposium on Relevance, pp. 154–159.
Naumov, P., & Tao, J. (2017). Price of privacy. Journal of Applied Logic, 20, 32–48. https://doi.org/10.1016/j.jal.2016.11.035
Plaza, J. (1989). Logics of public communications. In: Proceedings 4th International Symposium on Methodologies for Intelligent Systems: Poster session program, pp. 201–216. Oak Ridge National Laboratory.
Plaza, J. (2007). Logics of public communications. Synthese, 158(2), 165–179.
Sarmiento, C., Bourgne, G., Inoue, K., Ganascia, J.G. (2022). Action languages based actual causality in decision making contexts. In: PRIMA 2022: Principles and Practice of Multi-Agent Systems: 24th International Conference, Valencia, Spain, November 16–18, 2022, Proceedings, pp. 243–259. Springer.
Su, K., Sattar, A., Lv, G., & Zhang, Y. (2009). Variable forgetting in reasoning about knowledge. Journal of Artificial Intelligence Research, 35, 677–716.
Turner, H. (1999). A logic of universal causation. Artificial Intelligence, 113(1–2), 87–123.
Väänänen, J. (2007). Dependence logic: A new approach to independence friendly logic, vol. 70. Cambridge University Press.
Wang, Y., Fan, J. (2013). Knowing that, knowing what, and public communication: Public announcement logic with kv operators. In: F. Rossi (ed.) IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, pp. 1147–1154. IJCAI/AAAI.
Wang, Y., & Fan, J. (2014). Conditionally knowing what. In R. Goré, B. P. Kooi, & A. Kurucz (Eds.), Advances in Modal Logic 10, invited and contributed papers from the tenth conference on Advances in Modal Logic, held in Groningen, The Netherlands, August 5–8, 2014 (pp. 569–587). College Publications.
Wáng, Y. N., & Ågotnes, T. (2013). Public announcement logic with distributed knowledge: expressivity, completeness and complexity. Synthese, 190(1), 135–162.
Wright, R. W. (2011). The NESS account of natural causation: A response to criticisms. In R. Goldberg (Ed.), Perspectives on Causation (pp. 285–322). London, UK: Hart Publishing.
Funding
Junli Jiang acknowledges the support of the “Innovation Research 2035 Pilot Plan of Southwest University” (NO. SWUPilotPlan018).
Author information
Authors and Affiliations
Contributions
All authors contributed equally to this work. Their names are listed in alphabetical order.
Corresponding author
Ethics declarations
Ethical Approval
This work does not deal with human beings and as such it requires no ethical approvals.
Competing interests
The authors declare that they have no potential conflict of interest in relation to the study in this article.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Deuser, K., Jiang, J., Naumov, P. et al. A Dynamic Logic of Data-Informed Knowledge. J Philos Logic 53, 521–557 (2024). https://doi.org/10.1007/s10992-023-09740-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-023-09740-5