Refinement of History-Based Policies View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2011

AUTHORS

Jorge Lobo , Jiefei Ma , Alessandra Russo , Emil Lupu , Seraphin Calo , Morris Sloman

ABSTRACT

We propose an efficient method to evaluate a large class of history-based policies written as logic programs. To achieve this, we dynamically compute, from a given policy set, a finite subset of the history required and sufficient to evaluate the policies. We maintain this history by monitoring rules and transform the policies into a non history-based form. We further formally prove that evaluating history-based policies can be reduced to an equivalent, but more efficient, evaluation of the non history-based policies together with the monitoring rules. More... »

PAGES

280-299

Book

TITLE

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning

ISBN

978-3-642-20831-7
978-3-642-20832-4

Identifiers

URI

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

DOI

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

DIMENSIONS

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


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/21", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "History and Archaeology", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/2103", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Historical Studies", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "IBM T.J. Watson Research Center, New York, United States", 
          "id": "http://www.grid.ac/institutes/grid.481554.9", 
          "name": [
            "IBM T.J. Watson Research Center, New York, United States"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Lobo", 
        "givenName": "Jorge", 
        "id": "sg:person.016052622463.68", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016052622463.68"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computing, Imperial College London, United Kingdom", 
          "id": "http://www.grid.ac/institutes/grid.7445.2", 
          "name": [
            "Department of Computing, Imperial College London, United Kingdom"
          ], 
          "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, United Kingdom", 
          "id": "http://www.grid.ac/institutes/grid.7445.2", 
          "name": [
            "Department of Computing, Imperial College London, United Kingdom"
          ], 
          "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, United Kingdom", 
          "id": "http://www.grid.ac/institutes/grid.7445.2", 
          "name": [
            "Department of Computing, Imperial College London, United Kingdom"
          ], 
          "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"
      }, 
      {
        "affiliation": {
          "alternateName": "IBM T.J. Watson Research Center, New York, United States", 
          "id": "http://www.grid.ac/institutes/grid.481554.9", 
          "name": [
            "IBM T.J. Watson Research Center, New York, United States"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Calo", 
        "givenName": "Seraphin", 
        "id": "sg:person.010012067305.77", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010012067305.77"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computing, Imperial College London, United Kingdom", 
          "id": "http://www.grid.ac/institutes/grid.7445.2", 
          "name": [
            "Department of Computing, Imperial College London, United Kingdom"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Sloman", 
        "givenName": "Morris", 
        "id": "sg:person.014167643026.41", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014167643026.41"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2011", 
    "datePublishedReg": "2011-01-01", 
    "description": "We propose an efficient method to evaluate a large class of history-based policies written as logic programs. To achieve this, we dynamically compute, from a given policy set, a finite subset of the history required and sufficient to evaluate the policies. We maintain this history by monitoring rules and transform the policies into a non history-based form. We further formally prove that evaluating history-based policies can be reduced to an equivalent, but more efficient, evaluation of the non history-based policies together with the monitoring rules.", 
    "editor": [
      {
        "familyName": "Balduccini", 
        "givenName": "Marcello", 
        "type": "Person"
      }, 
      {
        "familyName": "Son", 
        "givenName": "Tran Cao", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-642-20832-4_18", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-642-20831-7", 
        "978-3-642-20832-4"
      ], 
      "name": "Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning", 
      "type": "Book"
    }, 
    "keywords": [
      "history", 
      "policy", 
      "policy set", 
      "rules", 
      "form", 
      "class", 
      "program", 
      "equivalent", 
      "set", 
      "refinement", 
      "method", 
      "evaluation", 
      "subset", 
      "monitoring rules", 
      "efficient method", 
      "large class", 
      "logic programs", 
      "finite subset", 
      "history-based policies"
    ], 
    "name": "Refinement of History-Based Policies", 
    "pagination": "280-299", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1047825815"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-642-20832-4_18"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-642-20832-4_18", 
      "https://app.dimensions.ai/details/publication/pub.1047825815"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-09-02T16:13", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220902/entities/gbq_results/chapter/chapter_294.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-642-20832-4_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-20832-4_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-20832-4_18'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-20832-4_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-20832-4_18'


 

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

121 TRIPLES      22 PREDICATES      44 URIs      37 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-642-20832-4_18 schema:about anzsrc-for:21
2 anzsrc-for:2103
3 schema:author Nd4900c31103c496089ecc3bf3fe23638
4 schema:datePublished 2011
5 schema:datePublishedReg 2011-01-01
6 schema:description We propose an efficient method to evaluate a large class of history-based policies written as logic programs. To achieve this, we dynamically compute, from a given policy set, a finite subset of the history required and sufficient to evaluate the policies. We maintain this history by monitoring rules and transform the policies into a non history-based form. We further formally prove that evaluating history-based policies can be reduced to an equivalent, but more efficient, evaluation of the non history-based policies together with the monitoring rules.
7 schema:editor N96a5fc54393a46feb05cd32f0c47af7b
8 schema:genre chapter
9 schema:isAccessibleForFree false
10 schema:isPartOf N132d33e4eba244fab7d6c48a544e0037
11 schema:keywords class
12 efficient method
13 equivalent
14 evaluation
15 finite subset
16 form
17 history
18 history-based policies
19 large class
20 logic programs
21 method
22 monitoring rules
23 policy
24 policy set
25 program
26 refinement
27 rules
28 set
29 subset
30 schema:name Refinement of History-Based Policies
31 schema:pagination 280-299
32 schema:productId N165fae32c1a9408c96521d25b0dd04c8
33 N17eaf22624ff48adae8b8b0575a9d9de
34 schema:publisher N40af558b70f241eab74b07f9db710941
35 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047825815
36 https://doi.org/10.1007/978-3-642-20832-4_18
37 schema:sdDatePublished 2022-09-02T16:13
38 schema:sdLicense https://scigraph.springernature.com/explorer/license/
39 schema:sdPublisher N8b33c07bbe2f420ca4a3a991e4609a36
40 schema:url https://doi.org/10.1007/978-3-642-20832-4_18
41 sgo:license sg:explorer/license/
42 sgo:sdDataset chapters
43 rdf:type schema:Chapter
44 N132d33e4eba244fab7d6c48a544e0037 schema:isbn 978-3-642-20831-7
45 978-3-642-20832-4
46 schema:name Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
47 rdf:type schema:Book
48 N165fae32c1a9408c96521d25b0dd04c8 schema:name doi
49 schema:value 10.1007/978-3-642-20832-4_18
50 rdf:type schema:PropertyValue
51 N17eaf22624ff48adae8b8b0575a9d9de schema:name dimensions_id
52 schema:value pub.1047825815
53 rdf:type schema:PropertyValue
54 N3b1f85e1b883452eb70b868821834afd rdf:first sg:person.010012067305.77
55 rdf:rest Nfb6526fd3ea3486e83cb503f4b943cc7
56 N40af558b70f241eab74b07f9db710941 schema:name Springer Nature
57 rdf:type schema:Organisation
58 N8abbd54c7fd14ff0afdd2b71acc400e3 schema:familyName Balduccini
59 schema:givenName Marcello
60 rdf:type schema:Person
61 N8b33c07bbe2f420ca4a3a991e4609a36 schema:name Springer Nature - SN SciGraph project
62 rdf:type schema:Organization
63 N96a5fc54393a46feb05cd32f0c47af7b rdf:first N8abbd54c7fd14ff0afdd2b71acc400e3
64 rdf:rest Nd2955ed0db4744a696ec8a665a2bb7b7
65 Nc584e10fb03d4753ba7a2a770e50e8a0 rdf:first sg:person.016530745554.01
66 rdf:rest Nc838fc20b5db4145949cee014911e89c
67 Nc838fc20b5db4145949cee014911e89c rdf:first sg:person.013404167044.28
68 rdf:rest N3b1f85e1b883452eb70b868821834afd
69 Nca50d6c24e7047ecac80417f3c5c2a4b schema:familyName Son
70 schema:givenName Tran Cao
71 rdf:type schema:Person
72 Nd2955ed0db4744a696ec8a665a2bb7b7 rdf:first Nca50d6c24e7047ecac80417f3c5c2a4b
73 rdf:rest rdf:nil
74 Nd4900c31103c496089ecc3bf3fe23638 rdf:first sg:person.016052622463.68
75 rdf:rest Ne455c7b891c34112a38bbb1c18518e5b
76 Ne455c7b891c34112a38bbb1c18518e5b rdf:first sg:person.07611732233.28
77 rdf:rest Nc584e10fb03d4753ba7a2a770e50e8a0
78 Nfb6526fd3ea3486e83cb503f4b943cc7 rdf:first sg:person.014167643026.41
79 rdf:rest rdf:nil
80 anzsrc-for:21 schema:inDefinedTermSet anzsrc-for:
81 schema:name History and Archaeology
82 rdf:type schema:DefinedTerm
83 anzsrc-for:2103 schema:inDefinedTermSet anzsrc-for:
84 schema:name Historical Studies
85 rdf:type schema:DefinedTerm
86 sg:person.010012067305.77 schema:affiliation grid-institutes:grid.481554.9
87 schema:familyName Calo
88 schema:givenName Seraphin
89 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010012067305.77
90 rdf:type schema:Person
91 sg:person.013404167044.28 schema:affiliation grid-institutes:grid.7445.2
92 schema:familyName Lupu
93 schema:givenName Emil
94 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013404167044.28
95 rdf:type schema:Person
96 sg:person.014167643026.41 schema:affiliation grid-institutes:grid.7445.2
97 schema:familyName Sloman
98 schema:givenName Morris
99 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014167643026.41
100 rdf:type schema:Person
101 sg:person.016052622463.68 schema:affiliation grid-institutes:grid.481554.9
102 schema:familyName Lobo
103 schema:givenName Jorge
104 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016052622463.68
105 rdf:type schema:Person
106 sg:person.016530745554.01 schema:affiliation grid-institutes:grid.7445.2
107 schema:familyName Russo
108 schema:givenName Alessandra
109 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016530745554.01
110 rdf:type schema:Person
111 sg:person.07611732233.28 schema:affiliation grid-institutes:grid.7445.2
112 schema:familyName Ma
113 schema:givenName Jiefei
114 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07611732233.28
115 rdf:type schema:Person
116 grid-institutes:grid.481554.9 schema:alternateName IBM T.J. Watson Research Center, New York, United States
117 schema:name IBM T.J. Watson Research Center, New York, United States
118 rdf:type schema:Organization
119 grid-institutes:grid.7445.2 schema:alternateName Department of Computing, Imperial College London, United Kingdom
120 schema:name Department of Computing, Imperial College London, United Kingdom
121 rdf:type schema:Organization
 




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


...