Title :
A constraint logic programming language for combinatorial optimization and linear programming
Author :
Lim, Pierre ; Epstein, Michael L. ; Freeman, Edward H.
Author_Institution :
US West Adv. Technol., Boulder, CO, USA
Abstract :
The authors report on the language definition and a prototype implementation of the constrained logic programming shell (Mathematica), or CLPS(M), an instance of the constraint logic programming (CLP) scheme specialized for solving combinatorial optimization and linear programming problems. The work extends the capabilities of current CLAP systems by allowing extremum search for mixed integer and linear programming problems, as well as the easy specification of search heuristics. Arrays have been included as an atomic data-type since they occur frequently in the specification of this class of problems. The three issues addressed by CLPS(M) are finding optimal and approximate solutions to combinatorial problems including mixed integer linear programs, creating compact, intuitive problem representations and using the declarative logical framework to form rule-based heuristics to guide the underlying solver in the combinatorial search space
Keywords :
knowledge based systems; linear programming; logic programming; CLAP systems; CLP; Mathematica; atomic data-type; combinatorial optimization; combinatorial search space; constraint logic programming language; declarative logical framework; linear programming; rule-based heuristics; search heuristics; Artificial intelligence; Computer science; Constraint optimization; Linear programming; Logic programming; Mathematical programming; Programmable logic arrays; Search problems; Space exploration; Testing;
Conference_Titel :
Artificial Intelligence Applications, 1991. Proceedings., Seventh IEEE Conference on
Conference_Location :
Miami Beach, FL
Print_ISBN :
0-8186-2135-4
DOI :
10.1109/CAIA.1991.120885