A logic framework for reasoning with movement based on fuzzy qualitative representation super()

We present a logic approach to reason with moving objects under fuzzy qualitative representation. This way, we can deal both with qualitative and quantitative information, and consequently, to obtain more accurate results. The proposed logic system is introduced as an extension of Propositional Dyna...

Full description

Saved in:
Bibliographic Details
Published in:Fuzzy sets and systems 2014-05, Vol.242, p.114-131
Main Authors: Munoz-Velasco, E, Burrieza, A, Ojeda-Aciego, M
Format: Article
Language:English
Subjects:
Dynamic tests
Dynamical systems
Dynamics
Fuzzy
Fuzzy logic
Fuzzy set theory
Logic
Representations
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We present a logic approach to reason with moving objects under fuzzy qualitative representation. This way, we can deal both with qualitative and quantitative information, and consequently, to obtain more accurate results. The proposed logic system is introduced as an extension of Propositional Dynamic Logic: this choice, on the one hand, simplifies the theoretical study concerning soundness, completeness and decidability; on the other hand, provides the possibility of constructing complex relations from simpler ones and the use of a language very close to programming languages.
ISSN:0165-0114
DOI:10.1016/j.fss.2013.07.014