作者: L. Travé-Massuyès , N. Piera , A. Missier
DOI: 10.1016/S1474-6670(17)54373-6
关键词: Mathematics 、 Partition (number theory) 、 Real line 、 Axiom 、 Calculus 、 Algebraic structure 、 Qualitative calculus 、 Extended model 、 Qualitative physics 、 Pure mathematics 、 Qualitative reasoning
摘要: Abstract This paper reports the state of art qualitative calculus. Within a unifying mathematical framework for orders magnitude models, we propose an axiomatic equality and general algebraic structure called algebra. We show that usual model {+,-,O,?} extended recently introduced by Dubois Prade are particular cases in class models generated from partition real line. Any these can be structured as Now, whereas effective calculation tools exist when working with signs, numerous problems arise more sophisticated models. Some isolated results presented though