Abstract
The logic \(\mathcal{CSL}\) (first introduced by Sheremet, Tishkovsky, Wolter and Zakharyaschev in 2005) allows one to reason about distance comparison and similarity comparison within a modal language. The logic can express assertions of the kind ”A is closer/more similar to B than to C” and has a natural application to spatial reasoning, as well as to reasoning about concept similarity in ontologies. The semantics of \(\mathcal{CSL}\) is defined in terms of models based on different classes of distance spaces and it generalizes the logic S4 u of topological spaces. In this paper we consider \(\mathcal{CSL}\) defined over arbitrary distance spaces. The logic comprises a binary modality to represent comparative similarity and a unary modality to express the existence of the minimum of a set of distances. We first show that the semantics of \(\mathcal{CSL}\) can be equivalently defined in terms of preferential models. As a consequence we obtain the finite model property of the logic with respect to its preferential semantic, a property that does not hold with respect to the original distance-space semantics. Next we present an analytic tableau calculus based on its preferential semantics. The calculus provides a decision procedure for the logic, its termination is obtained by imposing suitable blocking restrictions.
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
Alenda, R., Olivetti, N., Pozzato, G.L.: Csl-lean: A theorem-prover for the logic of comparative concept similarity. ENTCS 262, 3–16 (2010)
Alenda, R., Olivetti, N., Schwind, C.: Comparative concept similarity over minspaces: Axiomatisation and tableaux calculus. In: Giese, M., Waaler, A. (eds.) TABLEAUX 2009. LNCS, vol. 5607, pp. 17–31. Springer, Heidelberg (2009)
Alenda, R., Olivetti, N., Schwind, C., Tishkovsky, D.: Tableau calculi for csl over minspaces. In: Proc. CSL 2010. LNCS. Springer, Heidelberg (to appear, 2010)
Goré, R., Nguyen, L.A.: Exptime tableaux with global caching for description logics with transitive roles, inverse roles and role hierarchies. In: Olivetti, N. (ed.) TABLEAUX 2007. LNCS (LNAI), vol. 4548, pp. 133–148. Springer, Heidelberg (2007)
Horrocks, I., Sattler, U.: A description logic with transitive and inverse roles and role hierarchies. J. Logic Computation 9(3), 385–410 (1999)
Kurucz, A., Wolter, F., Zakharyaschev, M.: Modal logics for metric spaces: Open problems. In: We Will Show Them!, vol. (2), pp. 193–108. College Publ. (2005)
Lewis, D.: Counterfactuals. Basil Blackwell Ltd., Malden (1973)
Sheremet, M., Tishkovsky, D., Wolter, F., Zakharyaschev, M.: Comparative similarity, tree automata, and diophantine equations. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol. 3835, pp. 651–665. Springer, Heidelberg (2005)
Sheremet, M., Tishkovsky, D., Wolter, F., Zakharyaschev, M.: A logic for concepts and similarity. J. Log. Comput. 17(3), 415–452 (2007)
Sheremet, M., Wolter, F., Zakharyaschev, M.: A modal logic framework for reasoning about comparative distances and topology. Annals of Pure and Applied Logic 161(4), 534–559 (2010)
Wolter, F., Zakharyaschev, M.: Reasoning about distances. In: Proceedings of IJCAI 2003, pp. 1275–1280. Morgan Kaufmann, San Francisco (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alenda, R., Olivetti, N. (2010). Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces. In: Fermüller, C.G., Voronkov, A. (eds) Logic for Programming, Artificial Intelligence, and Reasoning. LPAR 2010. Lecture Notes in Computer Science, vol 6397. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16242-8_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-16242-8_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16241-1
Online ISBN: 978-3-642-16242-8
eBook Packages: Computer ScienceComputer Science (R0)