Loading...
Please wait, while we are loading the content...
Implementing non-linear constraints with cooperative solvers (1995).
| Content Provider | CiteSeerX |
|---|---|
| Author | Monfroy, Eric Rusinowitch, Michael Schott, René |
| Abstract | We investigate the use of cooperation between solvers in the scheme of constraint logic programming languages over the domain of non-linear polynomial constraints. Instead of using a general and often inefficient decision procedure we propose a new approach for handling these constraints by cooperating specialised solvers. Our approach requires the design of a client/server architecture to enable communication between the various components. The main modules are a linear solver, a non-linear solver, a constraint manager, a communication protocol component and an answer processor module. This work is motivated by the need for a declarative system for robot motion planning and geometric problem solving. We have implemented a prototype called CoSAc (Constraint System Architecture) to validate our approach using cooperating solvers for non-linear constraints over the real numbers. Our language is illustrated by an example that also shows the advantages of cooperation. |
| File Format | |
| Publisher Date | 1995-01-01 |
| Access Restriction | Open |
| Subject Keyword | Non-linear Constraint Cooperative Solver Robot Motion Planning Declarative System Constraint System Architecture Specialised Solver Non-linear Polynomial Constraint Client Server Architecture Real Number Main Module Geometric Problem Answer Processor Module New Approach Various Component Inefficient Decision Procedure Constraint Manager Non-linear Solver Linear Solver Constraint Logic Programming Communication Protocol Component |
| Content Type | Text |
