Advertisement

Relational Approach to Order-of-Magnitude Reasoning

  • Alfredo Burrieza
  • Manuel Ojeda-Aciego
  • Ewa Orłowska
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4342)

Abstract

This work concentrates on the automated deduction of logics of order-of-magnitude reasoning. Specifically, a translation of the multimodal logic of qualitative order-of-magnitude reasoning into relational logics is provided; then, a sound and complete Rasiowa-Sikorski proof system is presented for the relational version of the language.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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, vol. 4177, pp. 370–378. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  2. 2.
    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.) CAEPIA/TTIA 2003. LNCS, vol. 3040, pp. 431–440. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  3. 3.
    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)zbMATHMathSciNetGoogle Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    Dallien, J., MacCaull, W.: RelDT—a dual tableaux system for relational logics (in press, 2005), Available from: http://logic.stfx.ca/reldt/
  6. 6.
    Formisano, A., Omodeo, E., Orłowska, E.: A PROLOG tool for relational translation of modal logics: A front-end for relational proof systems. In: Beckert, B. (ed.) Tableaux 2005 Position Papers and Tutorial Descriptions. Universität Koblenz-Landau, Fachberichte Informatik vol. 12, pp. 1-10 (2005), System available from http://www.di.univaq.it/TARSKI/transIt/
  7. 7.
    Gargov, G., Goranko, V.: Modal logic with names. Journal of Philosophical Logic 22, 607–636 (1993)zbMATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    Golińska-Pilarek, J., Orłowska, E.: Tableaux and dual tableaux: Transformation of proofs (submitted, 2005)Google Scholar
  9. 9.
    MacCaull, W., Orłowska, E.: Correspondence results for relational proof systems with application to the Lambek calculus. Studia Logica 71, 279–304 (2002)CrossRefGoogle Scholar
  10. 10.
    Orłowska, E.: Relational interpretation of modal logics. In: Andreka, H., Monk, D., Nemeti, I. (eds.) Algebraic Logic. Colloquia Mathematica Societatis Janos Bolyai, vol. 54, pp. 443–471. North Holland, Amsterdam (1988)Google Scholar
  11. 11.
    Orłowska, E.: Relational semantics for nonclassical logics: Formulas are relations. In: Wolenski, J. (ed.) Philosophical Logic in Poland, pp. 167–186. Kluwer, Dordrecht (1994)Google Scholar
  12. 12.
    Passy, S., Tinchev, T.: PDL with data constants. Information Processing Letters 20, 35–41 (1985)zbMATHCrossRefMathSciNetGoogle Scholar
  13. 13.
    Passy, S., Tinchev, T.: An essay in combinatory dynamic logic. Information and Computation 93, 263–332 (1991)zbMATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    Rasiowa, H., Sikorski, R.: Mathematics of Metamathematics. Polish Scientific Publishers (1963)Google Scholar
  15. 15.
    Schmidt, R., Orłowska, E., Hustadt, U.: Two proof systems for Peirce algebras. In: Berghammer, R., Möller, B., Struth, G. (eds.) RelMiCS 2003. LNCS, vol. 3051, pp. 235–248. Springer, Heidelberg (2004)Google Scholar
  16. 16.
    Tarski, A.: On the calculus of relations. Journal of Symbolic Logic 6, 73–89 (1941)zbMATHCrossRefMathSciNetGoogle Scholar
  17. 17.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Alfredo Burrieza
    • 1
  • Manuel Ojeda-Aciego
    • 2
  • Ewa Orłowska
    • 3
  1. 1.Dept. Filosofía.Univ. MálagaSpain
  2. 2.Dept. Matemática Aplicada.Univ. MálagaSpain
  3. 3.National Institute of TelecommunicationsWarsawPoland

Personalised recommendations