A hybrid qualitative approach for relative movements

Logic Journal of the IGPL 23 (3):410-420 (2015)
  Copy   BIBTEX


Qualitative description of movements can be very important for representation and reasoning about dynamic systems which are complex in structure or whenever numerical data are incomplete or inaccessible. For this reason, we present a hybrid approach based on the combination of qualitative reasoning, quantitative data and logical methods. In this article, we introduce a new propositional dynamic logic QM for representation and reasoning with relative movements of objects. In this way, we can infer additional information about movements by using axioms and the logic apparatus. We present a sound and complete deduction system in dual tableaux style for the logic QM. The system can be used for verification of validity of formulas of the logic in question.



    Upload a copy of this work     Papers currently archived: 92,953

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Reasoning with Qualitative Velocity: Towards a Hybrid Approach.Joanna Golinska-Pilarek & Emilio Munoz Velasco - 2012 - In Emilio Corchado, Vaclav Snasel, Ajith Abraham, Michał Woźniak, Manuel Grana & Sung-Bae Cho (eds.), Hybrid Artificial Intelligent Systems. Springer. pp. 635--646.
Hybrid Identities and Hybrid Equational Logic.Klaus Denecke - 1995 - Mathematical Logic Quarterly 41 (2):190-196.
Qualitative Analysis of Content by.Yan Zhang & Barbara M. Wildemuth - 2005 - Human Brain Mapping 30 (7):2197-2206.
Hybrid Theories.Christopher Woodard - 2015 - In Guy Fletcher (ed.), The Routledge Handbook of Philosophy of Well-Being. Routledge. pp. 161-174.
Hybrid logics with Sahlqvist axioms.Balder Cate, Maarten Marx & Petrúcio Viana - 2005 - Logic Journal of the IGPL 13 (3):293-300.
Meeting strength in substructural logics.Yde Venema - 1995 - Studia Logica 54 (1):3 - 32.
Hybrid Accounts of Ethical Thought and Talk.Teemu Toppinen - 2017 - In Tristram Colin McPherson & David Plunkett (eds.), The Routledge Handbook of Metaethics. New York: Routledge. pp. 243-259.


Added to PP

7 (#1,410,142)

6 months
3 (#1,044,897)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Joanna Golinska-Pilarek
University of Warsaw
Emilio Muñoz-Velasco
Universidad de Málaga

References found in this work

No references found.

Add more references