June 22 - 24
I I2 a a
23rd Annual Workshop on Qualitative Reasoning

15 March 2009 (extended)

22 April 2009 30 April 2009

Camera-ready copies
8 May 2009
15 May 2009

Early registration deadline
5 June

Late breaking papers
1 June 2009

22 - 24 June 2009

From Ken Forbus's survey for the CRC Handbook of Computer Science and Engineering (paper):
Qualitative reasoning is the area of AI which creates representations for continuous aspects of the world, such as space, time, and quantity, which support reasoning with very little information. Typically it has focused on scientific and engineering domains, hence its other name, qualitative physics. It is motivated by two observations. First, people draw useful and subtle conclusions about the physical world without differential equations. In our daily lives we figure out what is happening around us and how we can affect it, working with far less data, and less precise data, than would be required to use traditional, purely quantitative methods. Creating software for robots that operate in unconstrained environments and modeling human cognition requires understanding how this can be done. Second, scientists and engineers appear to use qualitative reasoning when initially understanding a problem, when setting up more formal methods to solve particular problems, and when interpreting the results of quantitative simulations, calculations, or measurements. Thus advances in qualitative physics should lead to the creation of more flexible software that can help engineers and scientists.

Current research spans all aspects of the theory and applications of qualitative reasoning about physical systems.

  • Cognitive modeling (e.g., cognitive theories of reasoning about physical systems, theories and experiments concerning human reasoning and learning of mental models, QR models for spatial reasoning, cognitive maps, cognitive robots);
  • Techniques (e.g., qualitative simulation, ontologies, management of multiple models, reasoning over time and space, mathematical formalizations of QR, qualitative algebras, qualitative dynamics, qualitative kinematics, qualitative optimization);
  • Task-level reasoning (e.g., design, planning, monitoring, diagnosis and repair, explanation, tutoring and training, process control and supervision);
  • Applications (e.g., engineering, education, business, biology, chemistry, ecology, economics, social science, environmental science, medicine, and law);
  • Intersection with other modeling approaches (e.g., system dynamics and bond-graphs, signal processing, numerical methods, statistical techniques, differential equations);
  • Knowledge acquisition methods (e.g., model building tools and techniques, automated model construction and machine learning, acquisition of models from data).
  • Theoretical foundations of qualitative reasoning techniques.

Here are a few ways to get started learning more about what's going on in QR these days:

  • AAAI Introductory pages: Qualitative Reasoning
  • The 2005, 2006, and 2007 workshops: QR 05, QR 06, QR 07, and QR 08.
  • Archive of previous QR workshops: 1987-2004
  • Special issue of AI Magazine: Winter 2003
    • Current Topics in Qualitative Reasoning, Editorial Introduction by Bert Bredeweg and Peter Struss.
    • Model-Based Systems in the Automotive Industry, by Peter Struss and Chris Price.
    • Qualitative Modeling in Education, by Bert Bredeweg and Ken Forbus.
    • Qualitative Spatial Reasoning Extracting and Reasoning with Spatial Aggregates, by Chris Bailey-Kellogg and Feng Zhao.
    • Model-Based Programming of Fault-Aware Systems, by Brian C. Williams, Michel D. Ingham, Seung Chung, Paul Elliott, Michael Hofbaur, and Gregory T. Sullivan.
    • Qualitative Reasoning about Population and Community Ecology, by Paulo Salles and Bert Bredeweg.
    • Mathematical Foundations of Qualitative Reasoning, by Louise Trave-Massuyes, Liliana Ironi, and Philippe Dague.
    • Learning Qualitative Models, by Ivan Bratko and Dorian Suc.
    • Model-Based Computing for Design and Control of Reconfigurable Systems, by Markus P. J. Fromherz, Daniel G. Bobrow, and Johan de Kleer.