Title :
Embedding constraint satisfaction in deductive reasoning
Author :
Meng, Alex ; Sullivan, Michael ; Wall, Rajendra
Author_Institution :
Texas Instum. Inc., Dallas, TX, USA
Abstract :
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
Keywords :
artificial intelligence; deductive databases; knowledge based systems; Logos reasoning systems; constraint propagation; constraint relaxation; constraint satisfaction embedding; declarative framework; declarative language; deductive reasoning; problem-solving paradigms; relaxation strategies; state descriptors; structured control; truth maintenance system; Deductive databases; Monitoring; Problem-solving;
Conference_Titel :
Computers and Communications, 1991. Conference Proceedings., Tenth Annual International Phoenix Conference on
Conference_Location :
Scottsdale, AZ
Print_ISBN :
0-8186-2133-8
DOI :
10.1109/PCCC.1991.113895
