Model-Based Diagnosis with Constraint Logic Programs View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1991

AUTHORS

Igor Mozetič , Christian Holzbaur

ABSTRACT

Model-based diagnosis is the activity of locating malfunctioning components of a system solely on the basis of its structure and behavior. In the paper we describe the role of Constraint Logic Programming (CLP) in representing models and the search space of minimal diagnoses. In particular, we concentrate on two instances of the CLP scheme: CLP (B) and CLP (R). CLP (B) extends the standard computational domain of logic programs by boolean expressions, while CLP(R) comprises a solver for systems of linear equations and inequalities over real-valued variables. More... »

PAGES

168-180

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-642-46752-3_18

DOI

http://dx.doi.org/10.1007/978-3-642-46752-3_18

DIMENSIONS

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


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/0803", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computer Software", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Austrian Research Institute for Artificial Intelligence, Schottengasse 3, A-1010, Vienna, Austria", 
          "id": "http://www.grid.ac/institutes/grid.432019.d", 
          "name": [
            "Austrian Research Institute for Artificial Intelligence, Schottengasse 3, A-1010, Vienna, Austria"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Mozeti\u010d", 
        "givenName": "Igor", 
        "id": "sg:person.01340706300.17", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01340706300.17"
        ], 
        "type": "Person"
      }, 
      {
        "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"
      }
    ], 
    "datePublished": "1991", 
    "datePublishedReg": "1991-01-01", 
    "description": "Model-based diagnosis is the activity of locating malfunctioning components of a system solely on the basis of its structure and behavior. In the paper we describe the role of Constraint Logic Programming (CLP) in representing models and the search space of minimal diagnoses. In particular, we concentrate on two instances of the CLP scheme: CLP (B) and CLP (R). CLP (B) extends the standard computational domain of logic programs by boolean expressions, while CLP(R) comprises a solver for systems of linear equations and inequalities over real-valued variables.", 
    "editor": [
      {
        "familyName": "Kaindl", 
        "givenName": "Hermann", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-642-46752-3_18", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-54567-5", 
        "978-3-642-46752-3"
      ], 
      "name": "7. \u00d6sterreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence", 
      "type": "Book"
    }, 
    "keywords": [
      "constraint logic programming", 
      "logic programs", 
      "constraint logic programs", 
      "model-based diagnosis", 
      "logic programming", 
      "CLP scheme", 
      "search space", 
      "minimal diagnosis", 
      "Boolean expressions", 
      "programming", 
      "system", 
      "solver", 
      "scheme", 
      "computational domain", 
      "instances", 
      "linear equations", 
      "model", 
      "domain", 
      "space", 
      "program", 
      "components", 
      "basis", 
      "behavior", 
      "structure", 
      "variables", 
      "diagnosis", 
      "role", 
      "activity", 
      "inequality", 
      "equations", 
      "expression", 
      "paper"
    ], 
    "name": "Model-Based Diagnosis with Constraint Logic Programs", 
    "pagination": "168-180", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1048362793"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-642-46752-3_18"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-642-46752-3_18", 
      "https://app.dimensions.ai/details/publication/pub.1048362793"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:44", 
    "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_26.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-642-46752-3_18"
  }
]
 

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/978-3-642-46752-3_18'

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/978-3-642-46752-3_18'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-46752-3_18'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-46752-3_18'


 

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

