|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 6 van 11 gevonden artikelen
| Titel: |
Extending HCLP with partially ordered hierarchies and composite constraints |
| Auteur: |
Chiu, C. K. Lee, J. H. M. |
| Verschenen in: |
Journal of experimental & theoretical artificial intelligence |
| Paginering: | Jaargang 10 (1998) nr. 1 pagina's 5-24 |
| Jaar: |
1998-01-01 |
| Inhoud: |
. Hierarchical constraint logic programming (HCLP) extends the expressive power of constraint logic programming (CLP) by allowing both required and nonrequired constraints, making the framework suitable for resolving and relaxing overconstrained problems. Each non-required constraint in HCLP is associated with a strength and constraint strengths are totally ordered. This artificial restriction is incompatible with a sizeable class of real-life problems, in which some constraints cannot be classified as stronger or weaker than one another. Formulating this class of problems in HCLP in an ad hoc fashion would result in some valid solutions being discarded. To cope with this problem, the HCLP framework is enhanced with a theory of partially ordered constraint hierarchy, resulting in PO-HCLP. Another anomaly of HCLP is due to the frequent need to model a complex constraint using a group of primitive constraints, which is a standard practice in the constraint programming community. It is said that the primitive constraints are related. The lack of language facilities in HCLP to enforce the simultaneous satisfaction or relaxation of a group of related primitive constraints would result in nonsensical as well as valid solutions. To resolve this problem, composite constraints are introduced into (PO-)HCLP. The formal syntax and semantics of PO-HCLP are presented and the soundness and completeness of the results established. A prototype of PO-HCLP(R,W S P W) is constructed using CLP(R). |
| Uitgever: |
Taylor & Francis |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 6 van 11 gevonden artikelen
| << vorige | volgende >> |