Representing constraint problems visually
MetadataShow full item record
With the increasing complexity of the world and the explosion of both information and choices, people are faced with having to make more decisions and solve more problems. One typical type of problem that people are confronted with during their daily lives is constraint problems. Common examples of such problems include scheduling, trip planning, table planning, or resource allocation. Existing constraint solvers can solve these kinds of problems quickly. However, to use these solvers requires knowledge of constraint programming languages, which require significant time and effort to learn, and one cannot expect the general public to learn these solvers. To address this issue, I investigated how people visually represent constraint problems, gaining insight into common techniques that people use to represent this kind of problem. This initial study showed that people often used a variety of different modalities and approached the problem in a non-linear way. From this study, a set of guidelines were developed for the design of visual constraints modelling languages. Using these principles, I designed a visual constraints modelling language. From this language, I designed and implemented a visual constraints modelling interface and system (Solvi), which can model various constraint problems and solve the problems using existing constraint solvers. Both the language and interface were evaluated through a user study to understand how people visually modelled both predefined and their own constraint problems. This indicated that the developed visual language and interface can model common constraints problems. The positive feedback received confirms that the visual modelling language is useful for dealing with the problems encountered in daily life and the visual representation is easier for understanding the relationships between the elements. However, some issues were identified, and possible future improvements to the language and interface, and further research into problem modelling are also discussed.
Thesis, PhD Doctor of Philosophy
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-sa/4.0/
Description of related resourcesZhu , X , Nacenta , M , Akgün , Ö & Nightingale , P W 2019 , ' How people visually represent discrete constraint problems ' , IEEE Transactions on Visualization and Computer Graphics , vol. 26 , no. 8 , pp. 2603 - 2619 . https://doi.org/10.1109/TVCG.2019.2895085
Hoffmann , R , Zhu , X , Akgun , O & Nacenta , M 2022 , Understanding how people approach constraint modelling and solving . in C Solnon (ed.) , 28th International conference on principles and practice of constraint programming (CP 2022) . , 28 , Leibniz International Proceedings in Informatics (LIPIcs) , vol. 235 , Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing , Dagstuhl , 28th International Conference on Principles and Practice of Constraint Programming (CP 2022) , Haifa , Israel , 31/07/22 . https://doi.org/10.4230/LIPIcs.CP.2022.28
Except where otherwise noted within the work, this item's licence for re-use is described as Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.