Tableaux for diagnosis applications View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1997

AUTHORS

Peter Baumgartner , Peter Fröhlich , Ulrich Furbach , Wolfgang Nejdl

ABSTRACT

In [NF96] a very efficient system for solving diagnosis tasks has been described, which is based on belief revision procedures and uses first order logic system descriptions. In this paper we demonstrate how such a system can be rigorously formalized from the viewpoint of deduction by using the calculus of hyper tableaux [BFN96]. The benefits of this approach are twofold: first, it gives us a clear logical description of the diagnosis task to be solved; second, as our experiments show, the approach is feasible in practice and thus serves as an example of a successful application of deduction techniques to real-world applications. More... »

PAGES

76-90

Book

TITLE

Automated Reasoning with Analytic Tableaux and Related Methods

ISBN

978-3-540-62920-7
978-3-540-69046-7

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/bfb0027406

DOI

http://dx.doi.org/10.1007/bfb0027406

DIMENSIONS

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


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/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Institut f\u00fcr Informatik, Universit\u00e4t Koblenz, Deutschland", 
          "id": "http://www.grid.ac/institutes/grid.5892.6", 
          "name": [
            "Institut f\u00fcr Informatik, Universit\u00e4t Koblenz, Deutschland"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Baumgartner", 
        "givenName": "Peter", 
        "id": "sg:person.013731515505.43", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013731515505.43"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Universit\u00e4t Hannover, Deutschland", 
          "id": "http://www.grid.ac/institutes/grid.9122.8", 
          "name": [
            "Universit\u00e4t Hannover, Deutschland"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Fr\u00f6hlich", 
        "givenName": "Peter", 
        "id": "sg:person.016150043217.63", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016150043217.63"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Institut f\u00fcr Informatik, Universit\u00e4t Koblenz, Deutschland", 
          "id": "http://www.grid.ac/institutes/grid.5892.6", 
          "name": [
            "Institut f\u00fcr Informatik, Universit\u00e4t Koblenz, Deutschland"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Furbach", 
        "givenName": "Ulrich", 
        "id": "sg:person.015324456505.70", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015324456505.70"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Universit\u00e4t Hannover, Deutschland", 
          "id": "http://www.grid.ac/institutes/grid.9122.8", 
          "name": [
            "Universit\u00e4t Hannover, Deutschland"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Nejdl", 
        "givenName": "Wolfgang", 
        "id": "sg:person.010645026643.46", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010645026643.46"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1997", 
    "datePublishedReg": "1997-01-01", 
    "description": "In [NF96] a very efficient system for solving diagnosis tasks has been described, which is based on belief revision procedures and uses first order logic system descriptions. In this paper we demonstrate how such a system can be rigorously formalized from the viewpoint of deduction by using the calculus of hyper tableaux [BFN96]. The benefits of this approach are twofold: first, it gives us a clear logical description of the diagnosis task to be solved; second, as our experiments show, the approach is feasible in practice and thus serves as an example of a successful application of deduction techniques to real-world applications.", 
    "editor": [
      {
        "familyName": "Galmiche", 
        "givenName": "Didier", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/bfb0027406", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-62920-7", 
        "978-3-540-69046-7"
      ], 
      "name": "Automated Reasoning with Analytic Tableaux and Related Methods", 
      "type": "Book"
    }, 
    "keywords": [
      "diagnosis task", 
      "real-world applications", 
      "belief revision procedure", 
      "deduction techniques", 
      "logical description", 
      "diagnosis applications", 
      "system description", 
      "efficient system", 
      "task", 
      "successful application", 
      "applications", 
      "system", 
      "description", 
      "tableaux", 
      "calculus", 
      "technique", 
      "viewpoint", 
      "example", 
      "deduction", 
      "experiments", 
      "benefits", 
      "twofold", 
      "practice", 
      "procedure", 
      "hyper", 
      "revision procedures", 
      "approach", 
      "paper", 
      "first order logic system descriptions", 
      "order logic system descriptions", 
      "logic system descriptions", 
      "viewpoint of deduction", 
      "calculus of hyper", 
      "clear logical description"
    ], 
    "name": "Tableaux for diagnosis applications", 
    "pagination": "76-90", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1027257592"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/bfb0027406"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/bfb0027406", 
      "https://app.dimensions.ai/details/publication/pub.1027257592"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-12-01T19:56", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211201/entities/gbq_results/chapter/chapter_126.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/bfb0027406"
  }
]
 

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/bfb0027406'

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/bfb0027406'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/bfb0027406'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/bfb0027406'


 

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

118 TRIPLES      23 PREDICATES      60 URIs      53 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/bfb0027406 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author N94abe5bc8713423c8da7bab9f7b89628
4 schema:datePublished 1997
5 schema:datePublishedReg 1997-01-01
6 schema:description In [NF96] a very efficient system for solving diagnosis tasks has been described, which is based on belief revision procedures and uses first order logic system descriptions. In this paper we demonstrate how such a system can be rigorously formalized from the viewpoint of deduction by using the calculus of hyper tableaux [BFN96]. The benefits of this approach are twofold: first, it gives us a clear logical description of the diagnosis task to be solved; second, as our experiments show, the approach is feasible in practice and thus serves as an example of a successful application of deduction techniques to real-world applications.
7 schema:editor N0d8745c2121947f5b034de574bf6d54c
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N69c455e95e744cabb571500faef44cb2
12 schema:keywords applications
13 approach
14 belief revision procedure
15 benefits
16 calculus
17 calculus of hyper
18 clear logical description
19 deduction
20 deduction techniques
21 description
22 diagnosis applications
23 diagnosis task
24 efficient system
25 example
26 experiments
27 first order logic system descriptions
28 hyper
29 logic system descriptions
30 logical description
31 order logic system descriptions
32 paper
33 practice
34 procedure
35 real-world applications
36 revision procedures
37 successful application
38 system
39 system description
40 tableaux
41 task
42 technique
43 twofold
44 viewpoint
45 viewpoint of deduction
46 schema:name Tableaux for diagnosis applications
47 schema:pagination 76-90
48 schema:productId N6007f68509ad48c785f08c37d1d949be
49 Ndda7ef727e1c4868b7528303beb1bfed
50 schema:publisher N23974d48195c4e47a6b7e02ca73fff62
51 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027257592
52 https://doi.org/10.1007/bfb0027406
53 schema:sdDatePublished 2021-12-01T19:56
54 schema:sdLicense https://scigraph.springernature.com/explorer/license/
55 schema:sdPublisher Na101efb9e66d4e22845521af05fb37e0
56 schema:url https://doi.org/10.1007/bfb0027406
57 sgo:license sg:explorer/license/
58 sgo:sdDataset chapters
59 rdf:type schema:Chapter
60 N0d8745c2121947f5b034de574bf6d54c rdf:first N124a4cab18e6480a8d26a0447bd7766d
61 rdf:rest rdf:nil
62 N124a4cab18e6480a8d26a0447bd7766d schema:familyName Galmiche
63 schema:givenName Didier
64 rdf:type schema:Person
65 N1d094c0757ce4581a7261d9e2bd71635 rdf:first sg:person.010645026643.46
66 rdf:rest rdf:nil
67 N23974d48195c4e47a6b7e02ca73fff62 schema:name Springer Nature
68 rdf:type schema:Organisation
69 N6007f68509ad48c785f08c37d1d949be schema:name doi
70 schema:value 10.1007/bfb0027406
71 rdf:type schema:PropertyValue
72 N69c455e95e744cabb571500faef44cb2 schema:isbn 978-3-540-62920-7
73 978-3-540-69046-7
74 schema:name Automated Reasoning with Analytic Tableaux and Related Methods
75 rdf:type schema:Book
76 N73bbf4fa9e554080b0b23a0b6582e85d rdf:first sg:person.015324456505.70
77 rdf:rest N1d094c0757ce4581a7261d9e2bd71635
78 N94abe5bc8713423c8da7bab9f7b89628 rdf:first sg:person.013731515505.43
79 rdf:rest Nef49de71c796457391aae1d1d1e9d4ea
80 Na101efb9e66d4e22845521af05fb37e0 schema:name Springer Nature - SN SciGraph project
81 rdf:type schema:Organization
82 Ndda7ef727e1c4868b7528303beb1bfed schema:name dimensions_id
83 schema:value pub.1027257592
84 rdf:type schema:PropertyValue
85 Nef49de71c796457391aae1d1d1e9d4ea rdf:first sg:person.016150043217.63
86 rdf:rest N73bbf4fa9e554080b0b23a0b6582e85d
87 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
88 schema:name Information and Computing Sciences
89 rdf:type schema:DefinedTerm
90 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
91 schema:name Computation Theory and Mathematics
92 rdf:type schema:DefinedTerm
93 sg:person.010645026643.46 schema:affiliation grid-institutes:grid.9122.8
94 schema:familyName Nejdl
95 schema:givenName Wolfgang
96 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010645026643.46
97 rdf:type schema:Person
98 sg:person.013731515505.43 schema:affiliation grid-institutes:grid.5892.6
99 schema:familyName Baumgartner
100 schema:givenName Peter
101 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013731515505.43
102 rdf:type schema:Person
103 sg:person.015324456505.70 schema:affiliation grid-institutes:grid.5892.6
104 schema:familyName Furbach
105 schema:givenName Ulrich
106 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015324456505.70
107 rdf:type schema:Person
108 sg:person.016150043217.63 schema:affiliation grid-institutes:grid.9122.8
109 schema:familyName Fröhlich
110 schema:givenName Peter
111 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016150043217.63
112 rdf:type schema:Person
113 grid-institutes:grid.5892.6 schema:alternateName Institut für Informatik, Universität Koblenz, Deutschland
114 schema:name Institut für Informatik, Universität Koblenz, Deutschland
115 rdf:type schema:Organization
116 grid-institutes:grid.9122.8 schema:alternateName Universität Hannover, Deutschland
117 schema:name Universität Hannover, Deutschland
118 rdf:type schema:Organization
 




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


...