Abstract
Qualitative Reasoning is a branch of Artificial Intelligence that automates the reasoning about the behavior of physical systems by using qualitative rather than precise quantitative information. An approach in this field is Order-of-magnitude Reasoning which deals with coarse values of different orders of magnitude which are abstractions of precise values. Several multimodal logics has been introduced to deal with Orders-of-magnitude systems proving their correctness and completeness although their decidability has been scarcely studied. In this paper we focus our attention on this problem showing that a pioneering logic in this area has the strong model property.
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
Burrieza, A., Ojeda-Aciego, M.: A multimodal logic approach to order of magnitude qualitative eeasoning. In: Conejo, R., Urretavizcaya, M., Pérez-de-la-Cruz, J.-L. (eds.) CAEPIA/TTIA 2003. LNCS (LNAI), vol. 3040, pp. 431–440. Springer, Heidelberg (2004)
Burrieza, A., Ojeda-Aciego, M.: A multimodal logic approach to order of magnitude qualitative reasoning with comparability and negligibility relations. Fundamenta Informaticae 68, 21–46 (2005)
Burrieza, A., Ojeda-Aciego, M.: On the modal logic of order-of-magnitude qualitative reasoning: a tableau calculus. In: Bento, C., Amilcar C., Dias, G. (eds.) 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha (Portugal), pp. 33–37. IEEE (2005)
Burrieza, A., Muñoz, E., Ojeda-Aciego, M.: Order of magnitude qualitative reasoning with bidirectional negligibility. In: Marín, R., Onaindía, E., Bugarín, A., Santos, J. (eds.) CAEPIA 2005. LNCS (LNAI), vol. 4177, pp. 370–378. Springer, Heidelberg (2006)
Burrieza, A., Muñoz-Velasco, E., Ojeda-Aciego, M.: A logic for order of magnitude reasoning with negligibility, non-closeness and distance. In: Borrajo, D., Castillo, L., Corchado, J.M. (eds.) CAEPIA 2007. LNCS (LNAI), vol. 4788, pp. 210–219. Springer, Heidelberg (2007)
Golińska-Pilarek, J.: On decidability of a logic for order of magnitude qualitative reasoning with bidirectional negligibility. In: Fariñas del Cerro, L., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol. 7519, pp. 255–266. Springer, Heidelberg (2012)
Missier, A., Piera, N., Travé, L.: Order of magnitude algebras: A survey. Revue d’Intelligence Artificielle 4(3), 95–109 (1989)
Raiman, O.: Order of magnitude reasoning. Artificial Intelligence 51, 11–38 (1991)
Sánchez, M., Prats, F., Piera, N.: Una formalización de relaciones de comparabilidad en modelos cualitativos. Boletín de la AEPIA (Bulletin of the Spanish Association for AI) 6, 15–22 (1996)
Travé-Massuyès, L., Prats, F., Sánchez, M., Agell, N.: Consistent relative and absolute order-of-magnitude models. In: Proc. Qualitative Reasoning 2002 Conference (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Burrieza, A. (2013). Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations. In: Bielza, C., et al. Advances in Artificial Intelligence. CAEPIA 2013. Lecture Notes in Computer Science(), vol 8109. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40643-0_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-40643-0_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40642-3
Online ISBN: 978-3-642-40643-0
eBook Packages: Computer ScienceComputer Science (R0)