Abstract
The present paper is about a framework of formal topological reasoning originating from the fundamental work of Moss and Parikh relating to this. We add a set of unary operators involving sets to that system. This new means of expression gives us considerably more expressive power with regard to spatial operations, but the accompanying logic remains sound and semantically complete with respect to the class of all subset spaces that are enriched accordingly. Moreover, the new logic turns out to be decidable. We prove these results by relying heavily on a particular extension of the common modal formalism, viz hybrid logic.
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.
References
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)
Heinemann, B.: Extended canonicity of certain topological properties of set spaces. In: Vardi, M.Y., Voronkov, A. (eds.) LPAR 2003. LNCS, vol. 2850, pp. 135–149. Springer, Heidelberg (2003)
Heinemann, B.: A hybrid logic for reasoning about knowledge and topology. Under review for journal publication (2005), For a preliminary version see, http://www.informatik.fernuni-hagen.de/thi1/ber.ps
Heinemann, B.: Reasoning about knowledge and continuity. In: Goebel, R., Sutcliffe, G. (eds.) Proceedings 19th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2006), pp. 37–42. AAAI Press, Menlo Park (2006)
Dabrowski, A., Moss, L.S., Parikh, R.: Topological reasoning and the logic of knowledge. Annals of Pure and Applied Logic 78, 73–110 (1996)
Georgatos, K.: Knowledge theoretic properties of topological spaces. In: Masuch, M., Polos, L. (eds.) Logic at Work 1992. LNCS, vol. 808, pp. 147–159. Springer, Heidelberg (1994)
Georgatos, K.: Knowledge on treelike spaces. Studia Logica 59, 271–301 (1997)
Heinemann, B.: Topological Modal Logics Satisfying Finite Chain Conditions. Notre Dame Journal of Formal Logic 39, 406–421 (1998)
Weiss, M.A., Parikh, R.: Completeness of certain bimodal logics for subset spaces. Studia Logica 71, 1–30 (2002)
Blackburn, P.: Representation, reasoning, and relational structures: a hybrid logic manifesto. Logic Journal of the IGPL 8, 339–365 (2000)
Heinemann, B.: A two-sorted hybrid logic including guarded jumps. In: Schmidt, R., Pratt-Hartmann, I., Reynolds, M., Wansing, H. (eds.) Advances in Modal Logic 5, pp. 73–92. King’s College Publications, London (2005)
Aiello, M., Pratt-Hartmann, I., van Benthem, J.: The logic of space. To appear (2007), See URL, http://dit.unitn.it/~aiellom/hsl/
Tzanis, E.: Algebraizing hybrid logic. ILLC Publications MoL-2005-04, University of Amsterdam, Amsterdam (2005), See also the M4M-4-workshop programme
Goldblatt, R.: Logics of Time and Computation, 2nd edn. CSLI Lecture Notes, vol. 7. Center for the Study of Language and Information, Stanford (1992)
Chellas, B.F.: Modal Logic. Cambridge University Press, Cambridge (1980)
Aiello, M., van Benthem, J., Bezhanishvili, G.: Reasoning about space: The modal way. Journal of Logic and Computation 13, 889–920 (2003)
Heinemann, B.: Topological nexttime logic. In: Kracht, M., de Rijke, M., Wansing, H., Zakharyaschev, M. (eds.) Advances in Modal Logic 1. CSLI Publications, vol. 87, pp. 99–113. Center for the Study of Language and Information, Stanford (1998)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press, Cambridge (2001)
Blackburn, P., Spaan, E.: A modal perspective on the computational complexity of attribute value grammar. Journal of Logic, Language and Information 2, 129–169 (1993)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Heinemann, B. (2007). Reasoning About Operations on Sets. In: Kobti, Z., Wu, D. (eds) Advances in Artificial Intelligence. Canadian AI 2007. Lecture Notes in Computer Science(), vol 4509. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72665-4_27
Download citation
DOI: https://doi.org/10.1007/978-3-540-72665-4_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72664-7
Online ISBN: 978-3-540-72665-4
eBook Packages: Computer ScienceComputer Science (R0)