Abstract
In this work we develop a logic for formalizing qualitative reasoning. This type of reasoning is generally used, for instance, when one has a lot of data from a real world example but the complexity of the numerical model suggests a qualitative (instead of quantitative) approach.
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
Burgess, J.P.: Basic tense logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic, pp. 89–133. Reidel, Dordrecht (1984)
Dague, P.: Numeric reasoning with relative orders of magnitude. In: Proc. 11th National Conference on Artificial Intelligence, pp. 541–547. The AAAI Press/TheMIT 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)
Mavrovouniotis, M.L., Stephanopoulos, G.: Formal order of magnitude reasoning in process engineering. Computer Chem. Eng. 12(9/10), 867–880 (1988)
Piera, N., Sánchez, M., Travé-Massuyès, L.: Qualitative operators for order of magnitude calculus: robustness and precision. In: Proc. of 13th IMACS World Congress on Computation and Applied Mathematics, IMACS, pp. 1–6 (1991)
Raiman, O.: Order of magnitude reasoning. Artificial Intelligence 51, 11–38 (1991)
Shults, B., Kuipers, B.J.: Proving properties of continuous systems: qualitative simulation and temporal logic. Artificial Intelligence 92, 91–129 (1997)
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)
Sturm, H., Suzuki, N., Wolter, F., Zakharyaschev, M.: Semi-qualitative reasoning about distances: A preliminary report. In: Brewka, G., Moniz Pereira, L., Ojeda-Aciego, M., de Guzmán, I.P. (eds.) JELIA 2000. LNCS (LNAI), vol. 1919, pp. 37–56. Springer, Heidelberg (2000)
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)
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
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Burrieza, A., Ojeda-Aciego, M. (2004). A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning. In: Conejo, R., Urretavizcaya, M., Pérez-de-la-Cruz, JL. (eds) Current Topics in Artificial Intelligence. TTIA 2003. Lecture Notes in Computer Science(), vol 3040. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25945-9_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-25945-9_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22218-7
Online ISBN: 978-3-540-25945-9
eBook Packages: Springer Book Archive