1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'examples/Mueller2004b/RunningAndDriving2.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%; @inproceedings{Mueller:2004b,
15%; author = "Erik T. Mueller",
16%; year = "2004",
17%; title = "A tool for satisfiability-based commonsense reasoning in the event calculus",
18%; editor = "Valerie Barr and Zdravko Markov",
19%; booktitle = "\uppercase{P}roceedings of the \uppercase{S}eventeenth \uppercase{I}nternational \uppercase{F}lorida \uppercase{A}rtificial \uppercase{I}ntelligence \uppercase{R}esearch \uppercase{S}ociety \uppercase{C}onference",
20%; pages = "147--152",
21%; address = "Menlo Park, CA",
22%; publisher = "AAAI Press",
23%; }
24%;
25
26% load foundations/Root.e
27
28% load foundations/EC.e
29
30% sort agent
31==> sort(agent).
32
33% fluent Tired(agent)
34 % fluent(tired(agent)).
35==> mpred_prop(tired(agent),fluent).
36==> meta_argtypes(tired(agent)).
37
38% event Move(agent)
39 % event(move(agent)).
40==> mpred_prop(move(agent),event).
41==> meta_argtypes(move(agent)).
42
43% event Run(agent)
44 % event(run(agent)).
45==> mpred_prop(run(agent),event).
46==> meta_argtypes(run(agent)).
47
48% event Drive(agent)
49 % event(drive(agent)).
50==> mpred_prop(drive(agent),event).
51==> meta_argtypes(drive(agent)).
52
53
58
59 62
63 68axiom(happens(run(Run_Ret), Maptime),
69
70 [ not(happens(drive(Run_Ret), Maptime)),
71 happens(move(Run_Ret), Maptime)
72 ]).
73
74 78axiom(happens(drive(Drive_Ret), Maptime4),
79
80 [ not(happens(run(Drive_Ret), Maptime4)),
81 happens(move(Drive_Ret), Maptime4)
82 ]).
83
84 88axiom(not(happens(move(Move_Ret), Maptime6)),
89
90 [ not(happens(run(Move_Ret), Maptime6)),
91 not(happens(drive(Move_Ret), Maptime6))
92 ]).
93
97xor([run,drive]).
98
99
102 103axiom(initiates(run(Agent), tired(Agent), Time),
104 []).
105
106% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004b/RunningAndDriving2.e:41
107% agent James
108% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004b/RunningAndDriving2.e:42
109==> t(agent,james).
110
111
114 115axiom(not(initially(tired(james))),
116 []).
117
118
121axiom(happens(move(james), t),
122 [is_time(0)]).
123
124% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004b/RunningAndDriving2.e:46
125% range time 0 1
126% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004b/RunningAndDriving2.e:47
127==> range(time,0,1).
128
129% range offset 1 1
130% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004b/RunningAndDriving2.e:48
131==> range(offset,1,1).