Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Proving properties of continuous systems: qualitative simulation and temporal logic
Artificial Intelligence
Modal 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
Granular computing with closeness and negligibility relations
Data mining, rough sets and granular computing
Relative and absolute order-of-magnitude models unified
Annals of Mathematics and Artificial Intelligence
Order of magnitude qualitative reasoning with bidirectional negligibility
CAEPIA'05 Proceedings of the 11th Spanish association conference on Current Topics in Artificial Intelligence
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 Propositional Dynamic Logic Approach for Order of Magnitude Reasoning
IBERAMIA '08 Proceedings of the 11th Ibero-American conference on AI: Advances in Artificial Intelligence
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Magnitude qualitative reasoning via PDL
CAEPIA'09 Proceedings of the Current topics in artificial intelligence, and 13th conference on Spanish association for artificial intelligence
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
| Hi-index | 0.00 |
This paper continues the research line on the multimodal logic of qualitative reasoning; specifically, it deals with the introduction of the notions non-closeness and distance. These concepts allow us to consider qualitative sum of medium and large numbers. We present a sound and complete axiomatization for this logic, together with some of its advantages by means of an example.