Embedding constraint satisfaction in deductive reasoning

Author

Meng, Alex ; Sullivan, Michael ; Wall, Rajendra

Author_Institution

Texas Instum. Inc., Dallas, TX, USA

fYear

1991

fDate

27-30 Mar 1991

Firstpage

785

Lastpage

791

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computers and Communications, 1991. Conference Proceedings., Tenth Annual International Phoenix Conference on

Conference_Location

Scottsdale, AZ

Print_ISBN

0-8186-2133-8

Type

conf

DOI

10.1109/PCCC.1991.113895

Filename

113895