Distributed Abductive Reasoning with Constraints View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2011

AUTHORS

Jiefei Ma , Krysia Broda , Alessandra Russo , Emil Lupu

ABSTRACT

Abductive inference has many known applications in multi-agent systems including planning, scheduling, policy analysis and sensing data interpretation. However, most abductive frameworks rely on a centrally executed proof procedure whereas many of the application problems are distributed by nature. Confidentiality and communication overhead concerns often preclude agents’ knowledge from being centralised. We present in this paper a distributed abductive reasoning framework with a flexible and extensible proof procedure that permits collaborative abductive reasoning between agents over decentralised knowledge. The proof procedure is sound and complete upon termination, and can perform concurrent computation. To the best of our knowledge, this is the first distributed abductive system that can compute non-ground conditional proofs and handle arithmetic constraints. More... »

PAGES

148-166

Book

TITLE

Declarative Agent Languages and Technologies VIII

ISBN

978-3-642-20714-3
978-3-642-20715-0

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-642-20715-0_9

DOI

http://dx.doi.org/10.1007/978-3-642-20715-0_9

DIMENSIONS

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


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"
      }, 
      {
        "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": "Department of Computing, Imperial College London, UK", 
          "id": "http://www.grid.ac/institutes/grid.7445.2", 
          "name": [
            "Department of Computing, Imperial College London, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Ma", 
        "givenName": "Jiefei", 
        "id": "sg:person.07611732233.28", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07611732233.28"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computing, Imperial College London, UK", 
          "id": "http://www.grid.ac/institutes/grid.7445.2", 
          "name": [
            "Department of Computing, Imperial College London, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Broda", 
        "givenName": "Krysia", 
        "id": "sg:person.010232072163.11", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010232072163.11"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computing, Imperial College London, UK", 
          "id": "http://www.grid.ac/institutes/grid.7445.2", 
          "name": [
            "Department of Computing, Imperial College London, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Russo", 
        "givenName": "Alessandra", 
        "id": "sg:person.016530745554.01", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016530745554.01"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computing, Imperial College London, UK", 
          "id": "http://www.grid.ac/institutes/grid.7445.2", 
          "name": [
            "Department of Computing, Imperial College London, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Lupu", 
        "givenName": "Emil", 
        "id": "sg:person.013404167044.28", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013404167044.28"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2011", 
    "datePublishedReg": "2011-01-01", 
    "description": "Abductive inference has many known applications in multi-agent systems including planning, scheduling, policy analysis and sensing data interpretation. However, most abductive frameworks rely on a centrally executed proof procedure whereas many of the application problems are distributed by nature. Confidentiality and communication overhead concerns often preclude agents\u2019 knowledge from being centralised. We present in this paper a distributed abductive reasoning framework with a flexible and extensible proof procedure that permits collaborative abductive reasoning between agents over decentralised knowledge. The proof procedure is sound and complete upon termination, and can perform concurrent computation. To the best of our knowledge, this is the first distributed abductive system that can compute non-ground conditional proofs and handle arithmetic constraints.", 
    "editor": [
      {
        "familyName": "Omicini", 
        "givenName": "Andrea", 
        "type": "Person"
      }, 
      {
        "familyName": "Sardina", 
        "givenName": "Sebastian", 
        "type": "Person"
      }, 
      {
        "familyName": "Vasconcelos", 
        "givenName": "Wamberto", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-642-20715-0_9", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-642-20714-3", 
        "978-3-642-20715-0"
      ], 
      "name": "Declarative Agent Languages and Technologies VIII", 
      "type": "Book"
    }, 
    "keywords": [
      "proof procedure", 
      "multi-agent systems", 
      "abductive reasoning framework", 
      "abductive reasoning", 
      "overhead concerns", 
      "reasoning framework", 
      "concurrent computation", 
      "abductive framework", 
      "abductive system", 
      "arithmetic constraints", 
      "application problems", 
      "abductive inference", 
      "reasoning", 
      "framework", 
      "confidentiality", 
      "constraints", 
      "scheduling", 
      "computation", 
      "system", 
      "data interpretation", 
      "knowledge", 
      "planning", 
      "conditional proof", 
      "inference", 
      "applications", 
      "proof", 
      "procedure", 
      "agents", 
      "concern", 
      "nature", 
      "analysis", 
      "interpretation", 
      "policy analysis", 
      "termination", 
      "paper", 
      "problem"
    ], 
    "name": "Distributed Abductive Reasoning with Constraints", 
    "pagination": "148-166", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1003715430"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-642-20715-0_9"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-642-20715-0_9", 
      "https://app.dimensions.ai/details/publication/pub.1003715430"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-10-01T06:53", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20221001/entities/gbq_results/chapter/chapter_144.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-642-20715-0_9"
  }
]
 

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-20715-0_9'

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-20715-0_9'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-20715-0_9'

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-20715-0_9'


 

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

130 TRIPLES      22 PREDICATES      62 URIs      54 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-642-20715-0_9 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 anzsrc-for:0803
4 schema:author N04ac4845023f44f5b02e86eed7f2f15a
5 schema:datePublished 2011
6 schema:datePublishedReg 2011-01-01
7 schema:description Abductive inference has many known applications in multi-agent systems including planning, scheduling, policy analysis and sensing data interpretation. However, most abductive frameworks rely on a centrally executed proof procedure whereas many of the application problems are distributed by nature. Confidentiality and communication overhead concerns often preclude agents’ knowledge from being centralised. We present in this paper a distributed abductive reasoning framework with a flexible and extensible proof procedure that permits collaborative abductive reasoning between agents over decentralised knowledge. The proof procedure is sound and complete upon termination, and can perform concurrent computation. To the best of our knowledge, this is the first distributed abductive system that can compute non-ground conditional proofs and handle arithmetic constraints.
8 schema:editor N9f095e10aa0c4575b16e0f5a3caa9a3c
9 schema:genre chapter
10 schema:isAccessibleForFree false
11 schema:isPartOf N9613021787de400ab6733263fe1a13e5
12 schema:keywords abductive framework
13 abductive inference
14 abductive reasoning
15 abductive reasoning framework
16 abductive system
17 agents
18 analysis
19 application problems
20 applications
21 arithmetic constraints
22 computation
23 concern
24 concurrent computation
25 conditional proof
26 confidentiality
27 constraints
28 data interpretation
29 framework
30 inference
31 interpretation
32 knowledge
33 multi-agent systems
34 nature
35 overhead concerns
36 paper
37 planning
38 policy analysis
39 problem
40 procedure
41 proof
42 proof procedure
43 reasoning
44 reasoning framework
45 scheduling
46 system
47 termination
48 schema:name Distributed Abductive Reasoning with Constraints
49 schema:pagination 148-166
50 schema:productId N5253b36b48604c50a6bb4cc0dd1090ca
51 N920d7b0a55a64b419bcefdeb698ded89
52 schema:publisher N9204e0e47e8b4c0484117eaa1d674fde
53 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003715430
54 https://doi.org/10.1007/978-3-642-20715-0_9
55 schema:sdDatePublished 2022-10-01T06:53
56 schema:sdLicense https://scigraph.springernature.com/explorer/license/
57 schema:sdPublisher N4d9e40b4095048f48244c3e323ea7cc9
58 schema:url https://doi.org/10.1007/978-3-642-20715-0_9
59 sgo:license sg:explorer/license/
60 sgo:sdDataset chapters
61 rdf:type schema:Chapter
62 N04ac4845023f44f5b02e86eed7f2f15a rdf:first sg:person.07611732233.28
63 rdf:rest Ncc2a1ccc683d4c49aabd3f0a7e753d92
64 N30a5323fdd0b4b5f8576feef259c41c4 rdf:first sg:person.013404167044.28
65 rdf:rest rdf:nil
66 N4d9e40b4095048f48244c3e323ea7cc9 schema:name Springer Nature - SN SciGraph project
67 rdf:type schema:Organization
68 N4fea0c8462a54e1f91c6a9b84a7ed90a rdf:first Nc4ed339a8512478d9d3407a3bb728d94
69 rdf:rest N86dce068da5e42799843a7f70e6861cf
70 N5253b36b48604c50a6bb4cc0dd1090ca schema:name dimensions_id
71 schema:value pub.1003715430
72 rdf:type schema:PropertyValue
73 N687c3cd3c0214261bceaca195535a051 rdf:first sg:person.016530745554.01
74 rdf:rest N30a5323fdd0b4b5f8576feef259c41c4
75 N86dce068da5e42799843a7f70e6861cf rdf:first Nacc34987db73494aacbabd21de02129a
76 rdf:rest rdf:nil
77 N9204e0e47e8b4c0484117eaa1d674fde schema:name Springer Nature
78 rdf:type schema:Organisation
79 N920d7b0a55a64b419bcefdeb698ded89 schema:name doi
80 schema:value 10.1007/978-3-642-20715-0_9
81 rdf:type schema:PropertyValue
82 N9613021787de400ab6733263fe1a13e5 schema:isbn 978-3-642-20714-3
83 978-3-642-20715-0
84 schema:name Declarative Agent Languages and Technologies VIII
85 rdf:type schema:Book
86 N9f095e10aa0c4575b16e0f5a3caa9a3c rdf:first Nde2bf95e0e814b1d973b1adb7a51d0b8
87 rdf:rest N4fea0c8462a54e1f91c6a9b84a7ed90a
88 Nacc34987db73494aacbabd21de02129a schema:familyName Vasconcelos
89 schema:givenName Wamberto
90 rdf:type schema:Person
91 Nc4ed339a8512478d9d3407a3bb728d94 schema:familyName Sardina
92 schema:givenName Sebastian
93 rdf:type schema:Person
94 Ncc2a1ccc683d4c49aabd3f0a7e753d92 rdf:first sg:person.010232072163.11
95 rdf:rest N687c3cd3c0214261bceaca195535a051
96 Nde2bf95e0e814b1d973b1adb7a51d0b8 schema:familyName Omicini
97 schema:givenName Andrea
98 rdf:type schema:Person
99 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
100 schema:name Information and Computing Sciences
101 rdf:type schema:DefinedTerm
102 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
103 schema:name Computation Theory and Mathematics
104 rdf:type schema:DefinedTerm
105 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
106 schema:name Computer Software
107 rdf:type schema:DefinedTerm
108 sg:person.010232072163.11 schema:affiliation grid-institutes:grid.7445.2
109 schema:familyName Broda
110 schema:givenName Krysia
111 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010232072163.11
112 rdf:type schema:Person
113 sg:person.013404167044.28 schema:affiliation grid-institutes:grid.7445.2
114 schema:familyName Lupu
115 schema:givenName Emil
116 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013404167044.28
117 rdf:type schema:Person
118 sg:person.016530745554.01 schema:affiliation grid-institutes:grid.7445.2
119 schema:familyName Russo
120 schema:givenName Alessandra
121 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016530745554.01
122 rdf:type schema:Person
123 sg:person.07611732233.28 schema:affiliation grid-institutes:grid.7445.2
124 schema:familyName Ma
125 schema:givenName Jiefei
126 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07611732233.28
127 rdf:type schema:Person
128 grid-institutes:grid.7445.2 schema:alternateName Department of Computing, Imperial College London, UK
129 schema:name Department of Computing, Imperial College London, UK
130 rdf:type schema:Organization
 




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


...