Model-Based Analogue Circuit Diagnosis with CLP(R) View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1991

AUTHORS

Igor Mozetič , Christian Holzbaur , Franc Novak , Marina Santo-Zarnik

ABSTRACT

Model-based diagnosis is the activity of locating malfunctioning components of a system solely on the basis of its structure and behavior. Diagnostic systems usually rely on qualitative models and reason by local constraint propagation methods. However, there is a large class of applications where ATMS-like systems or pure logic programs are unpractical since they are unable to solve simultaneous equations. In particular, modeling real-valued system parameters with tolerances requires some degree of numerical processing, and feedback loops in general cannot be resolved by local constraint propagation methods. Examples of such systems are analogue circuits, e.g., amplifiers or filters. In the paper we describe the role of Constraint Logic Programs over the domain of reals (CLP(R)) in representing both, qualitative and numerical models. CLP(R) is a logic programming system extended with a solver for systems of linear equations and inequalities over real-valued variables. More... »

PAGES

343-353

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-642-76980-1_31

DOI

http://dx.doi.org/10.1007/978-3-642-76980-1_31

DIMENSIONS

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


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": "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, Schottengasse 3, A-1010, Vienna, Austria", 
            "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": "Jozef Stefan Institute, Jamova 39, 61000, Ljubljana, Slovenia", 
          "id": "http://www.grid.ac/institutes/grid.11375.31", 
          "name": [
            "Jozef Stefan Institute, Jamova 39, 61000, Ljubljana, Slovenia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Novak", 
        "givenName": "Franc", 
        "id": "sg:person.014404677742.08", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014404677742.08"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Iskra HIPOT, \u0160entjernej, Slovenia", 
          "id": "http://www.grid.ac/institutes/None", 
          "name": [
            "Iskra HIPOT, \u0160entjernej, Slovenia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Santo-Zarnik", 
        "givenName": "Marina", 
        "id": "sg:person.015777640742.57", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015777640742.57"
        ], 
        "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. Diagnostic systems usually rely on qualitative models and reason by local constraint propagation methods. However, there is a large class of applications where ATMS-like systems or pure logic programs are unpractical since they are unable to solve simultaneous equations. In particular, modeling real-valued system parameters with tolerances requires some degree of numerical processing, and feedback loops in general cannot be resolved by local constraint propagation methods. Examples of such systems are analogue circuits, e.g., amplifiers or filters. In the paper we describe the role of Constraint Logic Programs over the domain of reals (CLP(R)) in representing both, qualitative and numerical models. CLP(R) is a logic programming system extended with a solver for systems of linear equations and inequalities over real-valued variables.", 
    "editor": [
      {
        "familyName": "Brauer", 
        "givenName": "W.", 
        "type": "Person"
      }, 
      {
        "familyName": "Hern\u00e1ndez", 
        "givenName": "D.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-642-76980-1_31", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-54617-7", 
        "978-3-642-76980-1"
      ], 
      "name": "Verteilte K\u00fcnstliche Intelligenz und kooperatives Arbeiten", 
      "type": "Book"
    }, 
    "keywords": [
      "constraint propagation methods", 
      "logic programs", 
      "logic programming system", 
      "domain of reals", 
      "constraint logic programs", 
      "model-based diagnosis", 
      "pure logic programs", 
      "analog circuit diagnosis", 
      "programming system", 
      "circuit diagnosis", 
      "such systems", 
      "diagnostic system", 
      "propagation method", 
      "qualitative model", 
      "system parameters", 
      "system", 
      "large class", 
      "analog circuits", 
      "numerical processing", 
      "solver", 
      "processing", 
      "model", 
      "linear equations", 
      "applications", 
      "method", 
      "domain", 
      "Real", 
      "filter", 
      "program", 
      "example", 
      "class", 
      "components", 
      "loop", 
      "parameters", 
      "basis", 
      "circuit", 
      "reasons", 
      "behavior", 
      "structure", 
      "simultaneous equations", 
      "variables", 
      "tolerance", 
      "degree", 
      "diagnosis", 
      "equations", 
      "role", 
      "activity", 
      "inequality", 
      "amplifier", 
      "numerical model", 
      "paper"
    ], 
    "name": "Model-Based Analogue Circuit Diagnosis with CLP(R)", 
    "pagination": "343-353", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1028685768"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-642-76980-1_31"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-642-76980-1_31", 
      "https://app.dimensions.ai/details/publication/pub.1028685768"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:47", 
    "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_389.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-642-76980-1_31"
  }
]
 

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-76980-1_31'

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-76980-1_31'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-76980-1_31'

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-76980-1_31'


 

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

