A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance

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.

[1]  Brandon Bennett,et al.  Modal Logics for Qualitative Spatial Reasoning , 1996, Log. J. IGPL.

[2]  Philippe Dague.  Numeric Reasoning with Relative Orders of Magnitude , 1993, AAAI.

[3]  John P. Burgess,et al.  Basic Tense Logic , 1984 .

[4]  Michael L. Mavrovouniotis,et al.  Reasoning with Orders of Magnitude and Approximate Relations , 1987, AAAI.

[5]  Anthony G. Cohn,et al.  Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning , 2002, Applied Intelligence.

[6]  Didier Dubois,et al.  Granular computing with closeness and negligibility relations , 2002 .

[7]  Louise Travé-Massuyès,et al.  Order of magnitude qualitative algebras: a survey , 1989 .

[8]  Núria Agell,et al.  Relative and absolute order-of-magnitude models unified , 2005, Annals of Mathematics and Artificial Intelligence.

[9]  Philippe Dague.  Symbolic Reasoning with Relative Orders of Magnitude , 1993, IJCAI.

[10]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[11]  F. Wolter,et al.  Qualitative spatiotemporal representation and reasoning: a computational perspective , 2003 .

[12]  Manuel Ojeda-Aciego,et al.  A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations , 2005, Fundam. Informaticae.

[13]  Emilio Muñoz-Velasco,et al.  Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility , 2005, CAEPIA.

[14]  Olivier Raiman,et al.  Order of Magnitude Reasoning , 1986, Artif. Intell..

[15]  Benjamin Kuipers,et al.  Proving Properties of Continuous Systems: Qualitative Simulation and Temporal Logic , 1997, Artif. Intell..

[16]  Philippe Dague,et al.  Mathematical Foundations of Qualitative Reasoning , 2004, AI Mag..

[17]  Balder ten Cate,et al.  Hybrid logics , 2007, Handbook of Modal Logic.

[18]  Manuel Ojeda-Aciego,et al.  Relational Approach to Order-of-Magnitude Reasoning , 2006, Theory and Applications of Relational Structures as Knowledge Instruments.

[19]  Núria Agell,et al.  Consistent Relative and Absolute Order-of-Magnitude Models , 2002 .

[20]  L. Zadeh,et al.  Data mining, rough sets and granular computing , 2002 .

[21]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .