Logic Journal of IGPL

Logic Journal of IGPL Advance Access originally published online on June 16, 2009
Logic Journal of IGPL 2009 17(4):375-394; doi:10.1093/jigpal/jzp016

This Article Abstract Full Text (PDF) Alert me when this article is cited Alert me if a correction is posted Services Email this article to a friend Similar articles in this journal Alert me to new issues of the journal Add to My Personal Archive Download to citation manager Request Permissions Google Scholar Articles by Golinska-Pilarek, J. Articles by Muñoz-Velasco, E. Social Bookmarking          What's this?

© The Author 2009. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org

Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance

J. Goliska-Pilarek

Institute of Philosophy, Warsaw University, Poland National Institute of Telecommunications, Warsaw, Poland.
E-mail: j.golinska-pilarek{at}itl.waw.pl

E. Muñoz-Velasco

Dept. Matemática Aplicada. Universidad de Málaga, Spain.
E-mail: emilio{at}ctima.uma.es

We present a relational proof system in the style of dual tableaux for a multimodal propositional logic for order of magnitude qualitative reasoning to deal with relations of negligibility, non-closeness, and distance. This logic enables us to introduce the operation of qualitative sum for some classes of numbers. A relational formalization of the modal logic in question is introduced in this paper, i.e., we show how to construct a relational logic associated with the logic for order-of-magnitude reasoning and its dual tableau system which is a validity checker for the modal logic. For that purpose, we define a validity preserving translation of the modal language into relational language. Then we prove that the system is sound and complete with respect to the relational logic defined as well as with respect to the logic for order of magnitude reasoning. Finally, we show that in fact relational dual tableau does more. It can be used for performing the four major reasoning tasks: verification of validity, proving entailment of a formula from a finite set of formulas, model checking, and verification of satisfaction of a formula in a finite model by a given object.

Key Words: relational logics • dual tableau systems • multimodal propositional logic • order-of-magnitude qualitative reasoning

References

[1]  Bennett B. Modal logics for qualitative spatial reasoning. Bull. of the IGPL (1995) 3:1–22.

[2]  Bennett B, Cohn AG, Wolter F, Zakharyaschev M. Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning. Applied Intelligence (2002) 17(3):239–251.[CrossRef][Web of Science]

[3]  Burrieza A, Mora A, Ojeda-Aciego M, Orowska E. Implementing a relational system for order-of-magnitude reasoning. International Journal of Computer Mathematics (2009) To appear.

[4]  Burrieza A, Muñoz-Velasco E, Ojeda-Aciego M. A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance, Lecture Notes in Artifical Intelligence (2007) 4788:210–219.

[5]  Burrieza A, Muñoz-Velasco E, Ojeda-Aciego M. Order of magnitude reasoning with bidirectional negligibility. Lecture Notes in Artifical Intelligence (2006) 4177:370–378.

[6]  Burrieza A, Ojeda-Aciego M, Orowska E. Relational approach to order-of-magnitude reasoning. Lecture Notes in Computer Science (2006) 4342:105–124.[CrossRef]

[7]  Burrieza A, Ojeda-Aciego M. A multimodal logic approach to order of magnitude qualitative reasoning with comparability and negligibility relations. Fundamenta Informaticae (2005) 68:21–46.[Web of Science]

[8]  Dague P. Symbolic reasoning with relative orders of magnitude (1993) Morgan Kaufmann. 1509–1515. in: Proc. 13th Intl. Joint Conference on Artificial Intelligence.

[9]  Dague P. Numeric reasoning with relative orders of magnitude (1993) The AAAI Press/The MIT Press. 541–547. in: Proc. 11th National Conference on Artificial Intelligence.

[10]  Dallien J, MacCaull W. RelDT: A relational dual tableaux automated theorem prover. http://www.logic.stfx.ca/reldt/.

[11]  Forbus KD. Qualitative Reasoning—Tucker AB, ed. (1996) CRC Press. 715–733. The Computer Science and Engineering Handbook.

