ERA

Download the full-sized PDF of The Event Calculus as a Linear Logic ProgramDownload the full-sized PDF

Analytics

Share

Permanent link (DOI): https://doi.org/10.7939/R3RN30899

Download

Export to: EndNote  |  Zotero  |  Mendeley

Communities

This file is in the following communities:

Computing Science, Department of

Collections

This file is in the following collections:

Technical Reports (Computing Science)

The Event Calculus as a Linear Logic Program Open Access

Descriptions

Author or creator
Alexiev, Vladimir
Additional contributors
Subject/Keyword
event calculus
knowledge update
negation as failure
linear logic
Type of item
Computing Science Technical Report
Computing science technical report ID
TR95-24
Language
English
Place
Time
Description
Technical report TR95-24. The traditional presentation of Kowalski's Event Calculus as a logic program uses Negation- as-Failure (NAF) in an essential way to support persistence of fluents. In this paper we present an implementation of Event Calculus as a purely logical (without NAF) Linear Logic (LL) program. This work demonstrates some of the internal non-monotonic features of LL and its suitability for knowledge update (as opposed to knowledge revision). Although NAF is an ontologically sufficient solution to the frame problem, the LL solution is implementationally superior. Handling of incomplete temporal descriptions and support for ramifications (derived fluents) are also considered.
Date created
1995
DOI
doi:10.7939/R3RN30899
License information
Creative Commons Attribution 3.0 Unported
Rights

Citation for previous publication

Source
Link to related item

File Details

Date Uploaded
Date Modified
2014-04-25T00:16:44.537+00:00
Audit Status
Audits have not yet been run on this file.
Characterization
File format: pdf (Portable Document Format)
Mime type: application/pdf
File size: 304890
Last modified: 2015:10:12 16:43:42-06:00
Filename: TR95-24.pdf
Original checksum: c1d7d840697c16ea93905235908301cb
Well formed: true
Valid: true
Page count: 12
Activity of users you follow
User Activity Date