An essay in combinatory dynamic logic
Information and Computation
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Artificial Intelligence
Dynamic Logic
Algorithmic Logic
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning
Applied Intelligence
Qualitative spatiotemporal representation and reasoning: a computational perspective
Exploring artificial intelligence in the new millennium
Relative and absolute order-of-magnitude models unified
Annals of Mathematics and Artificial Intelligence
Logics of communication and change
Information and Computation
MASL: A Logic for the Specification of Multiagent Real-Time Systems
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance
Current Topics in Artificial Intelligence
A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning
IBERAMIA '08 Proceedings of the 11th Ibero-American conference on AI: Advances in Artificial Intelligence
Qualitative reasoning about consistency in geographic information
Information Sciences: an International Journal
Propositional dynamic logic for message-passing systems
FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
Relational approach to order-of-magnitude reasoning
TARSKI'02-05 Proceedings of the 2006 international conference on Theory and Applications of Relational Structures as Knowledge Instruments - Volume 2
A PDL-like logic of knowledge acquisition
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Reasoning with qualitative velocity: towards a hybrid approach
HAIS'12 Proceedings of the 7th international conference on Hybrid Artificial Intelligent Systems - Volume Part I
| Hi-index | 0.00 |
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of closeness and distance is introduced in this paper. In doing this, we use some of the advantages of PDL: firstly, we exploit the possibility of constructing complex relations from simpler ones for defining the concept of closeness and other programming commands such as while ... do and repeat ... until; secondly, we employ its theoretical support in order to show that the satisfiability problem is decidable and the completeness of our system. Moreover, the specific axioms of our logic have been obtained from the minimal set of formulas needed in our definition of qualitative sum of small, medium and large numbers. We also present some of the advantages of our approach on the basis of an example.