[12]  Formisano A, Orowska E, Omodeo E. A PROLOG tool for relational translation of modal logics: A front-end for relational proof systems—Beckert B, ed. (2005) Universitaet Koblenz-Landau. 1–10. TABLEAUX 2005 Position Papers and Tutorial Descriptions, Fachberichte Informatik No 12, http://www.di.univaq.it/TARSKI/transIt/.

[13]  Goliska-Pilarek J, Muñoz-Velasco E. Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility. International Journal of Computer Mathematics (2009) To appear.

[14]  Goliska-Pilarek J, Orowska E. Dual Tableaux: Foundations, Methodology, Case Studies. A draft of the book (2009).

[15]  Goliska-Pilarek J, Mora A, Muñoz-Velasco E. An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-Closeness and Distance (2008) Springer. 128–139. Lecture Notes in Artificial Intelligence Vol. 5351.

[16]  Goliska-Pilarek J, Orowska E. Tableaux and Dual Tableaux: Transformation of proofs. Studia Logica (2007) 85:291–310.

[17]  Goliska-Pilarek J, Orowska E. Relational logics and their applications (2006) 4342:125–161. in: H. de Swart, E. Orowska, M. Roubens, and G. Schmidt, Theory and Applications of Relational Structures as Knowledge Instruments II, Lecture Notes in Artificial Intelligence.

[18]  Konikowska B. Rasiowa-Sikorski deduction systems in computer science applications. Theoretical Computer Science (2002) 286:323–366.[CrossRef][Web of Science]

[19]  Mavrovouniotis ML, Stephanopoulos G. Reasoning with orders of magnitude and approximate relations (1987) The AAAI Press/The MIT Press. Proc. 6th National Conference on Artificial Intelligence.

[20]  Missier A, Piera N, Travé L. Order of Magnitude Algebras: a Survey. Revue d'Intelligence Artificielle (1989) 3(4):95–109.

[21]  Nayak P. Causal Approximations. Artificial Intelligence (1994) 70:277–334.[CrossRef][Web of Science]

[22]  Orowska E. Relational proof systems for modal logics—Wansing H, ed. (1996) Kluwer: Proof Theory of Modal Logics. 55–77.

[23]  Orowska E. Relational interpretation of modal logics—Andréka H, Monk D, Nemeti I, eds. (1988) Amsterdam: North Holland. 443–471. Algebraic Logic, Col. Math. Soc. J. Bolyai 54.

[24]  Raiman O. Order of magnitude reasoning. Artificial Intelligence (1991) 51:11–38.[CrossRef][Web of Science]

[25]  Randell D, Cui Z, Cohn A. A spatial logic based on regions and connections (1992) 165–176. Proc. of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92).

[26]  Rasiowa H, Sikorski R. The Mathematics of Metamathematics. (1963) Warsaw: Polish Scientific Publishers.

[27]  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) (1996) 6:15–22.

[28]  Travé-Massuyès L, Ironi L, Dague P. Mathematical Foundations of Qualitative Reasoning. AI Magazine, American Asociation for Artificial Intelligence (2003) 91–106.

[29]  Travé-Massuyès L, Prats F, Sánchez M, Agell M. Consistent relative and absolute order-of-magnitude models (2002) in: Proc. Qualitative Reasoning Conference.

[30]  Wolter F, Zakharyaschev M. Qualitative spatio-temporal representation and reasoning: a computational perspective—Lakemeyer G, Nebel B, eds. (2002) Morgan Kaufmann: Exploring Artificial Intelligence in the New Millenium.

[31]  Iwasaki Y. Qualitative reasoning. http://www.aaai.org/AITopics/html/qual.html.

CiteULike    Connotea    Del.icio.us    What's this?

This Article Abstract Full Text (PDF) Alert me when this article is cited Alert me if a correction is posted Services Email this article to a friend Similar articles in this journal Alert me to new issues of the journal Add to My Personal Archive Download to citation manager Request Permissions Google Scholar Articles by Golinska-Pilarek, J. Articles by Muñoz-Velasco, E. Social Bookmarking          What's this?