Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
389278 | Fuzzy Sets and Systems | 2014 | 18 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
E. Muñoz-Velasco, A. Burrieza, M. Ojeda-Aciego,