102 TRIPLES      23 PREDICATES      58 URIs      51 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-642-46752-3_18 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author Nf30bfa702f7e4ea18a6edfb215259dea
4 schema:datePublished 1991
5 schema:datePublishedReg 1991-01-01
6 schema:description Model-based diagnosis is the activity of locating malfunctioning components of a system solely on the basis of its structure and behavior. In the paper we describe the role of Constraint Logic Programming (CLP) in representing models and the search space of minimal diagnoses. In particular, we concentrate on two instances of the CLP scheme: CLP (B) and CLP (R). CLP (B) extends the standard computational domain of logic programs by boolean expressions, while CLP(R) comprises a solver for systems of linear equations and inequalities over real-valued variables.
7 schema:editor Ne00c776013c44d5bb0b56249b7f68c24
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N1150029e0421425095a636b5f12470e9
12 schema:keywords Boolean expressions
13 CLP scheme
14 activity
15 basis
16 behavior
17 components
18 computational domain
19 constraint logic programming
20 constraint logic programs
21 diagnosis
22 domain
23 equations
24 expression
25 inequality
26 instances
27 linear equations
28 logic programming
29 logic programs
30 minimal diagnosis
31 model
32 model-based diagnosis
33 paper
34 program
35 programming
36 role
37 scheme
38 search space
39 solver
40 space
41 structure
42 system
43 variables
44 schema:name Model-Based Diagnosis with Constraint Logic Programs
45 schema:pagination 168-180
46 schema:productId N474a16fea1d241d4bb8c0e88c8edd593
47 N4fed12d40f79432cbdec7030ebea2bd5
48 schema:publisher N42a564a221eb4ecab7e901ae9e1fbd08
49 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048362793
50 https://doi.org/10.1007/978-3-642-46752-3_18
51 schema:sdDatePublished 2022-05-20T07:44
52 schema:sdLicense https://scigraph.springernature.com/explorer/license/
53 schema:sdPublisher N5453035601fd4c25a53442f7a28c4324
54 schema:url https://doi.org/10.1007/978-3-642-46752-3_18
55 sgo:license sg:explorer/license/
56 sgo:sdDataset chapters
57 rdf:type schema:Chapter
58 N1150029e0421425095a636b5f12470e9 schema:isbn 978-3-540-54567-5
59 978-3-642-46752-3
60 schema:name 7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence
61 rdf:type schema:Book
62 N12e6cff112e54e9489843ac4524819f7 schema:familyName Kaindl
63 schema:givenName Hermann
64 rdf:type schema:Person
65 N42a564a221eb4ecab7e901ae9e1fbd08 schema:name Springer Nature
66 rdf:type schema:Organisation
67 N474a16fea1d241d4bb8c0e88c8edd593 schema:name dimensions_id
68 schema:value pub.1048362793
69 rdf:type schema:PropertyValue
70 N4fed12d40f79432cbdec7030ebea2bd5 schema:name doi
71 schema:value 10.1007/978-3-642-46752-3_18
72 rdf:type schema:PropertyValue
73 N5453035601fd4c25a53442f7a28c4324 schema:name Springer Nature - SN SciGraph project
74 rdf:type schema:Organization
75 N8380c56034f545889528cf3dcb41afec rdf:first sg:person.015052747435.75
76 rdf:rest rdf:nil
77 Ne00c776013c44d5bb0b56249b7f68c24 rdf:first N12e6cff112e54e9489843ac4524819f7
78 rdf:rest rdf:nil
79 Nf30bfa702f7e4ea18a6edfb215259dea rdf:first sg:person.01340706300.17
80 rdf:rest N8380c56034f545889528cf3dcb41afec
81 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
82 schema:name Information and Computing Sciences
83 rdf:type schema:DefinedTerm
84 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
85 schema:name Computer Software
86 rdf:type schema:DefinedTerm
87 sg:person.01340706300.17 schema:affiliation grid-institutes:grid.432019.d
88 schema:familyName Mozetič
89 schema:givenName Igor
90 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01340706300.17
91 rdf:type schema:Person
92 sg:person.015052747435.75 schema:affiliation grid-institutes:grid.10420.37
93 schema:familyName Holzbaur
94 schema:givenName Christian
95 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015052747435.75
96 rdf:type schema:Person
97 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
98 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
99 rdf:type schema:Organization
100 grid-institutes:grid.432019.d schema:alternateName Austrian Research Institute for Artificial Intelligence, Schottengasse 3, A-1010, Vienna, Austria
101 schema:name Austrian Research Institute for Artificial Intelligence, Schottengasse 3, A-1010, Vienna, Austria
102 rdf:type schema:Organization
 




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


...