Advanced search
Publication Cover
Applied Artificial Intelligence
An International Journal
Volume 16, 2002 - Issue 3
Submit an article Journal homepage
48
Views
3
CrossRef citations to date
0
Altmetric
Original Articles

A framework for semiqualitative reasoning in engineering applications

Rafael M. Gasca
,
J.A. Ortega
&
M. Toro
Pages 173-197 | Published online: 30 Nov 2010

  • Agell , N. 1998 . “ Estructures matematiques per al model qualitatiu d'ordres de magnitud absoluts ” . Spain : Universitat Politecnica de Catalunya . Ph. D. Diss.
  • Aracil , J. and Toro , M. 1993 . “ Metodos cualitativos en dinmica de sistemas ” . Spain : Secretariado de Publicaciones, University of Seville .
  • Armengol , J. 2000 . “ Application of modal interval analysis to the simulation of the behaviour of dynamic systems with uncertain parameters ” . Girona University . Ph. D. Diss.
  • Benhamou , F. , McAllester , D. and Van Hentenryck. , P. CLP intervals revisited . Proceedings of the International Logic Programming Symposium . Ithaca, NY..
  • Benhamou , P. and Granvilliers , L. Combining local consistency, symbolic rewriting and interval methods . Proceedings of the AISMC-3, Steyr Austria LNCS . Vol. 1138 , pp. 44 – 159 . Springer-Verlag .
  • Benhamou , F. and Granvilliers , L. 1997 . Automatic generation of numerical redundancies for non-linear constraint solving . Reliable Computing , 3 : 335 – 344 .
  • Benhamou , F. and Older , W. 1997 . Applying interval arithmetic to real, integer and Boolean constraints . The Journal of Logic Programming , 32 : 1 – 24 .
  • Berleant , D. and Kuipers , B.J. 1997 . Qualitative and quantitative simulation: bridging the gap . Artificial Intelligence , 95 : 215 – 255 .
  • Biswas , G. , Kapadia , R. and Yu , W. 1999 . Combined qualitative-quantitative steady state diagnosis of continuous-value systems . IEEE Transactions on Systems, Man and Cybernetics , XX : 100 – 118 .
  • Bousson , K. 1993 . “ Raisonnement causal pour Ia supervision de processus basee sur des modeles ” . LAAS-CNRS Toulouse . Ph. D. Diss.
  • Bozzo , L. M. , Barbat , A. and Torres , L. 1998 . Application of qualitative reasoning in engineering . Applied Artificial Intelligence , 12 : 29 – 48 .
  • Buchberger , B. 1985 . “ Gröbner bases: An algorithmic method in polynomial ideal theory ” . In Recent Trends in Multidimensional Systems Theory , 184 – 232 . New York : Reidel .
  • Collavizza , H. , Delobel , F. and Rueher , M. 1999 . Comparing partial consistencies . Reliable Computing , 5 : 213 – 218 .
  • Dague , P. Symbolic reasoning with relative orders of magnitude . Proceedings of the Thirteenth IJCAI . Chambery, France. pp. 1509 – 1541 .
  • Dague , P. Numeric reasoning with relative orders of magnitude . 11th National Conference on Artificial Intelligence . Washington, DC. pp. 541 – 547 .
  • Dague , P. 1995 . Qualitative reasoning: A survery of techniques and applications . AI Communications , 8 (3/4) : 19 – 192 .
  • Davis , E. 1987 . Constraint propagation with interval labels . Artificial Intelligence , 32 : 281 – 331 .
  • De Kleer , J. and Brown , J.S. 1984 . Qualitative physics based on confluences . Artificial Intelligence , 24 (1-3) : 7 – 83 .
  • Do !linger , R. and Letia , I. 1998 . Using Tolerance Calculus for reasoning in relative order of magnitude models . Lecture Notes in Artificial Intelligence , 1415 : 399 – 407 .
  • Dubois , D. and Prade , H. 1989 . Order-of-magnitude reasoning with fuzzy relations . Revue d'Intelligence Artificielle , : 69 – 94 .
  • Forbus , K. D. 1984 . Qualitative process theory . Artificial Intelligence , 24 : 85 – 168 .
  • Freuder , E. C. and Mackworth , A. 1994 . Constraint-Based Reasoning , Cambridge, MA : MIT/Elsevier .
  • Gasca , R. M. , Toro , M. and Ortega , J.A. 1996 . Propagacion de restricciones integran conocimiento Qualitative y cuantitativo . Boletin de la AEPIA , : 23 – 30 .
  • Gasca , R. M. 1998 . “ Razonamiento y simulacion en sistemas que integran conocimiento cualitativo y cuantitativo ” . University of Sevilla . Ph. D. Diss.
  • Hong , H. and Stahl , V. 1994 . Safe starting regions by fixed points and tightening . Computing , 53 : 323 – 335 .
  • Hyvönen , E. 1992 . Constraint reasoning based on interval artithmetic: the tolerance propagation . Artificial Intelligence , 58 : 1 – 112 .
  • ILOG. 1999 . ILOG Solver 4.4 User's Manual France
  • Jussien , N. and Lhomme , O. 1998 . “ Dynamic domain splitting for numeric CSPs ” . In Proceedings of the ECA Vol. 198 , 224 – 228 . Brighton, , England
  • Kuipers , B. J. 1986 . Qualitative Simulation . Artificial Intelligence , 29 : 289 – 338 .
  • Kuipers , B. J. 1994 . Qualitative Reasoning. Modeling and Simulation with Incomplete Knowledge , Cambridge, MA : MIT Press .
  • Lee , M. H. Qualitative modelling of linear networks in engineering applications . Proceedings of the ECAI2000 . Berlin, Germany. pp. 161 – 165 .
  • Lhomme , O. Consistency techniques for numeric CSPs . Proceedings of the 13th IJCAI'93 . Chambery, France. pp. 232 – 238 .
  • Lhomme , O. 1994 . “ Contribution a Ia resolution de constraintes sur les reels par propagation d'intervalles ” . Antipolis : Nice-Sophia University . Ph. D. Diss.
  • Luchner , K. Introductory experiments on chaotic motion . Proceedings of the Conference on Synergetics Order and Chaos . Madrid, Spain. pp. 41 – 54 .
  • Moreno , J. 1993 . “ Tecnicas cualitativas de supervision: aplicacion a motores marines ” . University of Sevilla . Ph. D. Diss.
  • Marti , P. and Rueher , M. 1997 . Concurrent cooperating solvers over reals . Reliable Computing , 3 : 325 – 333 .
  • Mavrovouniotis , M. L. and Stephanopoulos , G. 1990 . “ Formal order-of-magnitude reasoning in process engineering ” . In Readings in Qualitative Reasoning about Physical Systems , 323 – 336 . San Mateo, CA : Morgan Kaufmann .
  • Missier , A. , Piera , N. and Trave , L. 1989 . Order of magnitude algerbras: A survey . Revue d'Intelligence Artificielle , 3 (4) : 95 – 109 .
  • Moore , R. E. 1966 . Interval Analysis. Series in Automatic Computation , Englewood Cliffs, NJ : Prentice-Hall .
  • Older , W. J. and Benhamou , F. Programming in CLP(BNR) . Proceedings of PPCP'93 Newport, RI .
  • Ortega , J. A. 2000 . “ Patrones de comportamiento temporal en sistemas dinBmicos con restricciones ” . University of Sevilla . Ph. D. Diss.
  • Piera , N. , Sánchez , M. and Travé-Massuyés. , L. Qualitative operators for order of magnitude calculers: Robustness and precision . Proceedings of the 43rd IMACS World Congress on Computation and Applied Mathematics . Dublin, Ireland. pp. 1 – 6 .
  • Piera , N. , ed. 1995 . Current Trends in Qualitative Reasoning and Applications Nuria Piera, , Spain
  • Raiman , O. Order of magnitude reasoning . Proceedings of the 5th National Conference on Artificial Intelligence . Philadelphia, PA. pp. 100 – 104 .
  • Raiman , O. 1991 . Order of magnitude reasoning . Artificial Intelligence , 51 : 11 – 38 .
  • Ratschek , H. and Rokne , J. 1984 . Computer Methods for the Range of Functions , England : Ellis Horwood .
  • Riquelme , J. C. 1996 . “ Obtención de informatión cualitativa a partir de datos cuantitativos: Aplicación al análisis de sistemas complejos ” . University of Sevilla . Ph. D. Diss.
  • Sánchez , M. , Prats , F. and Piera , N. 1996a . “ Mixing the Absolute and Relative Order of Magnitude Reasoning in Qualitative Models ” . Research Report MA2-IT-96-0005 Barcelona : UPC .
  • Sánchez , M. , Prats , F. and Piera , N. Degrees of negligibility in qualitative models . Proc. Jornads Hispano Francesas . Barcelona, Spain.
  • Sánchez , M. , Prats , F. and Piera , N. 1998 . Negligibility relations between numbers and qualitative labels . Lecture Notes in Artificial Intelligence , 1415 : 367 – 376 .
  • Struss , P. 1989 . “ Structuring of models and reasoning about quantities in qualitative physics ” . University of Kaiserlautern . Ph.D. Diss.
  • Struss , P. 1990 . Problems in interval-based qualitative reasoning. Qualitative Reasoning about Physics Systems , San Mateo, CA : Morgan Kaufmann .
  • Travé-Massuyès , L. and Fiera , N. The order of magnitude models as qualitative algebras . Proceedings of the 11th Joint Conference on Artificial Intelligence . Detroit, MI. pp. 1261 – 1266 .
  • Travé-Massuyès , L. , Dague , P. and Guerrin , F. 1997 . Le raisonnement qualiftat if pour les sciences de l'ingnieur , Paris : Hermes .
  • Van Hentenryck , P. and Michel , L. 1995 . “ Newton: Constraint Programming over Nonlinear Real Constraints ” . Technical Report No. CS-95-25 Brown University .
  • Van Hentenryck , P. , McAllester , D. and Kapur , D. 1995 . “ Solving Polynomial Systems using a Branch and Prune approach ” . Technical Report No. CS-95-01 Brown University .
  • Van Hentenryck , P. , Michel , L. and Denville , Y. 1997 . Numerica. A Modeling Language for Global Optimization , Cambridge, MA : MIT Press .
  • Williams , B. C. 1991 . A theory of interactions: Unifying qualitative and quantitative algebraic reasoning . Artificial Intelligence , 51 : 39 – 94 .

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Order Reprints Request Corporate Permissions

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

Request Academic Permissions

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.

Related research

People also read lists articles that other readers of this article have read.

Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.

Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.