14 Apr 2005
CS 3243 - Revision
31
Inference and CSPs
¡Solving
a CSP via inference
lHandles
special constraints (e.g., AllDiff)
lCan learn
new constraints not expressed by KB designer
¡Solving
inference via CSP
lWhether a
query is true under all possible constraints
(satisfiable)
¡Melding the
two: Constraint Logic Programming
(CLP)