Using constraint programming framework for Semiqualitative Reasoning
A semiqualitative model is the representation of the world by means of qualitative and quantitative knowledge. It is motivated by the lack of quantitative knowledge in determined parameters or variables of the model. We wish to obtain conclusions and generalization derived from these specific models...
| Autores: | , , , , |
|---|---|
| Tipo de recurso: | capítulo de libro |
| Estado: | Versión publicada |
| Fecha de publicación: | 2000 |
| País: | España |
| Institución: | Universidad de Sevilla (US) |
| Repositorio: | idUS. Depósito de Investigación de la Universidad de Sevilla |
| OAI Identifier: | oai:idus.us.es:11441/146670 |
| Acceso en línea: | https://hdl.handle.net/11441/146670 |
| Access Level: | acceso abierto |
| Palabra clave: | Qualitative reasoning Constraint Programming Consistency techniques |
| Sumario: | A semiqualitative model is the representation of the world by means of qualitative and quantitative knowledge. It is motivated by the lack of quantitative knowledge in determined parameters or variables of the model. We wish to obtain conclusions and generalization derived from these specific models .. In this work, we show as semiqualitative models may be transformed to interval constraint satisfaction problems(ICSP). The inference process in an ICSP is based in combining constraint propagation and bronch and bound algorithms. The interval domains of the variables are to propagate through the constraints. A defined operator must exist for every qualitative knowledge. lt transforms this knowledge to an interval constraint. The application of the constraint programming framework to a ICSP allows the obtaining of conclusions in a automatic way. |
|---|