A logic-based calculus of events View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

1986-03

AUTHORS

Robert Kowalski, Marek Sergot

ABSTRACT

We outline an approach for reasoning about events and time within a logic programming framework. The notion of event is taken to be more primitive than that of time and both are represented explicitly by means of Horn clauses augmented with negation by failure. The main intended applications are the updating of databases and narrative understanding. In contrast with conventional databases which assume that updates are made in the same order as the corresponding events occur in the real world, the explicit treatment of events allows us to deal with updates which provide new information about the past. Default reasoning on the basis of incomplete information is obtained as a consequence of using negation by failure. Default conclusions are automatically withdrawn if the addition of new information renders them inconsistent. Because events are differentiated from times, we can represent events with unknown times, as well as events which are partially ordered and concurrent. More... »

PAGES

67-95

Identifiers

URI

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

DOI

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

DIMENSIONS

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


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/0806", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information Systems", 
        "type": "DefinedTerm"
      }, 
      {
        "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"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "name": [
            "Department of Computing, Imperial College of Science and Technology, University of London, 180 Queen\u2019s Gate, SW7 2BZ, London, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Kowalski", 
        "givenName": "Robert", 
        "id": "sg:person.015223636373.28", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015223636373.28"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "name": [
            "Department of Computing, Imperial College of Science and Technology, University of London, 180 Queen\u2019s Gate, SW7 2BZ, London, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Sergot", 
        "givenName": "Marek", 
        "id": "sg:person.016604624321.79", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016604624321.79"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1145/182.358434", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1018860881"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0004-3702(84)90008-0", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1023892845"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0004-3702(84)90008-0", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1023892845"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0306-4379(85)90036-5", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1046695148"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0306-4379(85)90036-5", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1046695148"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "1986-03", 
    "datePublishedReg": "1986-03-01", 
    "description": "We outline an approach for reasoning about events and time within a logic programming framework. The notion of event is taken to be more primitive than that of time and both are represented explicitly by means of Horn clauses augmented with negation by failure. The main intended applications are the updating of databases and narrative understanding. In contrast with conventional databases which assume that updates are made in the same order as the corresponding events occur in the real world, the explicit treatment of events allows us to deal with updates which provide new information about the past. Default reasoning on the basis of incomplete information is obtained as a consequence of using negation by failure. Default conclusions are automatically withdrawn if the addition of new information renders them inconsistent. Because events are differentiated from times, we can represent events with unknown times, as well as events which are partially ordered and concurrent.", 
    "genre": "research_article", 
    "id": "sg:pub.10.1007/bf03037383", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": [
      {
        "id": "sg:journal.1053619", 
        "issn": [
          "0288-3635", 
          "1882-7055"
        ], 
        "name": "New Generation Computing", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "1", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "4"
      }
    ], 
    "name": "A logic-based calculus of events", 
    "pagination": "67-95", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "2e8d29b4589c71325d4cd09dfddb17828ece1cbbedc7c60ec701d3a989fa7cc7"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/bf03037383"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1009771608"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/bf03037383", 
      "https://app.dimensions.ai/details/publication/pub.1009771608"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-11T09:11", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000338_0000000338/records_47980_00000000.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "http://link.springer.com/10.1007%2FBF03037383"
  }
]
 

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

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

Turtle is a human-readable linked data format.

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

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

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


 

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

