Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility

In this paper, we enrich the logic of order of magnitude qualitative reasoning by means of a new notion of negligibility which has very useful properties with respect to operations of real numbers. A complete axiom system is presented for the proposed logic, and the new negligibility relation is compared with previous ones and its advantages are presented on the basis of an example.

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

[2]  Joanna Golinska-Pilarek,et al.  Tableaux and Dual Tableaux: Transformation of Proofs , 2007, Stud Logica.

[3]  Ewa Orlowska,et al.  Relational Proof Systems for Modal Logics , 1996 .

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

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

[6]  Andrea Formisano,et al.  A Prolog tool for relational translation of modal logics: a front-end for relational proof systems , 2005 .

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

[8]  Beata Konikowska,et al.  Rasiowa-Sikorski deduction systems in computer science applications , 2002, Theor. Comput. Sci..

[9]  R. Sikorski,et al.  The mathematics of metamathematics , 1963 .

[10]  Joanna Golinska-Pilarek,et al.  Relational Logics and Their Applications , 2006, Theory and Applications of Relational Structures as Knowledge Instruments.

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

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

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

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

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

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

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

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

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

[20]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

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

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