Using Stochastic Solvers in Constraint Logic Programming
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Using Stochastic Solvers in Constraint Logic Programming
|
| Id. |
46462859 |
| Idioma |
inglés
|
| Titulo |
Using Stochastic Solvers in Constraint Logic Programming |
| Autor(es) |
Peter J. Stuckey
Vincent W. L. Tam
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.5848
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
This paper proposes a general framework for integrating a constraint logic programming system with a stochastic constraint solver to solve constraint satisfaction problems efficiently. Stochastic solvers can solve hard constraint satisfaction problems very efficiently, and constraint logic programming allows heuristics and problem breakdown to be encoded in the same language as the constraints. Hence their combination is attractive. Unfortunately there is a mismatch in the kinds of information a stochastic solver provides, and that which a constraint logic programming system requires. We study the semantic properties of constraint logic programming systems that make use of stochastic solvers, and give soundness and completeness results for their use. We describe an example system. We have implemented a modified neural network simulator, GENET, as a constraint solver. We study various strategies for making use of this constraint solver, and compare the efficiency of the system on some s...
|
| Tipo |
application/postscript
|
| Palabras clave |
constraint logic
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/postscript
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.comp.nus.edu.sg/~vtam/paper/acsc96.ps.gz
[References] 10.1.1.22.7079
[References] 10.1.1.56.188
[References] 10.1.1.115.8137
[References] 10.1.1.50.4062
[References] 10.1.1.53.6745
[References] 10.1.1.130.1642
[References] 10.1.1.31.8220
[References] 10.1.1.34.6683
|
| Fecha de contribución |
01-oct-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
