Embedding constraint satisfaction in deductive reasoning
Alex C. Meng, M. Sullivan, Rajendra S. Wall · 2002
The authors describe the Logos reasoning systems and present examples of its advantages. Logos merges two different problem-solving paradigms (constraint propagation and deductive reasoning) into a unified, declarative framework. Constraints are expressed in a declarative language and results of constraint propagation are maintained through a truth maintenance system. Constraint relaxation strategies are easily expressed as rules. Logos uses state descriptors to maintain transitions of constraint values and control constraint relaxation. This unified framework leverages the expressiveness of deductive reasoning with truth maintenance to enable structured control of constraint propagation.>