A symbolic approach to qualitative kinematics
Artificial Intelligence
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning
Applied Intelligence
Qualitative Velocity and Ball Interception
KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence
CCIA '02 Proceedings of the 5th Catalonian Conference on AI: Topics in Artificial Intelligence
A qualitative approach to rigid body mechanics
A qualitative approach to rigid body mechanics
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Handbook of Knowledge Representation
Handbook of Knowledge Representation
Editorial: Hybrid learning machines
Neurocomputing
Qualitative kinematics: a framework
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Logic-oriented neural networks for fuzzy neurocomputing
Neurocomputing
Combining RCC-8 with qualitative direction calculi: algorithms and complexity
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Qualitative reasoning about consistency in geographic information
Information Sciences: an International Journal
Information Sciences: an International Journal
Editorial: Hybrid intelligent algorithms and applications
Information Sciences: an International Journal
Magnitude qualitative reasoning via PDL
CAEPIA'09 Proceedings of the Current topics in artificial intelligence, and 13th conference on Spanish association for artificial intelligence
Inferring additional knowledge from QTCN relations
Information Sciences: an International Journal
A qualitative trajectory calculus and the composition of its relations
GeoS'05 Proceedings of the First international conference on GeoSpatial Semantics
Fuzzy Qualitative Robot Kinematics
IEEE Transactions on Fuzzy Systems
Hi-index | 0.00 |
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.