25 lines
579 B
Markdown
25 lines
579 B
Markdown
|
- Demo doing graph colouring program
|
||
|
|
- Explain graph colouring
|
||
|
|
- Goal is to learn how to learn
|
||
|
|
- Manual too
|
||
|
|
- Small examples
|
||
|
|
- Hypothesize and test
|
||
|
|
- No one "right" way to model a problem
|
||
|
|
- Less complicated is generally better
|
||
|
|
- First: direct example (color_prim.lp)
|
||
|
|
- Show basic grounding
|
||
|
|
- Uncomment vertex: we're missing some
|
||
|
|
- Uncomment arc to make the graph symmetric (undirected)
|
||
|
|
|
||
|
|
- Show basic solving and disjunctive rule
|
||
|
|
- Ground it first.
|
||
|
|
- We have dupes
|
||
|
|
- Ferry problem
|
||
|
|
- Explain time
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
CLPFD
|