Extending hierarchical constraint logic programming: nonmonotonicity and inter-hierarchy comparison
Abstract: "Hierarchical Constraint Logic Programming languages extend Constraint Logic Programming to include constraint hierarchies. These languages provide both required constraints and default constraints of various strengths. In the original definition of HCLP, alternate solutions to a give...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Seattle, Wash.
1989
|
| Schriftenreihe: | University of Washington <Seattle, Wash.> / Department of Computer Science: Technical report
89,5,4 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "Hierarchical Constraint Logic Programming languages extend Constraint Logic Programming to include constraint hierarchies. These languages provide both required constraints and default constraints of various strengths. In the original definition of HCLP, alternate solutions to a given constraint hierarchy were compared, and only the 'best' solutions were returned. However, there was no attempt to compare solutions arising from different choices of rules in the logic program. In many practical applications of HCLP, to rule out unintuitive solutions we do need to make such inter-hierarchy comparisons. Such comparisons introduce nonmonotonic behavior in HCLP programs We define two related nonmonotonicity properties of HCLP languages, and compare these properties with those of standard nonmonotonic logics. The nonmonotonicity properties create novel implementation problems, which we discuss, while at the same time extending the usefulness of HCLP languages. |
| Beschreibung: | 13 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009258311 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940313s1989 |||| 00||| eng d | ||
| 035 | |a (OCoLC)23476228 | ||
| 035 | |a (DE-599)BVBBV009258311 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Wilson, Molly |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Extending hierarchical constraint logic programming |b nonmonotonicity and inter-hierarchy comparison |c Molly Wilson and Alan Borning |
| 264 | 1 | |a Seattle, Wash. |c 1989 | |
| 300 | |a 13 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a University of Washington <Seattle, Wash.> / Department of Computer Science: Technical report |v 89,5,4 | |
| 520 | 3 | |a Abstract: "Hierarchical Constraint Logic Programming languages extend Constraint Logic Programming to include constraint hierarchies. These languages provide both required constraints and default constraints of various strengths. In the original definition of HCLP, alternate solutions to a given constraint hierarchy were compared, and only the 'best' solutions were returned. However, there was no attempt to compare solutions arising from different choices of rules in the logic program. In many practical applications of HCLP, to rule out unintuitive solutions we do need to make such inter-hierarchy comparisons. Such comparisons introduce nonmonotonic behavior in HCLP programs | |
| 520 | 3 | |a We define two related nonmonotonicity properties of HCLP languages, and compare these properties with those of standard nonmonotonic logics. The nonmonotonicity properties create novel implementation problems, which we discuss, while at the same time extending the usefulness of HCLP languages. | |
| 650 | 4 | |a Hierarchies | |
| 650 | 4 | |a Logic programming | |
| 700 | 1 | |a Borning, Alan |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Computer Science: Technical report |t University of Washington <Seattle, Wash.> |v 89,5,4 |w (DE-604)BV008930431 |9 89,5,4 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006160367 | ||
Datensatz im Suchindex
| _version_ | 1804123705571278848 |
|---|---|
| any_adam_object | |
| author | Wilson, Molly Borning, Alan |
| author_facet | Wilson, Molly Borning, Alan |
| author_role | aut aut |
| author_sort | Wilson, Molly |
| author_variant | m w mw a b ab |
| building | Verbundindex |
| bvnumber | BV009258311 |
| ctrlnum | (OCoLC)23476228 (DE-599)BVBBV009258311 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02092nam a2200325 cb4500</leader><controlfield tag="001">BV009258311</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940313s1989 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)23476228</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009258311</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Wilson, Molly</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Extending hierarchical constraint logic programming</subfield><subfield code="b">nonmonotonicity and inter-hierarchy comparison</subfield><subfield code="c">Molly Wilson and Alan Borning</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Seattle, Wash.</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">13 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">University of Washington <Seattle, Wash.> / Department of Computer Science: Technical report</subfield><subfield code="v">89,5,4</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Hierarchical Constraint Logic Programming languages extend Constraint Logic Programming to include constraint hierarchies. These languages provide both required constraints and default constraints of various strengths. In the original definition of HCLP, alternate solutions to a given constraint hierarchy were compared, and only the 'best' solutions were returned. However, there was no attempt to compare solutions arising from different choices of rules in the logic program. In many practical applications of HCLP, to rule out unintuitive solutions we do need to make such inter-hierarchy comparisons. Such comparisons introduce nonmonotonic behavior in HCLP programs</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">We define two related nonmonotonicity properties of HCLP languages, and compare these properties with those of standard nonmonotonic logics. The nonmonotonicity properties create novel implementation problems, which we discuss, while at the same time extending the usefulness of HCLP languages.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Hierarchies</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Borning, Alan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Technical report</subfield><subfield code="t">University of Washington <Seattle, Wash.></subfield><subfield code="v">89,5,4</subfield><subfield code="w">(DE-604)BV008930431</subfield><subfield code="9">89,5,4</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006160367</subfield></datafield></record></collection> |
| id | DE-604.BV009258311 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:34:01Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006160367 |
| oclc_num | 23476228 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 13 S. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| record_format | marc |
| series2 | University of Washington <Seattle, Wash.> / Department of Computer Science: Technical report |
| spelling | Wilson, Molly Verfasser aut Extending hierarchical constraint logic programming nonmonotonicity and inter-hierarchy comparison Molly Wilson and Alan Borning Seattle, Wash. 1989 13 S. txt rdacontent n rdamedia nc rdacarrier University of Washington <Seattle, Wash.> / Department of Computer Science: Technical report 89,5,4 Abstract: "Hierarchical Constraint Logic Programming languages extend Constraint Logic Programming to include constraint hierarchies. These languages provide both required constraints and default constraints of various strengths. In the original definition of HCLP, alternate solutions to a given constraint hierarchy were compared, and only the 'best' solutions were returned. However, there was no attempt to compare solutions arising from different choices of rules in the logic program. In many practical applications of HCLP, to rule out unintuitive solutions we do need to make such inter-hierarchy comparisons. Such comparisons introduce nonmonotonic behavior in HCLP programs We define two related nonmonotonicity properties of HCLP languages, and compare these properties with those of standard nonmonotonic logics. The nonmonotonicity properties create novel implementation problems, which we discuss, while at the same time extending the usefulness of HCLP languages. Hierarchies Logic programming Borning, Alan Verfasser aut Department of Computer Science: Technical report University of Washington <Seattle, Wash.> 89,5,4 (DE-604)BV008930431 89,5,4 |
| spellingShingle | Wilson, Molly Borning, Alan Extending hierarchical constraint logic programming nonmonotonicity and inter-hierarchy comparison Hierarchies Logic programming |
| title | Extending hierarchical constraint logic programming nonmonotonicity and inter-hierarchy comparison |
| title_auth | Extending hierarchical constraint logic programming nonmonotonicity and inter-hierarchy comparison |
| title_exact_search | Extending hierarchical constraint logic programming nonmonotonicity and inter-hierarchy comparison |
| title_full | Extending hierarchical constraint logic programming nonmonotonicity and inter-hierarchy comparison Molly Wilson and Alan Borning |
| title_fullStr | Extending hierarchical constraint logic programming nonmonotonicity and inter-hierarchy comparison Molly Wilson and Alan Borning |
| title_full_unstemmed | Extending hierarchical constraint logic programming nonmonotonicity and inter-hierarchy comparison Molly Wilson and Alan Borning |
| title_short | Extending hierarchical constraint logic programming |
| title_sort | extending hierarchical constraint logic programming nonmonotonicity and inter hierarchy comparison |
| title_sub | nonmonotonicity and inter-hierarchy comparison |
| topic | Hierarchies Logic programming |
| topic_facet | Hierarchies Logic programming |
| volume_link | (DE-604)BV008930431 |
| work_keys_str_mv | AT wilsonmolly extendinghierarchicalconstraintlogicprogrammingnonmonotonicityandinterhierarchycomparison AT borningalan extendinghierarchicalconstraintlogicprogrammingnonmonotonicityandinterhierarchycomparison |