Application oriented qualitative reasoning

Louise Travé-Massuyès; Robert Milne; Louise Travé-Massuyès; Robert Milne

doi:10.1017/S0269888900008146

1995 Volume 10

Article Contents

Next Previous

RESEARCH ARTICLE Open Access

Application oriented qualitative reasoning

More Information

Published online: 07 July 2009
The Knowledge Engineering Review 10, Article number: 10.1017/S0269888900008146 (1995) | Cite this article

Abstract

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.
Rights and permissions
Copyright © Cambridge University Press 19951995Cambridge University Press

References

Artificial Intelligence1984. Special Volume on Qualitative Physics, 24.

Google Scholar

Artificial Intelligence1991. 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'93Chambé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.

Google 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, Amsterdam1990.)

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 ReasoningToulouse, France.)

Google Scholar

de Kleer J and Brown J, 1984. “A Qualitative Physics based on confluences”, Artificial Intelligence247–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 SeismologyLuxembourg.

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 Artificielle3(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 ReasoningToulouse, France.)

Google Scholar

Forbus K, 1984. “Qualitative Process Theory,” Artificial Intelligence24.

Google 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 ReasoningAnaheim, CA.

Google Scholar

Guerrin F, 1991b, “Qualitative reasoning about an ecological process: interpretation in hydroecology,” Ecological Modelling59(3–4) 165–201.

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

Google 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 Intelligence29289–338.

Google 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 ReasoningToulouse, 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'93Toulouse, 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étrole47(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 ConferenceStratford-upon-Avon, UK.)

Google Scholar

Milne R and Travé-Massuyès L, 1993. “Real Time Model Based Diagnosis of Gas Turbines,” AIENG'93 International ConferenceToulouse, France.

Google Scholar

Missier A, Piera N and Travé-Massuyès L.1989. “Order of magnitude qualitative algebras: a survey,” Revue d'Intelligence Artificielle3(4) 95–109.

Google Scholar

Missier A, Zimmer L, Jezequel LP and Travé-Massuyès L, 1993. “The Qualitative Simulator SQUALE,” Tooldiag'93Toulouse, 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 ReasoningToulouse, 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 CongressDublin, 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 Expert7(4).

Google Scholar

Sack E and Joskowicz L, 1992. “Model-Based Kinematic Simulation,” In: Proceedings of QR'92Edinburgh.

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 SystemsAvignon, 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 Engineering3(3).

Google 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 Engineering7(4).

Google 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 ComputingJC Baltzer AG.

Google Scholar

Travé-Massuyès L and Piera N, 1989. “Order of magnitude models as qualitative algebras,” 11th IJ CAIDetroit, USA.

Google Scholar

Travé-Massuyès L, Missier A and Piera N, 1990. “Qualitative models for automatic control process supervision. IFAC World CongressTallinn, Russia.

Google Scholar

Travé-Massuyès L1992. “Qualitative Reasoning Over Time: History and Current Prospects,” LAASCNRS, Toulouse, France. (The Knowledge Engineering Review7(1).)

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

Google 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 ReasoningToulouse, France.

Google Scholar

Yannou B, 1993. “Qualitative Design with Envisionment,” Ecole Centrale de Paris, France.

Google Scholar

About this article

Cite this article

Louise Travé-Massuyès, Robert Milne. 1995. Application oriented qualitative reasoning. The Knowledge Engineering Review. 10:8146 doi: 10.1017/S0269888900008146

Louise Travé-Massuyès, Robert Milne. 1995. Application oriented qualitative reasoning. The Knowledge Engineering Review. 10:8146 doi: 10.1017/S0269888900008146

Download PDF

Article Metrics

Article views(20) PDF downloads(97)

{{lists.name}}

Application oriented qualitative reasoning

Abstract

Rights and permissions

References

About this article

Cite this article

Article Metrics

Access History

Other Articles By Authors