From 884a618bef380262209e128a1f4b16dbc3aff781 Mon Sep 17 00:00:00 2001 From: Chris Date: Fri, 6 Jun 2014 11:21:31 -0400 Subject: [PATCH] Create event-calculus.txt --- logic_and_programming/event-calculus.txt | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 logic_and_programming/event-calculus.txt diff --git a/logic_and_programming/event-calculus.txt b/logic_and_programming/event-calculus.txt new file mode 100644 index 0000000..79b0fbf --- /dev/null +++ b/logic_and_programming/event-calculus.txt @@ -0,0 +1,19 @@ +"The Event Calculus as a Linear Logic Program" +Vladimir Alexiev + +http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.9953 + +Direct download: +http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.30.9953&rep=rep1&type=pdf + +Abstract: + +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.