147 TRIPLES      23 PREDICATES      77 URIs      70 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-642-76980-1_31 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author N627e4ef83a994c6c9be34865716c6ffc
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. Diagnostic systems usually rely on qualitative models and reason by local constraint propagation methods. However, there is a large class of applications where ATMS-like systems or pure logic programs are unpractical since they are unable to solve simultaneous equations. In particular, modeling real-valued system parameters with tolerances requires some degree of numerical processing, and feedback loops in general cannot be resolved by local constraint propagation methods. Examples of such systems are analogue circuits, e.g., amplifiers or filters. In the paper we describe the role of Constraint Logic Programs over the domain of reals (CLP(R)) in representing both, qualitative and numerical models. CLP(R) is a logic programming system extended with a solver for systems of linear equations and inequalities over real-valued variables.
7 schema:editor Ndfa1768f1cad4e8c9c2984106e4e9191
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N4e6589a4de1b445ebfeb7378878efcff
12 schema:keywords Real
13 activity
14 amplifier
15 analog circuit diagnosis
16 analog circuits
17 applications
18 basis
19 behavior
20 circuit
21 circuit diagnosis
22 class
23 components
24 constraint logic programs
25 constraint propagation methods
26 degree
27 diagnosis
28 diagnostic system
29 domain
30 domain of reals
31 equations
32 example
33 filter
34 inequality
35 large class
36 linear equations
37 logic programming system
38 logic programs
39 loop
40 method
41 model
42 model-based diagnosis
43 numerical model
44 numerical processing
45 paper
46 parameters
47 processing
48 program
49 programming system
50 propagation method
51 pure logic programs
52 qualitative model
53 reasons
54 role
55 simultaneous equations
56 solver
57 structure
58 such systems
59 system
60 system parameters
61 tolerance
62 variables
63 schema:name Model-Based Analogue Circuit Diagnosis with CLP(R)
64 schema:pagination 343-353
65 schema:productId N9ca7c88d21b04540b139ff8eccd0a212
66 Nf61d635fb54b46bf8b875fc6883323a7
67 schema:publisher N96e088edc9d54b52887c9d15d698162f
68 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028685768
69 https://doi.org/10.1007/978-3-642-76980-1_31
70 schema:sdDatePublished 2022-05-20T07:47
71 schema:sdLicense https://scigraph.springernature.com/explorer/license/
72 schema:sdPublisher Nf98126299c014466ac48d9e2b928321f
73 schema:url https://doi.org/10.1007/978-3-642-76980-1_31
74 sgo:license sg:explorer/license/
75 sgo:sdDataset chapters
76 rdf:type schema:Chapter
77 N05a76e4a497b46b9bbfc2e2c796ec80e rdf:first sg:person.015052747435.75
78 rdf:rest Nc4a35b737d5a4999a13877b6bc97f225
79 N071b6b3bab5641b49a63c3afdacef4e9 rdf:first sg:person.015777640742.57
80 rdf:rest rdf:nil
81 N4e6589a4de1b445ebfeb7378878efcff schema:isbn 978-3-540-54617-7
82 978-3-642-76980-1
83 schema:name Verteilte Künstliche Intelligenz und kooperatives Arbeiten
84 rdf:type schema:Book
85 N5276f7d927054ed5857b2a9ca0b14d9d rdf:first N662a63d0b9b941d0b3cf1ea447e776ce
86 rdf:rest rdf:nil
87 N627e4ef83a994c6c9be34865716c6ffc rdf:first sg:person.01340706300.17
88 rdf:rest N05a76e4a497b46b9bbfc2e2c796ec80e
89 N662a63d0b9b941d0b3cf1ea447e776ce schema:familyName Hernández
90 schema:givenName D.
91 rdf:type schema:Person
92 N96e088edc9d54b52887c9d15d698162f schema:name Springer Nature
93 rdf:type schema:Organisation
94 N9ca7c88d21b04540b139ff8eccd0a212 schema:name dimensions_id
95 schema:value pub.1028685768
96 rdf:type schema:PropertyValue
97 Nc4a35b737d5a4999a13877b6bc97f225 rdf:first sg:person.014404677742.08
98 rdf:rest N071b6b3bab5641b49a63c3afdacef4e9
99 Ncc47a56945fc4c54aae90fe4c338b5c8 schema:familyName Brauer
100 schema:givenName W.
101 rdf:type schema:Person
102 Ndfa1768f1cad4e8c9c2984106e4e9191 rdf:first Ncc47a56945fc4c54aae90fe4c338b5c8
103 rdf:rest N5276f7d927054ed5857b2a9ca0b14d9d
104 Nf61d635fb54b46bf8b875fc6883323a7 schema:name doi
105 schema:value 10.1007/978-3-642-76980-1_31
106 rdf:type schema:PropertyValue
107 Nf98126299c014466ac48d9e2b928321f schema:name Springer Nature - SN SciGraph project
108 rdf:type schema:Organization
109 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
110 schema:name Information and Computing Sciences
111 rdf:type schema:DefinedTerm
112 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
113 schema:name Computer Software
114 rdf:type schema:DefinedTerm
115 sg:person.01340706300.17 schema:affiliation grid-institutes:grid.432019.d
116 schema:familyName Mozetič
117 schema:givenName Igor
118 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01340706300.17
119 rdf:type schema:Person
120 sg:person.014404677742.08 schema:affiliation grid-institutes:grid.11375.31
121 schema:familyName Novak
122 schema:givenName Franc
123 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014404677742.08
124 rdf:type schema:Person
125 sg:person.015052747435.75 schema:affiliation grid-institutes:grid.10420.37
126 schema:familyName Holzbaur
127 schema:givenName Christian
128 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015052747435.75
129 rdf:type schema:Person
130 sg:person.015777640742.57 schema:affiliation grid-institutes:None
131 schema:familyName Santo-Zarnik
132 schema:givenName Marina
133 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015777640742.57
134 rdf:type schema:Person
135 grid-institutes:None schema:alternateName Iskra HIPOT, Šentjernej, Slovenia
136 schema:name Iskra HIPOT, Šentjernej, Slovenia
137 rdf:type schema:Organization
138 grid-institutes:grid.10420.37 schema:alternateName Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Freyung 6, A-1010, Vienna, Austria
139 schema:name Austrian Research Institute for Artificial Intelligence, Schottengasse 3, A-1010, Vienna, Austria
140 Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Freyung 6, A-1010, Vienna, Austria
141 rdf:type schema:Organization
142 grid-institutes:grid.11375.31 schema:alternateName Jozef Stefan Institute, Jamova 39, 61000, Ljubljana, Slovenia
143 schema:name Jozef Stefan Institute, Jamova 39, 61000, Ljubljana, Slovenia
144 rdf:type schema:Organization
145 grid-institutes:grid.432019.d schema:alternateName Austrian Research Institute for Artificial Intelligence, Schottengasse 3, A-1010, Vienna, Austria
146 schema:name Austrian Research Institute for Artificial Intelligence, Schottengasse 3, A-1010, Vienna, Austria
147 rdf:type schema:Organization
 




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


...