Konsistenzen (Überblick)

man betrachtet jeweils

• Constraints (log. Formeln) C(..., x,...)
• Bereiche x $\in$ {e₁,..., e_n} = E

Constraint-System heißt ...-konsistent, wenn ausgewählte Constraints und Bereiche zusammenpassen.

Wenn es nicht paßt: Bereiche durch gewisse Regeln verkleinern (bis konsistent oder offensichtlich unlösbar)

• Knotenkonsistenz
• Kantenkonsistenz
• Pfadkonsistenz