[go: up one dir, main page]

About: Event calculus

An Entity of Type: language, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

The event calculus is a logical language for representing and reasoning about events and their effects first presented by Robert Kowalski and in 1986. It was extended by Murray Shanahan and in the 1990s. Similar to other languages for reasoning about change, the event calculus represents the effects of on fluents. However, events can also be external to the system. In the event calculus, one can specify the value of fluents at some given time points, the events that take place at given time points, and their effects.

Property Value
dbo:abstract
  • The event calculus is a logical language for representing and reasoning about events and their effects first presented by Robert Kowalski and in 1986. It was extended by Murray Shanahan and in the 1990s. Similar to other languages for reasoning about change, the event calculus represents the effects of on fluents. However, events can also be external to the system. In the event calculus, one can specify the value of fluents at some given time points, the events that take place at given time points, and their effects. (en)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 2897680 (xsd:integer)
dbo:wikiPageLength
  • 13880 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1092189365 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
rdf:type
rdfs:comment
  • The event calculus is a logical language for representing and reasoning about events and their effects first presented by Robert Kowalski and in 1986. It was extended by Murray Shanahan and in the 1990s. Similar to other languages for reasoning about change, the event calculus represents the effects of on fluents. However, events can also be external to the system. In the event calculus, one can specify the value of fluents at some given time points, the events that take place at given time points, and their effects. (en)
rdfs:label
  • Event calculus (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:knownFor of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is dbp:knownFor of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License