Abstract
In this paper, we enrich the logic of order of magnitude qualitative reasoning by means of a new notion of negligibility which has very useful properties with respect to operations of real numbers. A complete axiom system is presented for the proposed logic, and the new negligibility relation is compared with previous ones and its advantages are presented on the basis of an example.
Partially supported by Spanish project TIC2003-9001-C02-01.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
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)
Burgess, J.P.: Basic tense logic.Handbook of Philosophical Logic. In: Gabbay, D., Guenthner, F. (eds.) Extensions of Classical Logic, vol. 2, pp. 89–133. Reidel, Dorchecht (1984)
Burrieza, A., Ojeda-Aciego, M.: A multimodal logic approach to order of magnitude qualitative reasoning. In: Spanish Conference on 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)
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)
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: Proc. of the 3rd Intl Conf on Principles of Knowledge Representation and Reasoning (KR 1992), pp. 165–176 (1992)
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., Ironi, L., Dague, P.: Mathematical foundations of qualitative reasoning. AI magazine 24(3), 91–106 (2003)
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
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Burrieza, A., Muñoz, E., Ojeda-Aciego, M. (2006). Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. In: Marín, R., Onaindía, E., Bugarín, A., Santos, J. (eds) Current Topics in Artificial Intelligence. CAEPIA 2005. Lecture Notes in Computer Science(), vol 4177. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11881216_39
Download citation
DOI: https://doi.org/10.1007/11881216_39
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-45914-9
Online ISBN: 978-3-540-45915-6
eBook Packages: Computer ScienceComputer Science (R0)