© 2000 Todd Neller.
A.I.M.A. t
ext
figures
© 1995 Prentice Hall.
Used by
permission.
K-Consistency
•
The concept of consistency can be
generalized.
•
K-Consistent
–
"
variables X1, X2, …, XK
•
"
instantiations of X1, X2, …X(K-1),
–
$
an instantiation of XK obeying constraints between XK
and {X1, …, X(K-1)}
•
Strongly K-Consistent
–
J-Consistent for all J
£
K
