Loading...
Please wait, while we are loading the content...
Similar Documents
Efficient interval linear equality solving in constraint logic programming.
| Content Provider | CiteSeerX |
|---|---|
| Author | Chiu, C. K. Lee, J. H. M. |
| Abstract | Existing interval constraint logic programming languages, such as BNR Prolog, work under the framework of interval narrowing and are deficient in solving systems of linear constraints over real numbers, which constitute an important class of problems in engineering and other applications. In this paper, we suggest to separate linear equality constraint solving from inequality and nonlinear constraint solving. The implementation of an efficient interval linear constraint solver, which is based on the preconditioned interval Gauss-Seidel method, is proposed. We show how the solver can be adapted to incremental execution and incorporated into a constraint logic programming language already equipped with a non-linear solver based on interval narrowing. The two solvers share common interval variables, interact and cooperate in a roundrobin fashion during computation, resulting in an efficient interval constraint arithmetic language CIAL. The CIAL prototypes, based on CLP(R), are constructed... |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Constraint Logic Programming Efficient Interval Linear Equality Solving Interval Narrowing Important Class Linear Equality Constraint Roundrobin Fashion Nonlinear Constraint Solving Linear Constraint Constraint Logic Cial Prototype Solver Share Common Interval Variable Real Number Interval Constraint Logic Programming Language Bnr Prolog Efficient Interval Linear Constraint Solver Non-linear Solver Preconditioned Interval Gauss-seidel Method Incremental Execution |
| Content Type | Text |