78 TRIPLES      21 PREDICATES      30 URIs      19 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/bf03037383 schema:about anzsrc-for:08
2 anzsrc-for:0806
3 schema:author Nc3f84ed88cbc49c4b90383a81f206ac7
4 schema:citation https://doi.org/10.1016/0004-3702(84)90008-0
5 https://doi.org/10.1016/0306-4379(85)90036-5
6 https://doi.org/10.1145/182.358434
7 schema:datePublished 1986-03
8 schema:datePublishedReg 1986-03-01
9 schema:description We outline an approach for reasoning about events and time within a logic programming framework. The notion of event is taken to be more primitive than that of time and both are represented explicitly by means of Horn clauses augmented with negation by failure. The main intended applications are the updating of databases and narrative understanding. In contrast with conventional databases which assume that updates are made in the same order as the corresponding events occur in the real world, the explicit treatment of events allows us to deal with updates which provide new information about the past. Default reasoning on the basis of incomplete information is obtained as a consequence of using negation by failure. Default conclusions are automatically withdrawn if the addition of new information renders them inconsistent. Because events are differentiated from times, we can represent events with unknown times, as well as events which are partially ordered and concurrent.
10 schema:genre research_article
11 schema:inLanguage en
12 schema:isAccessibleForFree false
13 schema:isPartOf Nf98acc0530084867abf2c8a954a7faf1
14 Nfc8e46451eb1427e8716dbdcf1497e4e
15 sg:journal.1053619
16 schema:name A logic-based calculus of events
17 schema:pagination 67-95
18 schema:productId N2099cebb0b2e4430bc6f393da557bfd5
19 N5f0dd5add5f84e58a7e0249ced31626c
20 Nbdede15765804f169f7b0fbbdfab6854
21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009771608
22 https://doi.org/10.1007/bf03037383
23 schema:sdDatePublished 2019-04-11T09:11
24 schema:sdLicense https://scigraph.springernature.com/explorer/license/
25 schema:sdPublisher Nb9585c7f9fad4257913d01c0e92db51d
26 schema:url http://link.springer.com/10.1007%2FBF03037383
27 sgo:license sg:explorer/license/
28 sgo:sdDataset articles
29 rdf:type schema:ScholarlyArticle
30 N01bf7c0a3a924e8db9e362e86a4499a1 schema:name Department of Computing, Imperial College of Science and Technology, University of London, 180 Queen’s Gate, SW7 2BZ, London, UK
31 rdf:type schema:Organization
32 N2099cebb0b2e4430bc6f393da557bfd5 schema:name dimensions_id
33 schema:value pub.1009771608
34 rdf:type schema:PropertyValue
35 N5f0dd5add5f84e58a7e0249ced31626c schema:name readcube_id
36 schema:value 2e8d29b4589c71325d4cd09dfddb17828ece1cbbedc7c60ec701d3a989fa7cc7
37 rdf:type schema:PropertyValue
38 Nb9585c7f9fad4257913d01c0e92db51d schema:name Springer Nature - SN SciGraph project
39 rdf:type schema:Organization
40 Nbdede15765804f169f7b0fbbdfab6854 schema:name doi
41 schema:value 10.1007/bf03037383
42 rdf:type schema:PropertyValue
43 Nc3f84ed88cbc49c4b90383a81f206ac7 rdf:first sg:person.015223636373.28
44 rdf:rest Ncd65b87200d74671ba20be87e006959a
45 Ncd65b87200d74671ba20be87e006959a rdf:first sg:person.016604624321.79
46 rdf:rest rdf:nil
47 Ndf22a1da3fe64ab893b61a921f15efb3 schema:name Department of Computing, Imperial College of Science and Technology, University of London, 180 Queen’s Gate, SW7 2BZ, London, UK
48 rdf:type schema:Organization
49 Nf98acc0530084867abf2c8a954a7faf1 schema:issueNumber 1
50 rdf:type schema:PublicationIssue
51 Nfc8e46451eb1427e8716dbdcf1497e4e schema:volumeNumber 4
52 rdf:type schema:PublicationVolume
53 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
54 schema:name Information and Computing Sciences
55 rdf:type schema:DefinedTerm
56 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
57 schema:name Information Systems
58 rdf:type schema:DefinedTerm
59 sg:journal.1053619 schema:issn 0288-3635
60 1882-7055
61 schema:name New Generation Computing
62 rdf:type schema:Periodical
63 sg:person.015223636373.28 schema:affiliation Ndf22a1da3fe64ab893b61a921f15efb3
64 schema:familyName Kowalski
65 schema:givenName Robert
66 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015223636373.28
67 rdf:type schema:Person
68 sg:person.016604624321.79 schema:affiliation N01bf7c0a3a924e8db9e362e86a4499a1
69 schema:familyName Sergot
70 schema:givenName Marek
71 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016604624321.79
72 rdf:type schema:Person
73 https://doi.org/10.1016/0004-3702(84)90008-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023892845
74 rdf:type schema:CreativeWork
75 https://doi.org/10.1016/0306-4379(85)90036-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046695148
76 rdf:type schema:CreativeWork
77 https://doi.org/10.1145/182.358434 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018860881
78 rdf:type schema:CreativeWork
 




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


...