Reasoning with Qualitative Velocity: Towards a Hybrid Approach

  • J. Golińska-Pilarek
  • E. Muñoz-Velasco
Conference paper

DOI: 10.1007/978-3-642-28942-2_57

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7208)
Cite this paper as:
Golińska-Pilarek J., Muñoz-Velasco E. (2012) Reasoning with Qualitative Velocity: Towards a Hybrid Approach. In: Corchado E., Snášel V., Abraham A., Woźniak M., Graña M., Cho SB. (eds) Hybrid Artificial Intelligent Systems. HAIS 2012. Lecture Notes in Computer Science, vol 7208. Springer, Berlin, Heidelberg


Qualitative description of the movement of objects can be very important when there are large quantity of data or incomplete information, such as in positioning technologies and movement of robots. We present a first step in the combination of fuzzy qualitative reasoning and quantitative data obtained by human interaction and external devices as GPS, in order to update and correct the qualitative information. We consider a Propositional Dynamic Logic which deals with qualitative velocity and enables us to represent some reasoning tasks about qualitative properties. The use of logic provides a general framework which improves the capacity of reasoning. This way, we can infer additional information by using axioms and the logic apparatus. In this paper we present sound and complete relational dual tableau that can be used for verification of validity of formulas of the logic in question.


qualitative reasoning propositional dynamic logic relational logics hybrid qualitative reasoning 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • J. Golińska-Pilarek
    • 1
    • 2
  • E. Muñoz-Velasco
    • 3
  1. 1.Institute of PhilosophyUniversity of WarsawPoland
  2. 2.National Institute of TelecommunicationsUniversity of WarsawPoland
  3. 3.Dept. Applied MathematicsUniversity of MálagaSpain

Personalised recommendations