Title :
Binary CSP solving as an inference process
Author_Institution :
CRIN-INRIA Lorraine, Vandoeuvre-les-Nancy, France
Abstract :
We describe constraint solving using a rule-based approach. The distinction made between deduction rules and strategies by computational systems allows us to improve our understanding of the existing algorithms for solving binary CSPs (constraint satisfaction problems) once they are expressed as rewriting rules coordinated by strategies.
Keywords :
constraint handling; inference mechanisms; problem solving; rewriting systems; binary constraint satisfaction problems; computational systems; deduction rules; deduction strategies; inference process; problem solving; rewriting logic; rewriting rules; rule-based approach; Inference algorithms; Logic; Prototypes;
Conference_Titel :
Tools with Artificial Intelligence, 1996., Proceedings Eighth IEEE International Conference on
Print_ISBN :
0-8186-7686-7
DOI :
10.1109/TAI.1996.560786
