1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'foundations/ECTraj.e').
4%;
5%; Copyright (c) 2005 IBM Corporation and others.
6%; All rights reserved. This program and the accompanying materials
7%; are made available under the terms of the Common Public License v1.0
8%; which accompanies this distribution, and is available at
9%; http://www.eclipse.org/legal/cpl-v10.html
10%;
11%; Contributors:
12%; IBM - Initial implementation
13%;
14%; @incollection{MillerShanahan:2002,
15%; author = "Rob Miller and Murray Shanahan",
16%; year = "2002",
17%; title = "Some alternative formulations of the event calculus",
18%; editor = "Antonis C. Kakas and Fariba Sadri",
19%; booktitle = "Computational Logic: Logic Programming and Beyond: Essays in Honour of \uppercase{R}obert \uppercase{A}. \uppercase{K}owalski, Part \uppercase{II}",
20%; series = "Lecture Notes in Computer Science",
21%; volume = "2408",
22%; pages = "452--490",
23%; address = "Berlin",
24%; publisher = "Springer",
25%; }
26%;
27
28% predicate Clipped(time,fluent,time)
29 % predicate(clipped(time,fluent,time)).
30==> mpred_prop(clipped(time,fluent,time),predicate).
31==> meta_argtypes(clipped(time,fluent,time)).
32
33% predicate Declipped(time,fluent,time)
34 % predicate(declipped(time,fluent,time)).
35==> mpred_prop(declipped(time,fluent,time),predicate).
36==> meta_argtypes(declipped(time,fluent,time)).
37
38% predicate Trajectory(fluent,time,fluent,offset)
39 % predicate(trajectory(fluent,time,fluent,offset)).
40==> mpred_prop(trajectory(fluent,time,fluent,offset),predicate).
41==> meta_argtypes(trajectory(fluent,time,fluent,offset)).
42
43% predicate AntiTrajectory(fluent,time,fluent,offset)
44 % predicate(antiTrajectory(fluent,time,fluent,offset)).
45==> mpred_prop(antiTrajectory(fluent,time,fluent,offset),predicate).
46==> meta_argtypes(antiTrajectory(fluent,time,fluent,offset)).
47
48
58axiom(holds_at(Fluent2, Time),
59
60 [ happens(Event, Time),
61 initiates(Event, Fluent, Time),
62 comparison(0, 0, <),
63 trajectory(Fluent, Time, Fluent2, 0),
64 not(clipped(Time, Fluent, Time))
65 ]).
66
67
77axiom(holds_at(Fluent2, Time),
78
79 [ happens(Event, Time),
80 terminates(Event, Fluent, Time),
81 comparison(0, 0, <),
82 antiTrajectory(Fluent, Time, Fluent2, 0),
83 not(declipped(Time, Fluent, Time))
84 ]).
85
86