Qualitative futures
The Knowledge Engineering ReviewPublished 1 December 2006
C.J. Price, Louise Travé-Massuyès, Robert Milne, Liliana Ironi, Ken Forbus, Bert Bredeweg
Citations47
SJR quartileQ2
SJR score0.69
SNIP1.47
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
Abstract
This paper reviews the state of the art in model-based systems and qualitative reasoning, and considers where the field will be in 20 years time. It highlights six areas where developments in model-based systems in general, and in qualitative reasoning in particular, have the potential to provide significant computer-based help. The paper also examines where further technological developments might be needed in order to achieve these qualitative futures.
Keywords
Computer Science
ScienceIntelligent Tutoring Systems
3,124 Citations1985John R. Anderson, C. Franklin Boyle +1 more
Computer tutors based on a set of pedagogical principles derived from the ACT theory of cognition have been developed for teaching students to do proofs in geometry and to write computer programs in the language LISP.
Cambridge University Press eBooksCultural Models in Language and Thought
2,221 Citations1987Dorothy Holland, Naomi Quinn
Knowledge-Based SystemsArtificial intelligence and tutoring systems: Computational and cognitive approaches to the communication of knowledge
881 Citations1988Étienne Wenger
AutomaticaQualitative reasoning: Modeling and simulation with incomplete knowledge
676 Citations1989Benjamin Kuipers
Results have been encouraging, and steps are now being taken to develop additional mathematical power, hierarchical decomposition methods, and incremental quantitative constraints, to make qualitative reasoning into a formal reasoning method useful on realistic problems.
A model-based approach to reactive self-configuring systems
489 Citations1996Brian C. Williams, P. Pandurang Nayak
Livingstone provides a reactive system that performs significant deduction in the sense/response loop by drawing on past experience at building fast propositional conflict-based algorithms for model-based diagnosis, and by framing a model- based configuration manager as a propositional feedback controller that generates focused, optimal responses.
Artificial IntelligenceCmpositional modeling: finding the right model for the job
403 Citations1991Brian Falkenhainer, Kenneth D. Forbus
The utility of compositional modeling is illustrated by outlining the organization of a large-scale, multi-grain,Multi-perspective model the authors have built for engineering thermodynamics, and showing how the model composition algorithm can be used to automatically select the appropriate knowledge to answer questions in a tutorial setting.
AI MagazineSTEAMER: An Interactive Inspectable Simulation-Based Training System
332 Citations1984James D. Hollan, Edwin Hutchins +1 more
The underlying ideas which motivated the Steamer effort are discussed, the current status of the project is described, a glimpse of the planned directions for the future are provided, and the implications of Steamer for AI applications in other instructional domains are discussed.
Cambridge University Press eBooksHow people construct mental models
232 Citations1987Allan Collins, Dedre Gentner
A reactive planner for a model-based executive
177 Citations1997Brian C. Williams, P. Pandurang Nayak
Burton is a sound, complete, reactive planner that generates a single control action of a valid plan in average case constant time, and compensates for anomalies at every step, and is presented as a core element that bridges the gap between current and target states within the reactive loop.
Elsevier eBooksMULTIPLE REPRESENTATIONS OF KNOWLEDGE IN A MECHANICS PROBLEM-SOLVER
131 Citations1990Johan de Kleer
A program, NEWTON, uses the method of envisionment, whereby simple questions may be answered directly, and plans produced for solving more complex problems, and resorts to mathematical equations only if the qualitative reasoning fails to produce a solution.
Elsevier eBooksThe Qualitative Process Engine
125 Citations1990Kenneth D. Forbus
Several general abstractions for organizing ATMS-based problem-solvers which are especially useful for envisioning are identified, including the many-worlds database, which avoids complex temporal reference schemes; how to organize problem-solving into justify/assume/interpret cycles which successively construct and extend partial solutions; and closed-world tables, which provide a mechanism for making closed- world assumptions.
Artificial IntelligenceQualitative and quantitative simulation: bridging the gap
116 Citations1997Daniel Berleant, Benjamin Kuipers
Semiquantitative simulation using intervals in an implemented semi-quantitative simulator called Q3 is demonstrated, providing increasingly specific quantitative predictions which can converge to a numerical simulation in the limit while retaining important correctness guarantees from qualitative and interval simulation techniques.
IEEE ExpertProcess monitoring and diagnosis: a model-based approach
110 Citations1991Daniel Dvorak, Benjamin Kuipers
A framework for process monitoring and diagnosis, called Mimic, is described, based on the observation that the key cognitive skill for process operators is the formation of a mental model that lets them predict near-term behavior as well as the effect of possible control actions.
Reliability Engineering & System SafetyAutomated multiple failure FMEA
97 Citations2002C.J. Price, N.S. Taylor
This paper shows how approximate failure rates for components can be used to select the most likely combinations of failures for automated investigation using simulation, making it practical for engineers to study and act on the results.
IEEE ExpertGas-turbine condition monitoring using qualitative model-based diagnosis
86 Citations1997Louise Travé-Massuyès, Robert Milne
By integrating several AI technologies-including qualitative model-based reasoning-the Tiger system significantly cuts costs and improves performance by using control-system information to perform condition monitoring for gas-turbine engines.
Ecological ModellingModelling population and community dynamics with qualitative reasoning
65 Citations2006Paulo Salles, Bert Bredeweg
The potential of qualitative reasoning for ecological modelling is shown, particularly for answering questions of interest and making scientifically valid predictions using only qualitative terms.
Qualitative Mental Models: Simulations or Memories?
62 Citations1997Kenneth D. Forbus, Dedre Gentner
Computer applications in the biosciencesOn the use of qualitative reasoning to simulate and identify metabolic pathways
57 Citations2005Ross D. King, Simon Garrett +1 more
This work proposes the use of qualitative reasoning (QR) as a unified formalism for both simulation and identification of cells, and develops heuristic chemoinformatics graph analysis and machine learning procedures to identify QR models.
AI MagazineIntelligent computer-aided engineering
53 Citations1988Ken Forbus
This article examines several scenarios of what ICAE systems could be like, and focuses on qualitative physics as a critical area where progress is needed, both in terms of representations and styles of reasoning.
Artificial IntelligenceModel-based reasoning about learner behaviour
51 Citations2000K. de Koning, Bert Bredeweg +2 more
This article shows how a qualitative simulation model of the subject matter can be reformulated to fit the requirements of general diagnostic engines such as GDE to enable the diagnosis of learner behaviour by means of an adapted version of the GDE algorithm.
Elsevier eBooksQualitative Simulation
49 Citations1990Benjamin Kuipers
This paper presents a precise definition of qualitative structure and behavior descriptions as abstractions of differential equations and continuously differentiable functions, and presents a new algorithm for qualitative simulation that generalizes the best features of existing algorithms, and allows direct comparisons among alternate approaches.
Law Probability and RiskA scenario-driven decision support system for serious crime investigation
45 Citations2007Qiang Shen, Jeroen Keppens +3 more
This paper presents a system for creating scenario spaces from given evidence, based on an integrated application of techniques for compositional modelling and Bayesian network-based evidence evaluation, and methods of analysis provided by the use of entropy to exploit the synthesized scenario spaces in order to prioritize investigating actions and hypotheses.
AI MagazineMathematical foundations of qualitative reasoning
44 Citations2004Louise Travé-Massuyès, Liliana Ironi +1 more
Different formalisms for modeling qualitatively physical systems and their associated inferential processes that allow for qualitative predictions from the models are examined, highlighting the mathematical aspects of these processes and their potential and limitations.
Artificial Intelligence in EngineeringFunction-directed electrical design analysis
42 Citations1998C. J. Price
The utility of functional labels is illustrated in this paper for the domain of car electrical systems, with links to a qualitative circuit simulator, where they provide a powerful way of interpreting the behavior of the circuit simulator in terms an engineer can understand.
Qualitative Spatial Reasoning: Framework and Frontiers
32 Citations1994Kenneth D. Forbus
This paper begins by outlining the Metric Diagram/Place Vocab.
Qualitative spatial reasoning: extracting and reasoning with spatial aggregates
31 Citations2003Chris Bailey‐Kellogg
This paper focuses on how a particular QSR system, Spatial Aggregation (SA), can help answer spatial queries for scientific and engineering data sets using both data-poor and data-rich forms of QSR.
Data Archiving and Networked Services (DANS)Model-based reasoning about learner behaviour
29 Citations2000K. de Koning, Bert Bredeweg +2 more
A qualitative modeling environment for middle-school students: A progress report
29 Citations2001Kenneth D. Forbus, Karen Carney +2 more
It is argued that qualitative modeling provides an appropriate level of representation for helping middle-school students learn to become modelers and a system is described that uses visual representations to provide a student-friendly notation for creating qualitative models.
Interactive Learning EnvironmentsQualitative Models in Interactive Learning Environments: An Introduction
29 Citations1998Bert Bredeweg, Radbound Winkels
Solving everyday physical reasoning problems by analogy using sketches
28 Citations2005Matthew Klenk, Ken Forbus +3 more
This paper describes how qualitative mechanics and analogy are combined to solve everyday physical reasoning problems posed as sketches, and experimental results support the plausibility of this approach.
Transformation of Qualitative Dynamic Models - Application in Hydro-Ecology
23 Citations1996Ulrich Heller, Peter Struß
Munich Personal RePEc Archive (Ludwig Maximilian University of Munich)State Tracking of Uncertain Hybrid Concurrent Systems
22 Citations2002Emmanuel Bénazéra, Louise Travé-Massuyès +1 more
A component-based hybrid formalism, that represents physical phenomena by combining concurrent automata with continuous uncertain dynamic models, which eases the modeling of complex physical systems, and adds concurrency to the supervision of hybrid systems.
Journal of Biomedical InformaticsA Hybrid Input-Output Approach to Model Metabolic Systems: An Application to Intracellular Thiamine Kinetics
17 Citations2001Riccardo Bellazzi, Raffaella Guglielmann +2 more
A hybrid approach which aims at overcoming the problems addressed above by solving the identification problems of the intracellular thiamine kinetics in the intestine tissue and which is slightly less informative than a purely structural model but robust enough to be used as a simulator.
European Conference on Artificial IntelligenceLearning qualitative metabolic models
15 Citations2004George M. Coghill, Simon Garrett +1 more
QoPH, a model-learning system, developed for application to scientific discovery problems, where the models are scientific hypotheses and the observations are experiments, learns the structural relationships between the observed variables.
Analysis of strategic knowledge in back of the envelope reasoning
13 Citations2005Praveen Paritosh, Kenneth D. Forbus
This paper presents an implemented system that can solve about a dozen estimation questions like "What is the annual cost of healthcare in USA?" from different domains using a library of strategies and the Cyc knowledge base, and hypothesizes that this is the complete set of back of the envelope problem solving strategies.
IFAC Proceedings VolumesThe Consistency Approach to the On-Line Prediction of Hybrid System Configurations 1
12 Citations2003Emmanuel Bénazéra, Louise Travé-Massuyès
IEEE Transactions on Neural NetworksHow to improve fuzzy-neural system modeling by means of qualitative simulation
12 Citations2000Riccardo Bellazzi, Raffaella Guglielmann +1 more
It is shown here that a rule-base, which captures all of the distinctions in the system states, is automatically generated by encoding the knowledge of the system dynamics described by the outcomes of its qualitative simulation.
Computers & Chemical EngineeringA model-based approach to the assessment of physicochemical properties of drug delivery materials
12 Citations2003Liliana Ironi, Stefania Tentoni
Model order and parameter values, which are related to the number of structural units within the polymeric network and their strength, respectively, characterize the material complexity and provide a measure of its mucoadhesive potential.
Computers and Biomedical ResearchA hybrid input-output approach to model metabolic systems: an application to intracellular Thiamine kinetics
9 Citations2001Riccardo Bellazzi, Raffaella Guglielmann +2 more
Computer Methods and Programs in BiomedicineQualitative process modeling of cell-cell-pathogen interactions in the immune system
8 Citations1996Robert B. Trelease, Jack Park
A general cell behavior modelling system for immune functions, based on qualitative process theory, that serves as a tool for testing assumptions about cellular functions in immunity, as well the basis for a qualitative discovery system that may infer new process heuristics based on evaluation of experimental data.
Lecture notes in computer scienceGenerating Fuzzy Models from Deep Knowledge: Robustness and Interpretability Issues
5 Citations2005Raffaella Guglielmann, Liliana Ironi
This paper demonstrates that Qualitative Reasoning plays a crucial role to significantly improve both robustness and interpretability in fuzzy modeling of nonlinear system dynamics.
Lecture notes in computer scienceTowards Automated Electrocardiac Map Interpretation: An Intelligent Contouring Tool Based on Spatial Aggregation
4 Citations2003Liliana Ironi, Stefania Tentoni
IEEE Transactions on Systems Man and Cybernetics - Part A Systems and HumansExhibiting the Behavior of Time-Delayed Systems via an Extension to Qualitative Simulation
3 Citations2005Ian Miguel, Qiang Shen
An extension to qualitative simulation that enables a qualitative reasoning system to support variables that exhibit delayed reactions to their constraining functions and to capture the time-delay behavior of the system is presented.
FUZZY ECONOMIC REVIEWQUALITATIVE/QUANTITATIVE FINANCIAL ANALYSIS
2 Citations2001Juan Francisco Castro, Federico Palacios González +1 more
The main advantage of the method presented here is that it can deal with very little information about quantities, still yielding some results.
Radboud Repository (Radboud University)A System for Pacemaker Treatment Advice
2 Citations2024Peter Lucas, Ruud Kuipers +1 more
The practical requirement imposed by the clinical environment in which pacemaker programming takes place is discussed, after which the capabilities and limitations of the implemented system are described.
Lecture notes in computer scienceElectrocardiographic Imaging: Towards Automated Interpretation of Activation Maps
2 Citations2005Liliana Ironi, Stefania Tentoni
The salient features that characterize the heart electrical activity, and visually correspond to specific geometric patterns, are defined, extracted from the epicardial electrical data, and finally made available in an interpretable form within a SA-based framework.