Hostname: page-component-586b7cd67f-dlnhk Total loading time: 0 Render date: 2024-11-21T22:33:21.054Z Has data issue: false hasContentIssue false
  • English
  • Français

Application oriented qualitative reasoning

Published online by Cambridge University Press:  07 July 2009

Louise Travé-Massuyès  and
Robert Milne
Louise Travé-Massuyès
Affiliation:
LAAS-CNRS, 7 Avenue du Colonel Roche, Toulouse, 31077, France (email:[email protected])
Robert Milne
Affiliation:
Intelligent Applications, 1 Michaelson Square, West Lothian, Scotland EH54 7DP, UK (email:[email protected])
Get access Rights & Permissions [Opens in a new window]

Abstract

The techniques of qualitative reasoning are now becoming sufficiently mature to be applied to real world problems. In order to better understand which techniques are being used successfully for real world applications, and which application areas can be suitably addressed using qualitative reasoning techniques, it is helpful to have a summary of what application oriented work has been done to date. This helps to provide a picture of the application areas in which the techniques are being applied, and who is working in each application domain. In this paper, we summarize over 40 relevant projects.

Type
Research Article
Information
The Knowledge Engineering Review , Volume 10 , Issue 2 , June 1995 , pp. 181 - 204
Copyright
Copyright © Cambridge University Press 1995

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Artificial Intelligence 1984. Special Volume on Qualitative Physics, 24.Google Scholar
Artificial Intelligence 1991. Special Volume on Qualitative Physics II, 51.Google Scholar
Bailey, A, Kiang, Y, Kuipers, B and Whinston, A, 1990. Analytical Procedures and Qualitative Reasoning in Auditing: Applications in Management Science. JAI Press.Google Scholar
Bailey, A, Kiang, Y, Kuipers, B and Whinston, A, 1991a. “Qualitative reasoning in auditing” In: Yuji, Ijiri (eds). Creative and Innovative Approaches to the Science of Management.Google Scholar
Bailey, DA, Kiang, Y, Kuipers, B and Whinston, A, 1991b. “A Theoretical Framework for Modelling Executive Support Systems: A Qualitative and Causal Reasoning Approach”. Dept of Accounting, College of Business and Public Administration, University of Arizona, USA. & Dept. of Management Structure and Information Systems, University of Texas, Austin, Texas & Dept. of Computer Science of Texas, Austin, Texas, & Dept. of Management Science and Information Systems, University of Texas, Austin, Texas, Decision Support Systems and Qualitative Reasoning, Toulouse.Google Scholar
Beaumont-Féray, S, 1989. “Modèle Qualitatif de Comportement pour un Système d'Aide à la Supervision des Procédés”. Thèse de Doctorat INPG, Grenoble.Google Scholar
Beaumont-Féray, S. 1991a, Qualitative Model-Based Reasoning: An Application to Distillation Process.” Dept. of Chemical and Process Engineering, University of Newcastle, Newcastle upon Tyne, UK. Decision Support Systems and Qualitative Reasoning, Toulouse.Google Scholar
Beaumont-Féray, S, Corea, FMR, Tham, MT and Morris, AJ, 1991b. “Qualitative Modelling of Distillation Columns,” Department of Chemical and Process Engineering, University of Newcastle, Newcastle upon Tyne, UK, & Process Control Lab, ICPI-Lyon, Lyon (France). IFAC, Toulouse.Google Scholar
Bertin, A, Gallanti, M, Stefanini, A and Tomielle, G. Diagnostic Reasoning Based on Dependency Analysis. CISE SpA, Milan, Italy.Google Scholar
Bourseau, P, Brilloit, P, Latge, C and Muratet, G, 1991. “Qualitative Analysis of a Complex Chemical Plant:Application to a Cold Trap of a Nuclear Power Reactor”. UPR CNRS 1311, University Paris Nord (France) & Commissariat a l'Energie Atomique (France), European Workshop on QR, Italy.Google Scholar
Bousson, K, and Travé-Massuyès, L, 1992a. “A Computational Causal Model for Process Supervision,” IFAC International Symposium on ‘Artificial Intelligence in Real-Time Control’ Deift, The Netherlands. pp. 183–189.Google Scholar
Bousson, K and Travé-Massuyes, L, 1992b. Formalising Expertise: Qualitative Operators,” ECAI-92. Vienna, Austria. pp. 694–698.Google Scholar
Bousson, K and Travé-Massuyès, L, 1993. “Fuzzy Causal Simulation in Process Engineering” IJCAI'93 Chambéry, France.Google Scholar
Bousson, K, Guerrin, FM and Trave-Massuyes, L, 1993. “Qualitative Prediction and Interpretation for Bioprocess Supervision,” Tooldiag'93, Toulouse, France.Google Scholar
Bradshaw, JA and Young, RM, 1991. Integrating Knowledge of Purpose and Knowledge of Structure for Design Evaluation,” Computer Laboratory, University of Cambridge, Cambridge & Applied Psychology Unit, Cambridge. European Workshop on QR, Italy.CrossRefGoogle Scholar
Bratko, I, Mozetic, I and Lavrac, N, 1989. KARDIO: A Study in Deep and Qualitative Knowledge for Expert Systems. MIT Press.Google Scholar
Buisson, L, 1991. “Qualitative Reasoning and Decision Making in Avalanche Path Analysis: The ELSA System”, Laboratoire ARTEMIS/IMAG, Grenoble, Cedex, France.Google Scholar
Caloud, P, 1988. Raisonnement Qualitatif: Application à l'aide `a la Supervision des Procèdès Contimus,” Thèse de Doctorat de l'INPG.Google Scholar
Charles, A, 1992. Aide à la Detection d'Anomalies de Fonctionnement des Systèes Dynamiques: Une Approche fondée sur des Modèles Qualitatifs et Quantitatifs,” Thèse de l'Université Technologique de Compiègne, France (in French).Google Scholar
Cooke, DE and Hunt, JE. “Physiological and Ecological Applications of Qualitative Modelling”, Department of Computer Science, University of Wales.Google Scholar
Dague, Ph, Raiman, O and Deves, Ph, 1987. Trouble-shooting: When Modeling is the Trouble,” IBM Scientific Center, Paris, France & Electronique Serge Dassault, France.Google Scholar
Dague, P, 1988. Order of magnitude revisited,” Qualitative Physics Workshop. Paris, France.Google Scholar
Daniels, HAM and Feelders, AJ, 1990a. “Model-Based Diagnosis of Business Performance,” Tilburg University, Institute for Language Technology and AI, Netherlands.Google Scholar
Daniels, HAM and Fedders, AJ, 1990b, Model-Based Diagnosis of Business Performance: A Constraint Logic Programming Approach.” Tilburg University, Institute for Language Technology and AI, Netherlands (European Computer-Industry Research Centre GmbH, West Germany. Proceedings of Computing Science in the Netherlands Stichting Matematisch Centre, Amsterdam 1990.)Google Scholar
Daniels, HAM and Fedders, AJ, 1991. “Combining Qualitative and Quantitative Methods for Model Based Diagnosis of Firms”, Institute for Language Technology and AI, Tilburg University, Netherlands. (Decision Support Systems and Qualitative Reasoning Toulouse, France.)Google Scholar
de, Kleer J and Brown, J, 1984. “A Qualitative Physics based on confluences”, Artificial Intelligence 24 7–83.Google Scholar
Djerroud, A, Rousset, MC and Godefroy, P, 1992. Applying Artificial Intelligence Techniques to Geoforecasting: PROSPECT: a simulator of changes affecting radioactive-waste disposal sites”. 5th International Workshop on Applying Artificial Intelligence Techniques in Seismology and Engineering Seismology Luxembourg.Google Scholar
Downing, K, 1991. “Model-Based Diagnosis of Qualitative Physiological Models” IDA, Linkoping University, Sweden. (European Workshop on QR, Italy.)Google Scholar
Dubois, D and Prade, H, 1989. “Order of magnitude reasoning with fuzzy relations,” Revue d'Intelligence Artificielle 3(4) 69–94.Google Scholar
Dugerdil, Ph and Guillod, J, 1990. “Deep Model Reasoning in a Medical Expert System,” Institut de Mathematiques et Informatique, Université de Neuchatel, Switzerland & Hôpital des Cadolles, Service de Medicine, Switzerland (Avignon'90).Google Scholar
Evrard, JM, Galperin, A and Thomas, JB, m 1987. “Interprétation en Ligne de Processus Physiques pour la Conduite d'Installations Industrielles “Rapport Interne DEMT/89/285, SERM/LETR /89/1114 (confidential).Google Scholar
Farley, A and Lin, KP, 1991. “Qualitative Reasoning in Microeconomics: An example”, Computer Science Dept. University of Oregon, USA, & Economics Department, Portland State University, Oregon, USA. (Decision Support Systems and Qualitative Reasoning Toulouse, France.)Google Scholar
Forbus, K, 1984. “Qualitative Process Theory,” Artificial Intelligence 24.CrossRefGoogle Scholar
Fouché, P, 1992. “Vers une Unification des Methodes de Simulation Qualitative,” Thèse de l'Université Technologique de Compiègne.Google Scholar
Guerrin, F, 1991a. “Interpretation of measurements, analyses and observations in partially known processes,” Workshop Notes from the Ninth National Conference on Artificial Intelligence (AAAI-91), Model-Based Reasoning Anaheim, CA.Google Scholar
Guerrin, F, 1991b, “Qualitative reasoning about an ecological process: interpretation in hydroecology,” Ecological Modelling 59(3–4) 165–201.CrossRefGoogle Scholar
Hogan, PA, Burrows, CR, Edge, KA, Woollons, DJ and Atkinson, RM, 1991. “A System For Diagnosing Faults in Hydraulic Circuits Based on Qualitative Models of Components Behaviours: Fluid Power Centre, University of Bath, & Dept. of Engineering Science, Exeter University. (Safeprocess'91.)Google Scholar
Hunt, J and Price, C, 1989. “Towards a Generic, Qualitative-Based Diagnostic Architecture,” Dept. of Computer Science, University College of Wales, Aberystwyth, Dyfed. (Avignon'89.)Google Scholar
Hunt, J, Lee, M and Price, C. “Applications of Qualitative Model-Based Reasoning,” AI and Robotics Research Group, Dept. of Computer Science, University of Wales, Aberystwyth, UK.Google Scholar
Hunt, J and Price, C, 1991. “An Augmented Model-Based Diagnostic System Exploiting Diagnostic and Domain Knowledge, Dept. of Computer Science, University College of Wales, Aberystwyth, UK.Google Scholar
Hunter, J, Kirby, I and Gotts, N, 1991a. “Using Quantitative and Qualitative Constraints in Models of Cardiac Electrophysiology. Dept. of Computing Science, University of Aberdeen, Aberdeen. (European Workshop on QR, Italy.)Google Scholar
Kay, H and Kuipers, B, 1992. “Numerical Behaviour Envelopes for Qualitative Models,” Dept. of Computer Sciences, University of Texas at Austin, Texas, USA.Google Scholar
Kirby, I and Hunter, J, 1991b. “Further Progress in Qualitative Modelling of Cardiac Electro-physiology.” Dept. of Computing Science, University of Aberdeen, Aberdeen.Google Scholar
Kiriyama, T, Tomiyama, T and Yoshikawa, H, 1991a. “Qualitative Reasoning and Conceptual Design with Physical Features. Dept. of Precision Machinery Engineering, The University of Tokyo, Tokyo, Japan.Google Scholar
Kiriyama, T, Tomiyama, T and Yoshikawa, H, 1991b. “The Use of Qualitative Physics For Integrated Design Object Modelling.” Department of Precision Machinery Engineering, University of Tokyo, Tokyo, Japan.CrossRefGoogle Scholar
Kiriyama, T, Tomiyama, T and Yoshikawa, H, 1991c. “Model Generation in Design,” Dept. of Precision Machinery Engineering. The University of Tokyo, Japan.Google Scholar
Koch, GG, 1992. “Knowledge-based Co-ordination of Qualitative On-Line Diagnostic Test,” Dept. of Automatic Control, Swiss Federal Institute of Technology, Zurich, Switzerland. (SICICA'92.)Google Scholar
Kuipers, BJ, 1986, “Qualitative simulation” Artificial Intelligence 29 289–338.CrossRefGoogle Scholar
Lackinger, F and Nejdl, W, 1991. “Integrating Model-Based Monitoring and Diagnosis of Complex Dynamic Systems” Christian Doppler Laboratory for Expert Systems, Technical University of Vienna, Austria.Google Scholar
Leyval, L and Gentil, S, 1991. “On-Line Event Based Simulation Through A Casual Graph” Commissariat à l'Energie Atomique, Laboratoire d'Informatique Appliquée, Cedex, France & LAG-ENSIEG, Cedex, France (Decision Support and Qualitative Reasoning Toulouse, France.)Google Scholar
Leyval, L, 1991. “Raisonnement causal pour la simulation de procédés industriels continus” Thèse de doctorat de l'Université de l'Institut Polytechnique de Grenoble.Google Scholar
Leyval, L and Ledoux, A, 1991. “Qualitative Simulation for Supervision of a Nuclear Reprocessing Plant,” Commissariat à l'Energie Atomique, CEN VALRHO—Marcoule, Cedex, France. (Safeprocess'91.)Google Scholar
Leitch, R, Freitag, H, Struss, P and Tornielle, G, 1991. “ARTIST: A Methodological Approach to Specifying Model Based Diagnostic Systems,” Intelligent Automation Laboratory, Heriot-Watt University, Edinburgh & Advanced Reasoning Methods, Siemens AG, Munich, Germany & Artificial Intelligence Section, CISE S.P.A., Segrate, Milano, Italy. (Milan Applications Conference, 10.)Google Scholar
Lucas, B and Evrard, JM, 1993, “An Improved Diagnosis Method using a mixed Model,” Tooldiag'93 Toulouse, France.Google Scholar
Marchal, JM and Camacho, EF, 1993. “Qualitative Supervision of Naval Diesel Engine Turbo-charger Systems, University of Cadiz, Spain, University of Sevilla, Spain. (SICICA'92.)Google Scholar
Mavrovouniotis, ML and Stephanopoulos, G, 1987, “Reasoning with order of magnitude and approximate relations,” AAAI-87, Seattle, USA.Google Scholar
Mime, R, 1992. “Petroleum Applications: How Do We Realise The Potential?” Intelligent Applications Ltd, Scotland (Revue de l'Institut Francais du Pétrole 47(3) 05–06.)Google Scholar
Milne, R, 1992b. “On-Line Diagnostic Expert System For Gas Turbines,” Intelligent Applications Ltd, Scotland. (4th International Profitable Condition Monitoring Conference Stratford-upon-Avon, UK.)Google Scholar
Milne, R and Travé-Massuyès, L, 1993. “Real Time Model Based Diagnosis of Gas Turbines,” AIENG'93 International Conference Toulouse, France.Google Scholar
Missier, A, Piera, N and Travé-Massuyès, L. 1989. “Order of magnitude qualitative algebras: a survey,” Revue d'Intelligence Artificielle 3(4) 95–109.Google Scholar
Missier, A, Zimmer, L, Jezequel, LP and Travé-Massuyès, L, 1993. “The Qualitative Simulator SQUALE,” Tooldiag'93 Toulouse, France.Google Scholar
Montmain, J and Gentil, S. “Interprétation Qualitative pour le diagnostic en ligne” Commissariat à l'Energie Atomique, Laboratoire d'Informatique Appliquée, Cedex, France. Diagnostic et Surete de Functionnement.Google Scholar
Mozetic, I and Holzbaur, C, 1991. “Integrating Qualitative and Numerical Models within Constraint Logic Programming,” Austrian Research Institute for AI & Austrian Research Institute for AI, and Dept. of Medical Cybernetics and AI, University of Vienna, Austria. (European Workshop on QR. Italy.)Google Scholar
Okuda, K and Ushio, T, 1991. “Hierarchical Qualitative Simulation for Large Scale Dynamical Systems,” Fundamental Research Labs, Osaka Gas Co. Ltd, Konohana, Osaka, Japan & School of Home Economics, Kobe College, Japan. (AI in Engineering'91, Oxford, UK.)Google Scholar
Parsons, S and Fox, J, 1991. Qualitative and Interval Algebras for Robust Decision Making Under Uncertainty,” Dept. of Electronic Engineering, Queens Mary and Westfield College, London & Biomedical Computing Unit, Imperial Cancer Research Fund, London. (Decision Support Systems and Qualitative Reasoning Toulouse, France.)Google Scholar
Penalva, JM, Coudouneau, L, Leyval, L and Montmain, J, 1991. “DIAPASON: Un Système d'Aide à la Supervision,” Centre d'Etudes Nucleaires de la Vallée du Rhône, France. (Avignon'91.)Google Scholar
Piera, N, Sanchez, M and Travé-Massuyès, L, 1991. “Qualitative Operators for Order of Magnitude Calculus: Robustness and Precision,” 13th IMACS World Congress Dublin, Ireland.Google Scholar
Price, N and Hunt, J, 1989. “Using Qualitative Reasoning to Build Expert Systems,” Dept. of Computer Science, University College of Wales. (Avignon'89.)Google Scholar
Price, C and Hunt, J, 1991. “Augmenting Qualitative Diagnosis,” Dept. of Computer Science, University College of Wales.Google Scholar
Raiman, O, 1986. “Order of magnitude reasoning,” Fifth National Conference on Artificial Intelligence. Philadelphia.Google Scholar
Rajagopalan, R, 1984. “Qualitative Modeling in the Turbojet Engine Domain,” Co-ordinated Science Laboratory, University of Illinois at Urbana-Champaign, Illinois, USA.Google Scholar
Rehbold, R, 1989. “Model-Based Knowledge Acquisition from Structure Descriptions in a Technical Diagnosis Domain,” University of Kaiserslautern, Dept. of Computer Science. Germany. (Avignon 1989.)Google Scholar
Rickel, J and Porter, B, 1992. “Automated Modeling for Answering Prediction Questions: Exploiting Interaction Paths,” Dept. of Computer Science, University of Texas, Texas, USA.Google Scholar
Roddis, KWM and Martin, LJ, 1991. “Qualitative Reasoning About Steel Bridge Fatigue and Fracture,” Dept. of Civil Engineering, University of Kansas, USA.Google Scholar
Roddis, KWM and Martin, LJ, 1992. CRACK: Qualitative Reasoning About Fatigue and Fracture in Steel Bridges,” IEEE Expert 7(4).CrossRefGoogle Scholar
Sack, E and Joskowicz, L, 1992. “Model-Based Kinematic Simulation,” In: Proceedings of QR'92 Edinburgh.Google Scholar
Shen, Q and Leitch, R, 1990. “A Semi-Quantitative Extension to Qualitative Simulation,” Heriot-Watt University, Intelligent Automation Laboratory, Electrical & Electronic Engineering Dept. Edinburgh. (Avignon'90, Conf. on Second Generation Expert Systems Avignon, France.)Google Scholar
Shen, Q and Leitch, R, 1991. “Synchronised Qualitative Simulation in Diagnosis,” Intelligent Automation Laboratory of Electrical & Electronic Engineering. Heriot-Watt University, Edinburgh.Google Scholar
Struss, P, 1988. “Mathematical Aspects of Qualitative Reasoning,” Artificial Intelligence in Engineering 3(3).CrossRefGoogle Scholar
Sugaya, H, 1989. “Qualitative Modelling for Industrial Applications,” Asea Brown Boveri Corporate Research, Knowledge Systems Group, Switzerland.Google Scholar
Tetreault, M, Marcos, B and Lapointe, J, 1992. “Temporal Duration Reasoning in Qualitative Simulation,” Artificial Intelligence in Engineering 7(4).CrossRefGoogle Scholar
Toledo, F, Moreno, S, Rosich, F and Martin, G, 1991. “Qualitative Simulation in Urban Traffic Control: Implementation of Temporal Features,” Dept. de Informatica y Electronica, Universitat de Valencia, Valencia, Spain. Decision Support Systems and Qualitative Reasoning, Toulouse, France.Google Scholar
Travé-Massuyès, L and Dormoy, JL, 1989. “Qualitative Calculus and Applications in IMACS Transactions on Scientific Computing'88. vol 2: Artificial Intelligence and Expert Systems in Scientific Computing JC Baltzer AG.Google Scholar
Travé-Massuyès, L and Piera, N, 1989. “Order of magnitude models as qualitative algebras,” 11th IJ CAI Detroit, USA.Google Scholar
Travé-Massuyès, L, Missier, A and Piera, N, 1990. “Qualitative models for automatic control process supervision. IFAC World Congress Tallinn, Russia.Google Scholar
Travé-Massuyès, L 1992. “Qualitative Reasoning Over Time: History and Current Prospects,” LAASCNRS, Toulouse, France. (The Knowledge Engineering Review 7(1).)CrossRefGoogle Scholar
Umeda, Y, Tomiyama, T and Yoshikawa, H, 1991. “A Design Methodology For A Self-Maintenance Machine,” Dept. of Precision Machinery Engineering, University of Tokyo, Japan.CrossRefGoogle Scholar
Valisuo, H, 1992. “Model Based Reasoning in the Design of Discrete-Event Control,” VTT, Laboratory of Electrical and Automation Engineering, Finland. (New Directions in Artificial Intelligence, Volume 3, Finnish Artificial Intelligence Conference.)Google Scholar
Valisuo, H. “Computer-Aided Design of Plant Automatics,” VTT, Laboratory of Electrical and Automation Engineering, Finland. Joint Finnish/Russian Symposium on Computer Aided Control Engineering.Google Scholar
Vescovi, M, 1991a. “La représentation des connaissances et le raisonnement sur les systèmes physiques,” Thèse de doctorat de l'Université de Savoie.Google Scholar
Vescovi, M, 1991b. “Simulating and explaining the behaviour of physical systems described by structural equations,” IMACS International Workshop on Decision Support Systems and Qualitative Reasoning Toulouse, France.Google Scholar
Yannou, B, 1993. “Qualitative Design with Envisionment,” Ecole Centrale de Paris, France.Google Scholar