Abstract
This paper continues the research line on the multimodal logic of qualitative reasoning; specifically, it deals with the introduction of the notions non-closeness and distance. These concepts allow us to consider qualitative sum of medium and large numbers. We present a sound and complete axiomatization for this logic, together with some of its advantages by means of an example.
Partially supported by projects TIN2006-15455-C03-01 and P6-FQM-02049.
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
Areces, C., ten Cate, B.: Hybrid Logics. In: Blackburn, P., Van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic. Studies in Logic and Practical Reasoning, vol. 3, pp. 821–868. Elsevier, Amsterdam (2007)
Bennett, B.: Modal logics for qualitative spatial reasoning. Bull. of the IGPL 3, 1–22 (1995)
Bennett, B., Cohn, A.G., Wolter, F., Zakharyaschev, M.: Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning. Applied Intelligence 17(3), 239–251 (2002)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
Burgess, J.P.: Basic tense logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic: Extensions of Classical Logic, vol. 2, pp. 89–133. Reidel, Dordrechtz (1984)
Burrieza, A., Ojeda-Aciego, M.: A multimodal logic approach to order of magnitude qualitative reasoning. In: Conejo, R., Urretavizcaya, M., Pérez-de-la-Cruz, J.-L. (eds.) Current Topics in Artificial Intelligence. LNCS (LNAI), vol. 3040, pp. 66–75. 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., Muñoz, E., Ojeda-Aciego, M.: Order of magnitude 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., Ojeda-Aciego, M., Orłowska, E.: Relational approach to order of magnitude reasoning. In: de Swart, H., Orłowska, E., Schmidt, G., Roubens, M. (eds.) Theory and Applications of Relational Structures as Knowledge Instruments II. LNCS (LNAI), vol. 4342, pp. 105–124. Springer, Heidelberg (2006)
Dague, P.: Numeric reasoning with relative orders of magnitude. In: Proc. 11th National Conference on Artificial Intelligence, pp. 541–547. The AAAI Press/The MIT Press (1993)
Dague, P.: Symbolic reasoning with relative orders of magnitude. In: Proc. 13th Intl. Joint Conference on Artificial Intelligence, pp. 1509–1515. Morgan Kaufmann, San Francisco (1993)
Dubois, D., Hadj-Ali, A., Prade, H.: Granular Computing with Closeness and Negligibility Relations. In: Data mining, rough sets and granular computing, pp. 290–307. Physica-Verlag GmbH, Heidelberg, Germany (2002)
Mavrovouniotis, M.L., Stephanopoulos, G.: Reasoning with orders of magnitude and approximate relations. In: Proc. 6th National Conference on Artificial Intelligence, The AAAI Press/The MIT Press (1987)
Missier, A., Piera, N., Travé, L.: Order of Magnitude Algebras: a Survey. Revue d’Intelligence Artificielle 3(4), 95–109 (1989)
Sanchez, 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)
Shults, B., Kuipers, B.J.: Proving properties of continuous systems: qualitative simulation and temporal logic. Artificial Intelligence 92, 91–129 (1997)
Raiman, O.: Order of magnitude reasoning. Artificial Intelligence 51, 11–38 (1991)
Randell, D., Cui, Z., Cohn, A.: A spatial logic based on regions and connections. In: KR 1992. Proc. of the 3rd Intl Conf on Principles of Knowledge Representation and Reasoning, pp. 165–176 (1992)
Travé-Massuyès, L., Ironi, L., Dague, P.: Mathematical foundations of qualitative reasoning. AI magazine 24(3), 91–106 (2003)
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)
Travé-Massuyès, L., Prats, F., Sánchez, M., Agell, N.: Relative and absolute order-of-magnitude models unified. Annals of Mathematics and Artificial Intelligence 45, 323–341 (2005)
Wolter, F., Zakharyaschev, M.: Qualitative spatio-temporal representation and reasoning: a computational perspective. In: Lakemeyer, G., Nebel, B. (eds.) Exploring Artificial Intelligence in the New Millenium, Morgan Kaufmann, San Francisco (2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Burrieza, A., Muñoz-Velasco, E., Ojeda-Aciego, M. (2007). A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. In: Borrajo, D., Castillo, L., Corchado, J.M. (eds) Current Topics in Artificial Intelligence. CAEPIA 2007. Lecture Notes in Computer Science(), vol 4788. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75271-4_22
Download citation
DOI: https://doi.org/10.1007/978-3-540-75271-4_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75270-7
Online ISBN: 978-3-540-75271-4
eBook Packages: Computer ScienceComputer Science (R0)