Skip to content

Research at St Andrews

Qualitative modelling via constraint programming

Research output: Contribution to journalArticle

Abstract

Qualitative modelling is a technique integrating the fields of theoretical computer science, artificial intelligence and the physical and biological sciences. The aim is to be able to model the behaviour of systems without estimating parameter values and fixing the exact quantitative dynamics. Traditional applications are the study of the dynamics of physical and biological systems at a higher level of abstraction than that obtained by estimation of numerical parameter values for a fixed quantitative model. Qualitative modelling has been studied and implemented to varying degrees of sophistication in Petri nets, process calculi and constraint programming. In this paper we reflect on the strengths and weaknesses of existing frameworks, we demonstrate how recent advances in constraint programming can be leveraged to produce high quality qualitative models, and we describe the advances in theory and technology that would be needed to make constraint programming the best option for scientific investigation in the broadest sense.
Close

Details

Original languageEnglish
Pages (from-to)163-173
JournalConstraints
Volume19
Issue number2
Early online date12 Feb 2014
DOIs
StatePublished - Apr 2014

    Research areas

  • Constraint programming, Qualitative models

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Generating custom propagators for arbitrary constraints

    Gent, I. P., Jefferson, C., Linton, S., Miguel, I. & Nightingale, P. 1 Jun 2014 In : Artificial Intelligence. 211, 1, p. 1-33 33 p.

    Research output: Contribution to journalArticle

  2. A framework for constraint based local search using ESSENCE

    Akgun, O., Attieh, S. W. A., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W., Salamon, A. Z., Spracklen, P. & Wetter, J. P. 13 Jul 2018 Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 1242-1248 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Metamorphic testing of constraint solvers

    Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W. 15 Jun 2018 (Accepted/In press) Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Hooker, J. (ed.). Springer, (Lecture Notes in Computer Science)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Automatic discovery and exploitation of promising subproblems for tabulation

    Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W. & Salamon, A. Z. 15 Jun 2018 (Accepted/In press) Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Hooker, J. (ed.). Springer, (Lecture Notes in Computer Science)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Automatically improving constraint models in Savile Row

    Nightingale, P., Akgün, Ö., Gent, I. P., Jefferson, C., Miguel, I. & Spracklen, P. Oct 2017 In : Artificial Intelligence. 251, p. 35-61 27 p.

    Research output: Contribution to journalArticle

Related by journal

  1. Non-binary quantified CSP: algorithms and modelling

    Nightingale, P. Dec 2009 In : Constraints. 14, 4, p. 539-581 43 p.

    Research output: Contribution to journalArticle

  2. ESSENCE: A constraint language for specifying combinatorial problems

    Frisch, A. M., Harvey, W., Jefferson, C. A., Martinez-Hernandez, B. & Miguel, I. J. Sep 2008 In : Constraints. 13, 3, p. 268-306 39 p.

    Research output: Contribution to journalArticle

  3. Symmetry definitions for constraint satisfaction problems

    Cohen, D., Jeavons, P., Jefferson, C. A., Petrie, K. E. & Smith, B. M. Jul 2006 In : Constraints. 11, p. 115-137 23 p.

    Research output: Contribution to journalArticle

ID: 105502246