Defeasibility in CLP() through generalized slack variables View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1996

AUTHORS

Christian Holzbaur , Francisco Menezes , Pedro Barahona

ABSTRACT

This paper presents a defeasible constraint solver for the domain of linear equations, disequations and inequalities over the body of rational/real numbers. As extra requirements resulting from the incorporation of the solver into an Incremental Hierarchical Constraint Solver (IHCS) scenario we identified: a)the ability to refer to individual constraints by a label, b) the ability to report the (minimal) cause for the unsatisfiability of a set of constraints, and c) the ability to undo the effects of a formerly activated constraint.We develop the new functionalities after starting the presentation with a general architecture for defeasible constraint solving, through a solved form algorithm that utilizes a generalized, incremental variant of the Simplex algorithm, where the domain of a variable can be restricted to an arbitrary interval. We demonstrate how generalized slacks form the basis for the computation of explanations regarding the cause of unsatisfiability and/or entailment in terms of the constraints told, and the possible deactivation of constraints as demanded by the hierarchy handler. More... »

PAGES

209-223

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-61551-2_76

DOI

http://dx.doi.org/10.1007/3-540-61551-2_76

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1019722651


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0801", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Artificial Intelligence and Image Processing", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Austrian Research Institute for Artificial Intelligence, and Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Freyung 6, A-1010, Vienna, Austria", 
          "id": "http://www.grid.ac/institutes/grid.10420.37", 
          "name": [
            "Austrian Research Institute for Artificial Intelligence, and Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Freyung 6, A-1010, Vienna, Austria"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Holzbaur", 
        "givenName": "Christian", 
        "id": "sg:person.015052747435.75", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015052747435.75"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Departamento de Inform\u00e1tica Faculdade de Ci\u00eancias e T\u00e9cnologia, Universidade Nova de Lisboa, 2825, Monte da Caparica, Portugal", 
          "id": "http://www.grid.ac/institutes/grid.10772.33", 
          "name": [
            "Departamento de Inform\u00e1tica Faculdade de Ci\u00eancias e T\u00e9cnologia, Universidade Nova de Lisboa, 2825, Monte da Caparica, Portugal"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Menezes", 
        "givenName": "Francisco", 
        "id": "sg:person.012417274741.64", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012417274741.64"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Departamento de Inform\u00e1tica Faculdade de Ci\u00eancias e T\u00e9cnologia, Universidade Nova de Lisboa, 2825, Monte da Caparica, Portugal", 
          "id": "http://www.grid.ac/institutes/grid.10772.33", 
          "name": [
            "Departamento de Inform\u00e1tica Faculdade de Ci\u00eancias e T\u00e9cnologia, Universidade Nova de Lisboa, 2825, Monte da Caparica, Portugal"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Barahona", 
        "givenName": "Pedro", 
        "id": "sg:person.01200744637.40", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01200744637.40"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1996", 
    "datePublishedReg": "1996-01-01", 
    "description": "This paper presents a defeasible constraint solver for the domain of linear equations, disequations and inequalities over the body of rational/real numbers. As extra requirements resulting from the incorporation of the solver into an Incremental Hierarchical Constraint Solver (IHCS) scenario we identified: a)the ability to refer to individual constraints by a label, b) the ability to report the (minimal) cause for the unsatisfiability of a set of constraints, and c) the ability to undo the effects of a formerly activated constraint.We develop the new functionalities after starting the presentation with a general architecture for defeasible constraint solving, through a solved form algorithm that utilizes a generalized, incremental variant of the Simplex algorithm, where the domain of a variable can be restricted to an arbitrary interval. We demonstrate how generalized slacks form the basis for the computation of explanations regarding the cause of unsatisfiability and/or entailment in terms of the constraints told, and the possible deactivation of constraints as demanded by the hierarchy handler.", 
    "editor": [
      {
        "familyName": "Freuder", 
        "givenName": "Eugene C.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-61551-2_76", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-61551-4", 
        "978-3-540-70620-5"
      ], 
      "name": "Principles and Practice of Constraint Programming \u2014 CP96", 
      "type": "Book"
    }, 
    "keywords": [
      "CLP", 
      "presentation", 
      "cause", 
      "ability", 
      "intervals", 
      "possible deactivation", 
      "variables", 
      "variants", 
      "handlers", 
      "effect", 
      "set of constraints", 
      "constraint solver", 
      "body", 
      "constraint solving", 
      "general architecture", 
      "incremental variant", 
      "cause of unsatisfiability", 
      "new functionalities", 
      "number", 
      "individual constraints", 
      "form algorithm", 
      "extra requirements", 
      "algorithm", 
      "unsatisfiability", 
      "incorporation", 
      "simplex algorithm", 
      "constraints", 
      "labels", 
      "basis", 
      "solver", 
      "domain", 
      "real numbers", 
      "architecture", 
      "slack variables", 
      "explanation", 
      "computation", 
      "deactivation", 
      "disequations", 
      "functionality", 
      "scenarios", 
      "entailment", 
      "terms", 
      "solving", 
      "requirements", 
      "set", 
      "linear equations", 
      "arbitrary interval", 
      "defeasibility", 
      "inequality", 
      "slack", 
      "paper", 
      "equations"
    ], 
    "name": "Defeasibility in CLP() through generalized slack variables", 
    "pagination": "209-223", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1019722651"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-61551-2_76"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-61551-2_76", 
      "https://app.dimensions.ai/details/publication/pub.1019722651"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:41", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/chapter/chapter_105.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-540-61551-2_76"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/3-540-61551-2_76'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/3-540-61551-2_76'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-61551-2_76'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/3-540-61551-2_76'


 

This table displays all metadata directly associated to this object as RDF triples.

129 TRIPLES      23 PREDICATES      78 URIs      71 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-61551-2_76 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 schema:author N166dd7fce1234dc2871741a514c0698f
4 schema:datePublished 1996
5 schema:datePublishedReg 1996-01-01
6 schema:description This paper presents a defeasible constraint solver for the domain of linear equations, disequations and inequalities over the body of rational/real numbers. As extra requirements resulting from the incorporation of the solver into an Incremental Hierarchical Constraint Solver (IHCS) scenario we identified: a)the ability to refer to individual constraints by a label, b) the ability to report the (minimal) cause for the unsatisfiability of a set of constraints, and c) the ability to undo the effects of a formerly activated constraint.We develop the new functionalities after starting the presentation with a general architecture for defeasible constraint solving, through a solved form algorithm that utilizes a generalized, incremental variant of the Simplex algorithm, where the domain of a variable can be restricted to an arbitrary interval. We demonstrate how generalized slacks form the basis for the computation of explanations regarding the cause of unsatisfiability and/or entailment in terms of the constraints told, and the possible deactivation of constraints as demanded by the hierarchy handler.
7 schema:editor N96e8bd7477ae4136adf73039956f13df
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N8f388092e5ec4527938d985f74eb10b7
12 schema:keywords CLP
13 ability
14 algorithm
15 arbitrary interval
16 architecture
17 basis
18 body
19 cause
20 cause of unsatisfiability
21 computation
22 constraint solver
23 constraint solving
24 constraints
25 deactivation
26 defeasibility
27 disequations
28 domain
29 effect
30 entailment
31 equations
32 explanation
33 extra requirements
34 form algorithm
35 functionality
36 general architecture
37 handlers
38 incorporation
39 incremental variant
40 individual constraints
41 inequality
42 intervals
43 labels
44 linear equations
45 new functionalities
46 number
47 paper
48 possible deactivation
49 presentation
50 real numbers
51 requirements
52 scenarios
53 set
54 set of constraints
55 simplex algorithm
56 slack
57 slack variables
58 solver
59 solving
60 terms
61 unsatisfiability
62 variables
63 variants
64 schema:name Defeasibility in CLP() through generalized slack variables
65 schema:pagination 209-223
66 schema:productId Nbe8a7a3c67414a19a4080a7b4f059120
67 Nc26e9ca9f6824e4ba05e89faf5faa130
68 schema:publisher N1026613ddb354e98b01befd36f63f83c
69 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019722651
70 https://doi.org/10.1007/3-540-61551-2_76
71 schema:sdDatePublished 2022-05-20T07:41
72 schema:sdLicense https://scigraph.springernature.com/explorer/license/
73 schema:sdPublisher N6a6c71ab87cf4b908216825c0325cda1
74 schema:url https://doi.org/10.1007/3-540-61551-2_76
75 sgo:license sg:explorer/license/
76 sgo:sdDataset chapters
77 rdf:type schema:Chapter
78 N02bc8a1fe16f4c599aeadebb19ee2cd3 rdf:first sg:person.01200744637.40
79 rdf:rest rdf:nil
80 N1026613ddb354e98b01befd36f63f83c schema:name Springer Nature
81 rdf:type schema:Organisation
82 N166dd7fce1234dc2871741a514c0698f rdf:first sg:person.015052747435.75
83 rdf:rest N23999eeee7da49e9b4fd2f3a5766bbcf
84 N23999eeee7da49e9b4fd2f3a5766bbcf rdf:first sg:person.012417274741.64
85 rdf:rest N02bc8a1fe16f4c599aeadebb19ee2cd3
86 N6a6c71ab87cf4b908216825c0325cda1 schema:name Springer Nature - SN SciGraph project
87 rdf:type schema:Organization
88 N8f388092e5ec4527938d985f74eb10b7 schema:isbn 978-3-540-61551-4
89 978-3-540-70620-5
90 schema:name Principles and Practice of Constraint Programming — CP96
91 rdf:type schema:Book
92 N96e8bd7477ae4136adf73039956f13df rdf:first Nd66127ebd7b8415897ef71ef72099bdc
93 rdf:rest rdf:nil
94 Nbe8a7a3c67414a19a4080a7b4f059120 schema:name doi
95 schema:value 10.1007/3-540-61551-2_76
96 rdf:type schema:PropertyValue
97 Nc26e9ca9f6824e4ba05e89faf5faa130 schema:name dimensions_id
98 schema:value pub.1019722651
99 rdf:type schema:PropertyValue
100 Nd66127ebd7b8415897ef71ef72099bdc schema:familyName Freuder
101 schema:givenName Eugene C.
102 rdf:type schema:Person
103 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
104 schema:name Information and Computing Sciences
105 rdf:type schema:DefinedTerm
106 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
107 schema:name Artificial Intelligence and Image Processing
108 rdf:type schema:DefinedTerm
109 sg:person.01200744637.40 schema:affiliation grid-institutes:grid.10772.33
110 schema:familyName Barahona
111 schema:givenName Pedro
112 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01200744637.40
113 rdf:type schema:Person
114 sg:person.012417274741.64 schema:affiliation grid-institutes:grid.10772.33
115 schema:familyName Menezes
116 schema:givenName Francisco
117 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012417274741.64
118 rdf:type schema:Person
119 sg:person.015052747435.75 schema:affiliation grid-institutes:grid.10420.37
120 schema:familyName Holzbaur
121 schema:givenName Christian
122 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015052747435.75
123 rdf:type schema:Person
124 grid-institutes:grid.10420.37 schema:alternateName Austrian Research Institute for Artificial Intelligence, and Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Freyung 6, A-1010, Vienna, Austria
125 schema:name Austrian Research Institute for Artificial Intelligence, and Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Freyung 6, A-1010, Vienna, Austria
126 rdf:type schema:Organization
127 grid-institutes:grid.10772.33 schema:alternateName Departamento de Informática Faculdade de Ciências e Técnologia, Universidade Nova de Lisboa, 2825, Monte da Caparica, Portugal
128 schema:name Departamento de Informática Faculdade de Ciências e Técnologia, Universidade Nova de Lisboa, 2825, Monte da Caparica, Portugal
129 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...