Qualitative Reasoning: Overviews

QRG Papers

AITopics Original Links

Using analogical model formulation with sketches to solve Bennett Mechanical Comprehension Test problems.

DynaLearn – An Intelligent Learning Environment for Learning Conceptual Knowledge

AI Magazine

Articulating thought in computer-based media is a powerful means for humans to develop their understanding of phenomena. We have created DynaLearn, an Intelligent Learning Environment that allows learners to acquire conceptual knowledge by constructing and simulating qualitative models of how systems behave. DynaLearn uses diagrammatic representations for learners to express their ideas. The environment is equipped with semantic technology components capable of generating knowledge-based feedback, and virtual characters enhancing the interaction with learners. Teachers have created course material, and successful evaluation studies have been performed. This article presents an overview of the DynaLearn system.

Implicit Constraints for Qualitative Spatial and Temporal Reasoning

AAAI Conferences

Qualitative information about spatial or temporal entities is represented by specifying qualitative relations between these entities. It is then possible to apply qualitative reasoning methods for tasks such as checking consistency of the given information, deriving previously unknown information or answering queries. Depending on the kind of information that is represented, qualitative reasoning methods might lead to incorrect results, and it is a topic of ongoing research efforts to determine when and why this occurs. In this paper we present two possible explanations for this behaviour: (1) the existence of implicit entities that we do not explicitly represent; (2) the existence of implicit constraints that have to be satisfied, but which are not explicitly represented. We show that both of these can lead to undetected inconsistencies. By making these implicit entities and constraints explicit, and by including them in the qualitative representation, we are able to solve problems that could not be solved qualitatively before. We present different examples of implicit entities and implicit constraints and an algorithm for solving them.

BioSim-A New Qualitative Simulation Environment for Molecular Biology

AAAI Conferences

However, for many biological processes detailed quantitative information is not available, only qualitative or fuzzy statements about the nature of interactions. In a previous paper we have shown the applicability of qualitative reasoning methods for molecular biological regulatory processes. Now, we present a newly developed simulation environment, BioSim, that is written in Prolog using constraint logic programming techniques. The simulator combines the basic ideas of two main approaches to qualitative reasoning and integrates the contents of a molecular biology knowledge base, EcoCyc. We show that qualitative reasoning can be combined with automatic transformation of contents of genomic databases into simulation models to give an interactive modelling system that reasons about the relations and interactions of biological entities. This is demonstrated on the glycolytic pathway. Introduction Nearly all of the many existing simulation packages require users to specify their models in precise, numerical terms. For biologists this is a handicap since there is a large amount of mainly qualitative information emerging from genome mapping and functional genomic experiments that can not be included into numerical kinetic simulations.

A Qualitative Model for Natural Language Communication about Vehicle Traffic

AAAI Conferences

In this paper we describe a qualitative approach for natural language communication about vehicle traffic. It is an intuitive and simple model that can be used as the basis for defining more detailed position descriptions and transitions. It can also function as a framework for relating different aggregation levels. We apply a diagrammatic abstraction of traffic that mirrors the different possible interpretations of it and with this the different mental abstractions that humans might make. The abstractions are kept in parallel and according to the communicative context it will be switched to the corresponding interpretation.

Self-Explanatory Simulations: An integration of qualitative and quantitative knowledge

AAAI Conferences

A central goal of qualitative physics is to provide a framework for organizing and using quantitative knowledge. One important use of quantitative knowledge is numerical simulation. While current numerical simulators are powerful, they are often hard to construct, do not reveal the assumptions underlying their construction, and do not produce explanations of the behaviors they predict. This paper shows how to combine qualitative and quantitative models to produce a new class of self-explanatory simulations which combine the advantages of both kinds of reasoning. Self-explanat*ory simulations provide the accuracy of numerical models and the interpretive power of qualitative reasoning.

Mathematical Foundations of Qualitative Reasoning

AI Magazine

We examine different formalisms for modeling qualitatively physical systems and their associated inferential processes that allow us to derive qualitative predictions from the models. We highlight the mathematical aspects of these processes along with their potential and limitations. The article then bridges to quantitative modeling, highlighting the benefits of qualitative reasoning-based approaches in the framework of system identification, and discusses open research issues.

Current Topics in Qualitative Reasoning

AI Magazine

In this editorial introduction to this special issue of AI Magazine on qualitative reasoning, we briefly discuss the main motivations and characteristics of this branch of AI research. We also summarize the contributions in this issue and point out challenges for future research.

Qualitative Modeling in Education

AI Magazine

We argue that qualitative modeling provides a valuable way for students to learn. Two modelbuilding environments, VMODEL and HOMER/- VISIGARP, are presented that support learners by constructing conceptual models of systems and their behavior using qualitative formalisms. Both environments use diagrammatic representations to facilitate knowledge articulation. Preliminary evaluations in educational settings provide support for the hypothesis that qualitative modeling tools can be valuable aids for learning.