You are now at: Home

Introduction

The Qualitative Reasoning and Modelling (QRM) portal provides software tools (Garp3), documentation and support for users to build and simulate qualitative models. Qualitative Reasoning (QR) is an area of research within Artificial Intelligence (AI) that automates reasoning and problem solving about the (physical) world. It creates non-numerical descriptions of systems and their behaviour, preserving important behavioural properties and qualitative distinctions. Successful application areas include autonomous spacecraft support, failure analysis and on-board diagnosis of vehicle systems, automated generation of control software for photocopiers, conceptual knowledge capture in ecology, and intelligent aids for human learning (Bredeweg & Struss, 2003).

Qualitative Reasoning has particularly value for developing, strengthening and further improving education and training on topics dealing with systems and their behaviour. The goal of this QRM portal is to provide tools, methods and communication facilities to support such activities. Particularly the Garp3 workbench is being developed to support users in articulating, simulating and inspecting their conceptual knowledge of system's behaviour. See Software for the latest version of Garp3.

Selected publications

Image link to Garp3 movie demonstration
Watch or download our movie demonstration (18min/25MB, Quicktime)
Users in action with Garp3 Users in action with Garp3
Users in action with the Garp3 workbench.
Latest update: November 5th, 2012
  • Added Garp3 version 1.5.2
    • Circumvented SWI-Prolog bug on Windows (PCE temporary files are in the wrong location)
    • Garp3 version 1.5.2 requires SWI-Prolog version 6.2.0 (or later)

See the previous updates.

Project co-funded by the European Commission within the Sixth Framework Programme