Graphical constraints: a graphical user interface for constraint problems

Master thesis English OPEN
Vieira, Nelson Manuel Marques;
(2015)
  • Subject: Centro de Ciências Exatas e da Engenharia | Continuous domains | User interfaces | Informatics Engineering | Constraints | Constraint programming | .

A constraint satisfaction problem is a classical artificial intelligence paradigm characterized by a set of variables (each variable with an associated domain of possible values), and a set of constraints that specify relations among subsets of these variables. Solution... View more
  • References (17)
    17 references, page 1 of 2

    1.1 Goal and Contributions ................................................................................................. 14

    1.2 Document Structure....................................................................................................... 14

    2.1 Continuous Constraint Satisfaction Problems............................................................... 16 2.1.1 Interval Arithmetic ............................................................................ 20 2.1.2 Solving CCSPs .................................................................................. 21

    2.2 Graphical User Interfaces.............................................................................................. 23

    GraphicalConstraints Application .............................................................................. 25

    3.1 Constraint Network Designer........................................................................................ 26 3.1.1 Inserting Elements............................................................................. 26 3.1.2 Editing and Selecting Elements......................................................... 33 3.1.3 Other functionalities.......................................................................... 37 3.1.4 Summary ........................................................................................... 39

    3.2 Constraint Solver Evocation.......................................................................................... 40

    3.3 Feasible Space Visualization......................................................................................... 42

    3.5 Technical considerations ............................................................................................... 51

    GraphicalConstraints Installation and Execution.............................. 51

  • Metrics
Share - Bookmark