What Can we do with Qualitative Calculus Today?

作者: L. Travé-Massuyès , N. Piera , A. Missier

DOI: 10.1016/S1474-6670(17)54373-6

关键词: MathematicsPartition (number theory)Real lineAxiomCalculusAlgebraic structureQualitative calculusExtended modelQualitative physicsPure mathematicsQualitative 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

参考文章(15)
Didier Dubois, Henri Prade, Fuzzy arithmetic in qualitative reasoning Modeling and Control of Systems. pp. 457- 467 ,(1989) , 10.1007/BFB0041212
Jean-Luc Dormoy, Controlling qualitative resolution national conference on artificial intelligence. pp. 319- 323 ,(1988)
L. Trave, E. Kaszkurewicz, Qualitative Controllability and Observability of Linear Dynamical Systems IFAC Proceedings Volumes. ,vol. 20, pp. 849- 855 ,(1987) , 10.1016/S1474-6670(17)55815-2
Philippe Caloud, Towards continuous process supervision international joint conference on artificial intelligence. pp. 1086- 1089 ,(1987)
N. Piera, L. Trave-Massuyes, The orders of magnitude models as qualitative algebras international joint conference on artificial intelligence. pp. 1261- 1266 ,(1989)
Kelvin Lancaster, The Scope of Qualitative Economics The Review of Economic Studies. ,vol. 29, pp. 99- 123 ,(1962) , 10.2307/2295817
John S. Maybee, Sign solvable graphs Discrete Applied Mathematics. ,vol. 2, pp. 57- 63 ,(1980) , 10.1016/0166-218X(80)90054-2
Johan De Kleer, John Seely Brown, A qualitative physics based on confluences Artificial Intelligence. ,vol. 24, pp. 7- 83 ,(1984) , 10.1016/0004-3702(84)90037-7
Gilbert Ritschard, Computable Qualitative Comparative Static Techniques Econometrica. ,vol. 51, pp. 1145- 1168 ,(1983) , 10.2307/1912056