Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility

Abstract. 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.

• Type: Conference
• Year: 2005
• Where: CAEPIA
• Authors: Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
• Keywords: CAEPIA 2005, Complete Axiom, Magnitude Qualitative Reasoning, Useful Properties