1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'examples/FrankEtAl2003/FrankEtAl.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%; @article{FrankEtAl:2003,
15%; author = "Stefan L. Frank and Mathieu Koppen and Leo G. M. Noordman and Wietske Vonk",
16%; year = "2003",
17%; title = "Modeling knowledge-based inferences in story comprehension",
18%; journal = "Cognitive Science",
19%; volume = "27",
20%; pages = "875--910",
21%; }
22%;
23
24% fluent SunShining()
25 % fluent(sunShining()).
26==> mpred_prop(sunShining(),fluent).
27==> meta_argtypes(sunShining()).
28
29% fluent Raining()
30 % fluent(raining()).
31==> mpred_prop(raining(),fluent).
32==> meta_argtypes(raining()).
33
34% fluent Outside(agent)
35 % fluent(outside(agent)).
36==> mpred_prop(outside(agent),fluent).
37==> meta_argtypes(outside(agent)).
38
39% fluent PlaySoccer(agent)
40 % fluent(playSoccer(agent)).
41==> mpred_prop(playSoccer(agent),fluent).
42==> meta_argtypes(playSoccer(agent)).
43
44% fluent PlayHideAndSeek(agent)
45 % fluent(playHideAndSeek(agent)).
46==> mpred_prop(playHideAndSeek(agent),fluent).
47==> meta_argtypes(playHideAndSeek(agent)).
48
49% fluent PlayComputerGame(agent)
50 % fluent(playComputerGame(agent)).
51==> mpred_prop(playComputerGame(agent),fluent).
52==> meta_argtypes(playComputerGame(agent)).
53
54% fluent PlayWithDog(agent)
55 % fluent(playWithDog(agent)).
56==> mpred_prop(playWithDog(agent),fluent).
57==> meta_argtypes(playWithDog(agent)).
58
59% fluent Win(agent)
60 % fluent(win(agent)).
61==> mpred_prop(win(agent),fluent).
62==> meta_argtypes(win(agent)).
63
64% noninertial Outside, PlaySoccer, PlayHideAndSeek, PlayComputerGame
65==> noninertial(outside).
66==> noninertial(playSoccer).
67==> noninertial(playHideAndSeek).
68==> noninertial(playComputerGame).
69
70% noninertial PlayWithDog, Win
71==> noninertial(playWithDog).
72==> noninertial(win).
73
75xor([playSoccer,playHideAndSeek,playComputerGame,playWithDog]).
76
77
83axiom(holds_at(outside(Agent), Time),
84 [holds_at(playSoccer(Agent), Time)]).
85
86
91
92 96
97 103axiom(not(holds_at(playSoccer(PlaySoccer_Ret), Time3)),
104 [not({dif(Dif_Param, PlaySoccer_Ret)})]).
105axiom(not(holds_at(playSoccer(PlaySoccer_Ret), Time3)),
106 [not(holds_at(playSoccer(Dif_Param), Time3))]).
107
108 112axiom({ dif(Dif_Param7, Dif_Ret)
113},
114 [holds_at(playSoccer(Dif_Ret), Time6)]).
115
116
121
122 126
127 133axiom(not(holds_at(playHideAndSeek(PlayHideAndSeek_Ret), Time3)),
134 [not({dif(Dif_Param, PlayHideAndSeek_Ret)})]).
135axiom(not(holds_at(playHideAndSeek(PlayHideAndSeek_Ret), Time3)),
136 [not(holds_at(playHideAndSeek(Dif_Param), Time3))]).
137
138 142axiom({ dif(Dif_Param7, Dif_Ret)
143},
144 [holds_at(playHideAndSeek(Dif_Ret), Time6)]).
145
146
152axiom(not(holds_at(outside(Agent), Time)),
153 [holds_at(playComputerGame(Agent), Time)]).
154
155
163
164 167
168 177axiom(not(holds_at(win(Win_Ret), Time3)),
178
179 [ not(holds_at(playComputerGame(Win_Ret), Time3)),
180 not(holds_at(playSoccer(Win_Ret), Time3)),
181 not(holds_at(playHideAndSeek(Win_Ret), Time3))
182 ]).
183axiom(not(holds_at(win(Win_Ret), Time3)),
184
185 [ not({dif(Dif_Param, Win_Ret)}),
186 not(holds_at(playSoccer(Win_Ret), Time3)),
187 not(holds_at(playHideAndSeek(Win_Ret), Time3))
188 ]).
189axiom(not(holds_at(win(Win_Ret), Time3)),
190
191 [ not(holds_at(playComputerGame(Dif_Param), Time3)),
192 not(holds_at(playSoccer(Win_Ret), Time3)),
193 not(holds_at(playHideAndSeek(Win_Ret), Time3))
194 ]).
195
196 205axiom(holds_at(playSoccer(PlaySoccer_Ret), Time6),
206
207 [ not(holds_at(playComputerGame(PlaySoccer_Ret), Time6)),
208 not(holds_at(playHideAndSeek(PlaySoccer_Ret), Time6)),
209 holds_at(win(PlaySoccer_Ret), Time6)
210 ]).
211axiom(holds_at(playSoccer(PlaySoccer_Ret), Time6),
212
213 [ not({dif(Dif_Param7, PlaySoccer_Ret)}),
214 not(holds_at(playHideAndSeek(PlaySoccer_Ret), Time6)),
215 holds_at(win(PlaySoccer_Ret), Time6)
216 ]).
217axiom(holds_at(playSoccer(PlaySoccer_Ret), Time6),
218
219 [ not(holds_at(playComputerGame(Dif_Param7), Time6)),
220 not(holds_at(playHideAndSeek(PlaySoccer_Ret), Time6)),
221 holds_at(win(PlaySoccer_Ret), Time6)
222 ]).
223
224 232axiom(holds_at(playHideAndSeek(PlayHideAndSeek_Ret), Time9),
233
234 [ not(holds_at(playComputerGame(PlayHideAndSeek_Ret), Time9)),
235 not(holds_at(playSoccer(PlayHideAndSeek_Ret), Time9)),
236 holds_at(win(PlayHideAndSeek_Ret), Time9)
237 ]).
238axiom(holds_at(playHideAndSeek(PlayHideAndSeek_Ret), Time9),
239
240 [ not({dif(Dif_Param10, PlayHideAndSeek_Ret)}),
241 not(holds_at(playSoccer(PlayHideAndSeek_Ret), Time9)),
242 holds_at(win(PlayHideAndSeek_Ret), Time9)
243 ]).
244axiom(holds_at(playHideAndSeek(PlayHideAndSeek_Ret), Time9),
245
246 [ not(holds_at(playComputerGame(Dif_Param10), Time9)),
247 not(holds_at(playSoccer(PlayHideAndSeek_Ret), Time9)),
248 holds_at(win(PlayHideAndSeek_Ret), Time9)
249 ]).
250
251 256axiom(holds_at(playComputerGame(PlayComputerGame_Ret), Time12),
257
258 [ not(holds_at(playHideAndSeek(PlayComputerGame_Ret), Time12)),
259 not(holds_at(playSoccer(PlayComputerGame_Ret), Time12)),
260 holds_at(win(PlayComputerGame_Ret), Time12)
261 ]).
262
263 269axiom({ dif(Dif_Param15, Dif_Ret)
270},
271
272 [ not(holds_at(playHideAndSeek(Dif_Ret), Time14)),
273 not(holds_at(playSoccer(Dif_Ret), Time14)),
274 holds_at(win(Dif_Ret), Time14)
275 ]).
276
277 282axiom(holds_at(playComputerGame(PlayComputerGame_Ret18), Time17),
283
284 [ not(holds_at(playHideAndSeek(PlayHideAndSeek_Ret19), Time17)),
285 not(holds_at(playSoccer(PlayHideAndSeek_Ret19), Time17)),
286 holds_at(win(PlayHideAndSeek_Ret19), Time17)
287 ]).
288
289
296axiom(not(holds_at(playSoccer(Agent), start)),
297
298 [ holds_at(playSoccer(Agent), t),
299 holds_at(win(Agent), t),
300 b(t, start),
301 ignore(t+1=start)
302 ]).
303
304
311axiom(not(holds_at(playHideAndSeek(Agent), start)),
312
313 [ holds_at(playHideAndSeek(Agent), t),
314 holds_at(win(Agent), t),
315 b(t, start),
316 ignore(t+1=start)
317 ]).
318
319
326axiom(not(holds_at(playComputerGame(Agent), start)),
327
328 [ holds_at(playComputerGame(Agent), t),
329 holds_at(win(Agent), t),
330 b(t, start),
331 ignore(t+1=start)
332 ]).
333
334
341
342 345
346 353axiom(holds_at(playSoccer(PlaySoccer_Ret), t),
354
355 [ not(holds_at(playHideAndSeek(PlaySoccer_Ret), t)),
356 not(holds_at(playComputerGame(PlaySoccer_Ret), t)),
357 holds_at(win(PlaySoccer_Ret), start),
358 b(t, start),
359 ignore(start-1=t)
360 ]).
361
362 367axiom(holds_at(playHideAndSeek(PlayHideAndSeek_Ret), t),
368
369 [ not(holds_at(playComputerGame(PlayHideAndSeek_Ret), t)),
370 not(holds_at(playSoccer(PlayHideAndSeek_Ret), t)),
371 holds_at(win(PlayHideAndSeek_Ret), start),
372 b(t, start),
373 ignore(start-1=t)
374 ]).
375
376 381axiom(holds_at(playComputerGame(PlayComputerGame_Ret), t),
382
383 [ not(holds_at(playHideAndSeek(PlayComputerGame_Ret), t)),
384 not(holds_at(playSoccer(PlayComputerGame_Ret), t)),
385 holds_at(win(PlayComputerGame_Ret), start),
386 b(t, start),
387 ignore(start-1=t)
388 ]).
389
390 395axiom(not(holds_at(win(Win_Ret), start)),
396
397 [ not(holds_at(playSoccer(Win_Ret), t)),
398 not(holds_at(playHideAndSeek(Win_Ret), t)),
399 not(holds_at(playComputerGame(Win_Ret), t)),
400 b(t, start),
401 ignore(start-1=t)
402 ]).
403
404
410axiom(not(holds_at(raining(), Time)),
411 [holds_at(playSoccer(Agent), Time)]).
412
413
419axiom(not(exists([Agent1], (Agent1\=Agent, holds_at(win(Agent1), Time)))),
420 [holds_at(win(Agent), Time)]).
421
422
429
430 433
434 444axiom(not(holds_at(playHideAndSeek(PlayHideAndSeek_Ret), Time3)),
445
446 [ holds_at(outside(PlayHideAndSeek_Ret), Time3),
447 not(holds_at(outside(PlayHideAndSeek_Ret), Time3)),
448 holds_at(playHideAndSeek(PlayHideAndSeek_Ret5), Time3)
449 ]).
450axiom(not(holds_at(playHideAndSeek(PlayHideAndSeek_Ret), Time3)),
451
452 [ holds_at(outside(PlayHideAndSeek_Ret5), Time3),
453 not(holds_at(outside(PlayHideAndSeek_Ret), Time3)),
454 holds_at(playHideAndSeek(PlayHideAndSeek_Ret5), Time3)
455 ]).
456axiom(not(holds_at(playHideAndSeek(PlayHideAndSeek_Ret), Time3)),
457
458 [ holds_at(outside(PlayHideAndSeek_Ret), Time3),
459 not(holds_at(outside(PlayHideAndSeek_Ret5), Time3)),
460 holds_at(playHideAndSeek(PlayHideAndSeek_Ret5), Time3)
461 ]).
462axiom(not(holds_at(playHideAndSeek(PlayHideAndSeek_Ret), Time3)),
463
464 [ holds_at(outside(PlayHideAndSeek_Ret5), Time3),
465 not(holds_at(outside(PlayHideAndSeek_Ret5), Time3)),
466 holds_at(playHideAndSeek(PlayHideAndSeek_Ret5), Time3)
467 ]).
468
469 478axiom(not(holds_at(playHideAndSeek(PlayHideAndSeek_Ret7), Time6)),
479
480 [ holds_at(outside(PlayHideAndSeek_Ret8), Time6),
481 not(holds_at(outside(PlayHideAndSeek_Ret8), Time6)),
482 holds_at(playHideAndSeek(PlayHideAndSeek_Ret8), Time6)
483 ]).
484axiom(not(holds_at(playHideAndSeek(PlayHideAndSeek_Ret7), Time6)),
485
486 [ holds_at(outside(PlayHideAndSeek_Ret7), Time6),
487 not(holds_at(outside(PlayHideAndSeek_Ret8), Time6)),
488 holds_at(playHideAndSeek(PlayHideAndSeek_Ret8), Time6)
489 ]).
490axiom(not(holds_at(playHideAndSeek(PlayHideAndSeek_Ret7), Time6)),
491
492 [ holds_at(outside(PlayHideAndSeek_Ret8), Time6),
493 not(holds_at(outside(PlayHideAndSeek_Ret7), Time6)),
494 holds_at(playHideAndSeek(PlayHideAndSeek_Ret8), Time6)
495 ]).
496axiom(not(holds_at(playHideAndSeek(PlayHideAndSeek_Ret7), Time6)),
497
498 [ holds_at(outside(PlayHideAndSeek_Ret7), Time6),
499 not(holds_at(outside(PlayHideAndSeek_Ret7), Time6)),
500 holds_at(playHideAndSeek(PlayHideAndSeek_Ret8), Time6)
501 ]).
502
503 510axiom(holds_at(outside(Outside_Ret), Time9),
511
512 [ holds_at(outside(Outside_Ret), Time9),
513 holds_at(playHideAndSeek(Outside_Ret), Time9),
514 holds_at(playHideAndSeek(Outside_Ret11), Time9)
515 ]).
516axiom(holds_at(outside(Outside_Ret), Time9),
517
518 [ holds_at(outside(Outside_Ret11), Time9),
519 holds_at(playHideAndSeek(Outside_Ret), Time9),
520 holds_at(playHideAndSeek(Outside_Ret11), Time9)
521 ]).
522
523 530axiom(holds_at(outside(Outside_Ret13), Time12),
531
532 [ holds_at(outside(Outside_Ret14), Time12),
533 holds_at(playHideAndSeek(Outside_Ret14), Time12),
534 holds_at(playHideAndSeek(Outside_Ret13), Time12)
535 ]).
536axiom(holds_at(outside(Outside_Ret13), Time12),
537
538 [ holds_at(outside(Outside_Ret13), Time12),
539 holds_at(playHideAndSeek(Outside_Ret14), Time12),
540 holds_at(playHideAndSeek(Outside_Ret13), Time12)
541 ]).
542
543 550axiom(not(holds_at(outside(Outside_Ret16), Time15)),
551
552 [ not(holds_at(outside(Outside_Ret16), Time15)),
553 holds_at(playHideAndSeek(Outside_Ret16), Time15),
554 holds_at(playHideAndSeek(Outside_Ret17), Time15)
555 ]).
556axiom(not(holds_at(outside(Outside_Ret16), Time15)),
557
558 [ not(holds_at(outside(Outside_Ret17), Time15)),
559 holds_at(playHideAndSeek(Outside_Ret16), Time15),
560 holds_at(playHideAndSeek(Outside_Ret17), Time15)
561 ]).
562
563 570axiom(not(holds_at(outside(Outside_Ret19), Time18)),
571
572 [ not(holds_at(outside(Outside_Ret20), Time18)),
573 holds_at(playHideAndSeek(Outside_Ret20), Time18),
574 holds_at(playHideAndSeek(Outside_Ret19), Time18)
575 ]).
576axiom(not(holds_at(outside(Outside_Ret19), Time18)),
577
578 [ not(holds_at(outside(Outside_Ret19), Time18)),
579 holds_at(playHideAndSeek(Outside_Ret20), Time18),
580 holds_at(playHideAndSeek(Outside_Ret19), Time18)
581 ]).
582
583