Abstract
In this paper, we extend Moss and Parikh’s bi-modal language for knowledge and effort by an additional modality describing improvement. Like the source language, the new one too has a natural interpretaion in spatial contexts. The result of this is that concepts like the comparison of topologies can be captured within the framework of modal logic now. The main technical issue of the paper is a completeness theorem for the tri-modal system arising from the new language.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)
Meyer, J.J.C., van der Hoek, W.: Epistemic Logic for AI and Computer Science. Cambridge Tracts in Theoretical Computer Science, vol. 41. Cambridge University Press, Cambridge (1995)
Moss, L.S., Parikh, R.: Topological reasoning and the logic of knowledge. In: Moses, Y. (ed.) Theoretical Aspects of Reasoning about Knowledge (TARK 1992), pp. 95–105. Morgan Kaufmann, San Francisco (1992)
Dabrowski, A., Moss, L.S., Parikh, R.: Topological reasoning and the logic of knowledge. Annals of Pure and Applied Logic 78, 73–110 (1996)
Heinemann, B.: A spatio-temporal view of knowledge. In: Russell, I., Markov, Z. (eds.) Proceedings 18th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2005). Recent Advances in Artificial Intelligence, pp. 703–708. AAAI Press, Menlo Park (2005)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press, Cambridge (2001)
Blackburn, P.: Representation, reasoning, and relational structures: a hybrid logic manifesto. Logic Journal of the IGPL 8, 339–365 (2000)
Bourbaki, N.: General Topology, Part 1. Hermann, Paris (1966)
Georgatos, K.: Knowledge theoretic properties of topological spaces. In: Masuch, M., Polos, L. (eds.) Logic at Work 1992. LNCS (LNAI), vol. 808, pp. 147–159. Springer, Heidelberg (1994)
Georgatos, K.: Knowledge on treelike spaces. Studia Logica 59, 271–301 (1997)
Weiss, M.A., Parikh, R.: Completeness of certain bimodal logics for subset spaces. Studia Logica 71, 1–30 (2002)
Gabbay, D.M., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-dimensional Modal Logics: Theory and Applications. Studies in Logic and the Foundation of Mathematics, vol. 148. Elsevier, Amsterdam (2003)
Heinemann, B.: Linear tense logics of increasing sets. Journal of Logic and Computation 12, 583–606 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Heinemann, B. (2005). The Topological Effect of Improving Knowledge Acquisition. In: Gelbukh, A., de Albornoz, Á., Terashima-Marín, H. (eds) MICAI 2005: Advances in Artificial Intelligence. MICAI 2005. Lecture Notes in Computer Science(), vol 3789. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11579427_3
Download citation
DOI: https://doi.org/10.1007/11579427_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29896-0
Online ISBN: 978-3-540-31653-4
eBook Packages: Computer ScienceComputer Science (R0)