1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'ecnet/SpeechAct.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%; The SpeechAct representation deals with a few speech acts
15%; \fullcite{Searle:1969}.
16%;
17%; @book{Searle:1969,
18%; author = "John R. Searle",
19%; year = "1969",
20%; title = "Speech Acts: An Essay in the Philosophy of Language",
21%; address = "Cambridge",
22%; publisher = "Cambridge University Press",
23%; }
24%;
25%; We handle
26%; the illocutionary acts of
27%; inviting someone into one's house (a form of request) and
28%; greeting someone,
29%; and the expressive speech act of crying for joy.
30%;
31%; inviting in
32%; agent1 invites agent2 into room.
33
34% event InviteIn(agent,agent,room)
35 % event(inviteIn(agent,agent,room)).
36==> mpred_prop(inviteIn(agent,agent,room),event).
37==> meta_argtypes(inviteIn(agent,agent,room)).
38
39
40% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:32
41%; agent1 is invited into room by agent2.
42
43% fluent InvitedIn(agent,room,agent)
44 % fluent(invitedIn(agent,room,agent)).
45% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:34
46==> mpred_prop(invitedIn(agent,room,agent),fluent).
47==> meta_argtypes(invitedIn(agent,room,agent)).
48
49
65
66 71
72 81axiom(not(some(Location8, '$kolem_Fn_188'(Fn_188_Param, At_Param, Location, Maptime))),
82
83 [ not(holds_at(at(Fn_188_Param, Location), Maptime)),
84 happens(inviteIn(Fn_188_Param, At_Param, Location),
85 Maptime)
86 ]).
87axiom(not(some(Location8, '$kolem_Fn_188'(Fn_188_Param, At_Param, Location, Maptime))),
88
89 [ not(holds_at(at(At_Param, Location8), Maptime)),
90 happens(inviteIn(Fn_188_Param, At_Param, Location),
91 Maptime)
92 ]).
93axiom(not(some(Location8, '$kolem_Fn_188'(Fn_188_Param, At_Param, Location, Maptime))),
94
95 [ not(adjacent(Location, Location8)),
96 happens(inviteIn(Fn_188_Param, At_Param, Location),
97 Maptime)
98 ]).
99
100 112axiom(not(happens(inviteIn(InviteIn_Param, At_Param15, Location12), Maptime11)),
113
114 [ not(holds_at(at(InviteIn_Param, Location12), Maptime11)),
115 some(Location13,
116 '$kolem_Fn_188'(InviteIn_Param,
117 At_Param15,
118 Location12,
119 Maptime11))
120 ]).
121axiom(not(happens(inviteIn(InviteIn_Param, At_Param15, Location12), Maptime11)),
122
123 [ not(holds_at(at(At_Param15, Location13), Maptime11)),
124 some(Location13,
125 '$kolem_Fn_188'(InviteIn_Param,
126 At_Param15,
127 Location12,
128 Maptime11))
129 ]).
130axiom(not(happens(inviteIn(InviteIn_Param, At_Param15, Location12), Maptime11)),
131
132 [ not(adjacent(Location12, Location13)),
133 some(Location13,
134 '$kolem_Fn_188'(InviteIn_Param,
135 At_Param15,
136 Location12,
137 Maptime11))
138 ]).
139
140 145axiom(holds_at(at(At_Param18, Location16), Time17),
146
147 [ happens(inviteIn(At_Param18, A, Location16),
148 Time17),
149 some(Some_Param,
150 '$kolem_Fn_188'(At_Param18,
151 A,
152 Location16,
153 Time17))
154 ]).
155
156 167axiom(holds_at(at(At_Param22, Location20), Time21),
168
169 [ happens(inviteIn(InviteIn_Param23,
170 At_Param22,
171 InviteIn_Ret),
172 Time21),
173 some(Location20,
174 '$kolem_Fn_188'(InviteIn_Param23,
175 At_Param22,
176 InviteIn_Ret,
177 Time21))
178 ]).
179
180 189axiom(adjacent(Adjacent_Param, Some_Param28),
190
191 [ happens(inviteIn(InviteIn_Param27, A, Adjacent_Param),
192 Maptime25),
193 some(Some_Param28,
194 '$kolem_Fn_188'(InviteIn_Param27,
195 A,
196 Adjacent_Param,
197 Maptime25))
198 ]).
199
200
211axiom(initiates(inviteIn(Agent1, Agent2, Room), invitedIn(Agent2, Room, Agent1), Time),
212 []).
213
214
215% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:56
216%; agent intends to walk into room.
217
218% event IntendToWalkIn(agent,room)
219 % event(intendToWalkIn(agent,room)).
220% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:58
221==> mpred_prop(intendToWalkIn(agent,room),event).
222==> meta_argtypes(intendToWalkIn(agent,room)).
223
224
225% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:58
226%; agent has the intention to walk into room.
227
228% fluent IntentionToWalkIn(agent,room)
229 % fluent(intentionToWalkIn(agent,room)).
230% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:60
231==> mpred_prop(intentionToWalkIn(agent,room),fluent).
232==> meta_argtypes(intentionToWalkIn(agent,room)).
233
234
235% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:60
236%; agent acts on the intention to walk into room.
237
238% fluent ActOnIntentionToWalkIn(agent,room)
239 % fluent(actOnIntentionToWalkIn(agent,room)).
240% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:62
241==> mpred_prop(actOnIntentionToWalkIn(agent,room),fluent).
242==> meta_argtypes(actOnIntentionToWalkIn(agent,room)).
243
244% noninertial ActOnIntentionToWalkIn
245% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:63
246==> noninertial(actOnIntentionToWalkIn).
260axiom(happens(intendToWalkIn(Agent1, Room), Time),
261
262 [ holds_at(invitedIn(Agent1, Room, Agent2), Time),
263 holds_at(like(Agent1, Agent2), Time),
264 not(holds_at(intentionToWalkIn(Agent1, Room), Time))
265 ]).
266
267
278axiom(initiates(intendToWalkIn(Agent, Room), intentionToWalkIn(Agent, Room), Time),
279 []).
280
281
299axiom(happens(walkThroughDoor21(Agent, Door), Time),
300
301 [ holds_at(intentionToWalkIn(Agent, Room), Time),
302 holds_at(actOnIntentionToWalkIn(Agent, Room), Time),
303 holds_at(at(Agent, Location), Time),
304 equals(side1(Door), Room),
305 equals(side2(Door), Location)
306 ]).
307
308
318axiom(happens(walkThroughDoor12(Agent, Door), Time),
319
320 [ holds_at(intentionToWalkIn(Agent, Room), Time),
321 holds_at(actOnIntentionToWalkIn(Agent, Room), Time),
322 holds_at(at(Agent, Location), Time),
323 equals(side2(Door), Room),
324 equals(side1(Door), Location)
325 ]).
326
327
341axiom(terminates(walkThroughDoor21(Agent, Door), intentionToWalkIn(Agent, Room), Time),
342 [equals(side1(Door), Room)]).
343
344
352axiom(terminates(walkThroughDoor12(Agent, Door), intentionToWalkIn(Agent, Room), Time),
353 [equals(side2(Door), Room)]).
354
355
356% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:124
357%; agent greets object.
358
359% event Greet(agent,object)
360 % event(greet(agent,object)).
361% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:126
362==> mpred_prop(greet(agent,object),event).
363==> meta_argtypes(greet(agent,object)).
364
365% event SayPleasedToMeet(agent,agent)
366 % event(sayPleasedToMeet(agent,agent)).
367% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:128
368==> mpred_prop(sayPleasedToMeet(agent,agent),event).
369==> meta_argtypes(sayPleasedToMeet(agent,agent)).
370
371
372% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:129
373%; agent says goodbye to object.
374
375% event SayGoodbye(agent,object)
376 % event(sayGoodbye(agent,object)).
377% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:131
378==> mpred_prop(sayGoodbye(agent,object),event).
379==> meta_argtypes(sayGoodbye(agent,object)).
380
381% event TalkAbout(agent,content)
382 % event(talkAbout(agent,content)).
383% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:133
384==> mpred_prop(talkAbout(agent,content),event).
385==> meta_argtypes(talkAbout(agent,content)).
386
387% event Converse(agent,agent)
388 % event(converse(agent,agent)).
389% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:135
390==> mpred_prop(converse(agent,agent),event).
391==> meta_argtypes(converse(agent,agent)).
392
393
401
402 406
407 414axiom(not(some(Location6, '$kolem_Fn_189'(Fn_189_Param, At_Param, Maptime))),
415
416 [ not(holds_at(at(Fn_189_Param, Location6), Maptime)),
417 happens(converse(Fn_189_Param, At_Param), Maptime)
418 ]).
419axiom(not(some(Location6, '$kolem_Fn_189'(Fn_189_Param, At_Param, Maptime))),
420
421 [ not(holds_at(at(At_Param, Location6), Maptime)),
422 happens(converse(Fn_189_Param, At_Param), Maptime)
423 ]).
424
425 432axiom(not(happens(converse(Converse_Param, At_Param12), Maptime9)),
433
434 [ not(holds_at(at(Converse_Param, Location10), Maptime9)),
435 some(Location10,
436 '$kolem_Fn_189'(Converse_Param, At_Param12, Maptime9))
437 ]).
438axiom(not(happens(converse(Converse_Param, At_Param12), Maptime9)),
439
440 [ not(holds_at(at(At_Param12, Location10), Maptime9)),
441 some(Location10,
442 '$kolem_Fn_189'(Converse_Param, At_Param12, Maptime9))
443 ]).
444
445 450axiom(holds_at(at(At_Param15, Location13), Time14),
451
452 [ happens(converse(At_Param15, Converse_Ret), Time14),
453 some(Location13,
454 '$kolem_Fn_189'(At_Param15, Converse_Ret, Time14))
455 ]).
456
457 462axiom(holds_at(at(At_Param19, Location17), Time18),
463
464 [ happens(converse(Converse_Param20, At_Param19), Time18),
465 some(Location17,
466 '$kolem_Fn_189'(Converse_Param20, At_Param19, Time18))
467 ]).
468
469
483
484 488
489 496axiom(not(some(Location6, '$kolem_Fn_190'(Fn_190_Param, At_Param, Maptime))),
497
498 [ not(holds_at(at(Fn_190_Param, Location6), Maptime)),
499 happens(greet(Fn_190_Param, At_Param), Maptime)
500 ]).
501axiom(not(some(Location6, '$kolem_Fn_190'(Fn_190_Param, At_Param, Maptime))),
502
503 [ not(holds_at(at(At_Param, Location6), Maptime)),
504 happens(greet(Fn_190_Param, At_Param), Maptime)
505 ]).
506
507 514axiom(not(happens(greet(Greet_Param, At_Param12), Maptime9)),
515
516 [ not(holds_at(at(Greet_Param, Location10), Maptime9)),
517 some(Location10,
518 '$kolem_Fn_190'(Greet_Param, At_Param12, Maptime9))
519 ]).
520axiom(not(happens(greet(Greet_Param, At_Param12), Maptime9)),
521
522 [ not(holds_at(at(At_Param12, Location10), Maptime9)),
523 some(Location10,
524 '$kolem_Fn_190'(Greet_Param, At_Param12, Maptime9))
525 ]).
526
527 532axiom(holds_at(at(At_Param15, Location13), Time14),
533
534 [ happens(greet(At_Param15, Greet_Ret), Time14),
535 some(Location13,
536 '$kolem_Fn_190'(At_Param15, Greet_Ret, Time14))
537 ]).
538
539 544axiom(holds_at(at(At_Param19, Location17), Time18),
545
546 [ happens(greet(Greet_Param20, At_Param19), Time18),
547 some(Location17,
548 '$kolem_Fn_190'(Greet_Param20, At_Param19, Time18))
549 ]).
550
551
559
560 564
565 572axiom(not(some(Location6, '$kolem_Fn_191'(Fn_191_Param, At_Param, Maptime))),
573
574 [ not(holds_at(at(Fn_191_Param, Location6), Maptime)),
575 happens(sayGoodbye(Fn_191_Param, At_Param), Maptime)
576 ]).
577axiom(not(some(Location6, '$kolem_Fn_191'(Fn_191_Param, At_Param, Maptime))),
578
579 [ not(holds_at(at(At_Param, Location6), Maptime)),
580 happens(sayGoodbye(Fn_191_Param, At_Param), Maptime)
581 ]).
582
583 591axiom(not(happens(sayGoodbye(SayGoodbye_Param, At_Param12), Maptime9)),
592
593 [ not(holds_at(at(SayGoodbye_Param, Location10), Maptime9)),
594 some(Location10,
595 '$kolem_Fn_191'(SayGoodbye_Param,
596 At_Param12,
597 Maptime9))
598 ]).
599axiom(not(happens(sayGoodbye(SayGoodbye_Param, At_Param12), Maptime9)),
600
601 [ not(holds_at(at(At_Param12, Location10), Maptime9)),
602 some(Location10,
603 '$kolem_Fn_191'(SayGoodbye_Param,
604 At_Param12,
605 Maptime9))
606 ]).
607
608 613axiom(holds_at(at(At_Param15, Location13), Time14),
614
615 [ happens(sayGoodbye(At_Param15, SayGoodbye_Ret), Time14),
616 some(Location13,
617 '$kolem_Fn_191'(At_Param15, SayGoodbye_Ret, Time14))
618 ]).
619
620 626axiom(holds_at(at(At_Param19, Location17), Time18),
627
628 [ happens(sayGoodbye(SayGoodbye_Param20, At_Param19),
629 Time18),
630 some(Location17,
631 '$kolem_Fn_191'(SayGoodbye_Param20,
632 At_Param19,
633 Time18))
634 ]).
635
636
637% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:159
638%; speech: expression of emotions
639%; agent cries for joy.
640
641% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:162
642% event CryForJoy(agent)
643 % event(cryForJoy(agent)).
644% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:163
645==> mpred_prop(cryForJoy(agent),event).
646==> meta_argtypes(cryForJoy(agent)).
647
648
658axiom(requires(cryForJoy(Agent), Time),
659 [holds_at(happy(Agent), Time)]).
660
661% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:171
662% event Threaten(agent,agent,weapon)
663 % event(threaten(agent,agent,weapon)).
664% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:172
665==> mpred_prop(threaten(agent,agent,weapon),event).
666==> meta_argtypes(threaten(agent,agent,weapon)).
667
668% event ReleaseFromThreat(agent,agent)
669 % event(releaseFromThreat(agent,agent)).
670% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:174
671==> mpred_prop(releaseFromThreat(agent,agent),event).
672==> meta_argtypes(releaseFromThreat(agent,agent)).
673
674% fluent ThreatenedBy(agent,agent)
675 % fluent(threatenedBy(agent,agent)).
676% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:176
677==> mpred_prop(threatenedBy(agent,agent),fluent).
678==> meta_argtypes(threatenedBy(agent,agent)).
679
680
689
690 695
696 706axiom(not(some(Location7, '$kolem_Fn_192'(Fn_192_Param, At_Param, Threaten_Ret, Maptime))),
707
708 [ not(holds_at(holding(Fn_192_Param, Threaten_Ret),
709 Maptime)),
710 happens(threaten(Fn_192_Param, At_Param, Threaten_Ret),
711 Maptime)
712 ]).
713axiom(not(some(Location7, '$kolem_Fn_192'(Fn_192_Param, At_Param, Threaten_Ret, Maptime))),
714
715 [ not(holds_at(at(Fn_192_Param, Location7), Maptime)),
716 happens(threaten(Fn_192_Param, At_Param, Threaten_Ret),
717 Maptime)
718 ]).
719axiom(not(some(Location7, '$kolem_Fn_192'(Fn_192_Param, At_Param, Threaten_Ret, Maptime))),
720
721 [ not(holds_at(at(At_Param, Location7), Maptime)),
722 happens(threaten(Fn_192_Param, At_Param, Threaten_Ret),
723 Maptime)
724 ]).
725
726 739axiom(not(happens(threaten(Threaten_Param, At_Param14, Threaten_Ret15), Maptime11)),
740
741 [ not(holds_at(holding(Threaten_Param, Threaten_Ret15),
742 Maptime11)),
743 some(Location12,
744 '$kolem_Fn_192'(Threaten_Param,
745 At_Param14,
746 Threaten_Ret15,
747 Maptime11))
748 ]).
749axiom(not(happens(threaten(Threaten_Param, At_Param14, Threaten_Ret15), Maptime11)),
750
751 [ not(holds_at(at(Threaten_Param, Location12), Maptime11)),
752 some(Location12,
753 '$kolem_Fn_192'(Threaten_Param,
754 At_Param14,
755 Threaten_Ret15,
756 Maptime11))
757 ]).
758axiom(not(happens(threaten(Threaten_Param, At_Param14, Threaten_Ret15), Maptime11)),
759
760 [ not(holds_at(at(At_Param14, Location12), Maptime11)),
761 some(Location12,
762 '$kolem_Fn_192'(Threaten_Param,
763 At_Param14,
764 Threaten_Ret15,
765 Maptime11))
766 ]).
767
768 777axiom(holds_at(holding(Holding_Param, Holding_Ret), Time16),
778
779 [ happens(threaten(Holding_Param, A, Holding_Ret),
780 Time16),
781 some(Some_Param,
782 '$kolem_Fn_192'(Holding_Param,
783 A,
784 Holding_Ret,
785 Time16))
786 ]).
787
788 797axiom(holds_at(at(At_Param22, Location20), Time21),
798
799 [ happens(threaten(At_Param22, A, Threaten_Ret23),
800 Time21),
801 some(Location20,
802 '$kolem_Fn_192'(At_Param22,
803 A,
804 Threaten_Ret23,
805 Time21))
806 ]).
807
808 819axiom(holds_at(at(At_Param26, Location24), Time25),
820
821 [ happens(threaten(Threaten_Param27,
822 At_Param26,
823 Threaten_Ret28),
824 Time25),
825 some(Location24,
826 '$kolem_Fn_192'(Threaten_Param27,
827 At_Param26,
828 Threaten_Ret28,
829 Time25))
830 ]).
831
832
838axiom(happens(becomeAngryAt(Agent2, Agent1), Time),
839 [happens(threaten(Agent1, Agent2, Weapon), Time)]).
840
841
848axiom(initiates(threaten(Agent1, Agent2, Weapon), threatenedBy(Agent2, Agent1), Time),
849 []).
850
851
858axiom(terminates(releaseFromThreat(Agent1, Agent2), threatenedBy(Agent2, Agent1), Time),
859 []).
860
861% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:198
862% event Order(agent,agent,physobj)
863 % event(order(agent,agent,physobj)).
864% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:199
865==> mpred_prop(order(agent,agent,physobj),event).
866==> meta_argtypes(order(agent,agent,physobj)).
867
868% fluent KnowOrder(agent,agent,physobj)
869 % fluent(knowOrder(agent,agent,physobj)).
870% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:201
871==> mpred_prop(knowOrder(agent,agent,physobj),fluent).
872==> meta_argtypes(knowOrder(agent,agent,physobj)).
873
874
881axiom(initiates(order(Agent1, Agent2, Physobj), knowOrder(Agent2, Agent1, Physobj), Time),
882 []).
883
884
892
893 898
899 907axiom(not(some(Location7, '$kolem_Fn_193'(Fn_193_Param, At_Param, Order_Ret, Maptime))),
908
909 [ not(holds_at(at(Fn_193_Param, Location7), Maptime)),
910 happens(order(Fn_193_Param, At_Param, Order_Ret),
911 Maptime)
912 ]).
913axiom(not(some(Location7, '$kolem_Fn_193'(Fn_193_Param, At_Param, Order_Ret, Maptime))),
914
915 [ not(holds_at(at(At_Param, Location7), Maptime)),
916 happens(order(Fn_193_Param, At_Param, Order_Ret),
917 Maptime)
918 ]).
919
920 930axiom(not(happens(order(Order_Param, At_Param14, Order_Ret15), Maptime11)),
931
932 [ not(holds_at(at(Order_Param, Location12), Maptime11)),
933 some(Location12,
934 '$kolem_Fn_193'(Order_Param,
935 At_Param14,
936 Order_Ret15,
937 Maptime11))
938 ]).
939axiom(not(happens(order(Order_Param, At_Param14, Order_Ret15), Maptime11)),
940
941 [ not(holds_at(at(At_Param14, Location12), Maptime11)),
942 some(Location12,
943 '$kolem_Fn_193'(Order_Param,
944 At_Param14,
945 Order_Ret15,
946 Maptime11))
947 ]).
948
949 957axiom(holds_at(at(At_Param18, Location16), Time17),
958
959 [ happens(order(At_Param18, A, Order_Ret19), Time17),
960 some(Location16,
961 '$kolem_Fn_193'(At_Param18,
962 A,
963 Order_Ret19,
964 Time17))
965 ]).
966
967 976axiom(holds_at(at(At_Param22, Location20), Time21),
977
978 [ happens(order(Order_Param23, At_Param22, Order_Ret24),
979 Time21),
980 some(Location20,
981 '$kolem_Fn_193'(Order_Param23,
982 At_Param22,
983 Order_Ret24,
984 Time21))
985 ]).
986
987% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:213
988% event Request(agent,agent,physobj)
989 % event(request(agent,agent,physobj)).
990% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:214
991==> mpred_prop(request(agent,agent,physobj),event).
992==> meta_argtypes(request(agent,agent,physobj)).
993
994% fluent KnowRequest(agent,agent,physobj)
995 % fluent(knowRequest(agent,agent,physobj)).
996% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:216
997==> mpred_prop(knowRequest(agent,agent,physobj),fluent).
998==> meta_argtypes(knowRequest(agent,agent,physobj)).
999
1000
1007axiom(initiates(request(Agent1, Agent2, Physobj), knowRequest(Agent2, Agent1, Physobj), Time),
1008 []).
1009
1010
1018
1019 1024
1025 1033axiom(not(some(Location7, '$kolem_Fn_194'(Fn_194_Param, At_Param, Request_Ret, Maptime))),
1034
1035 [ not(holds_at(at(Fn_194_Param, Location7), Maptime)),
1036 happens(request(Fn_194_Param, At_Param, Request_Ret),
1037 Maptime)
1038 ]).
1039axiom(not(some(Location7, '$kolem_Fn_194'(Fn_194_Param, At_Param, Request_Ret, Maptime))),
1040
1041 [ not(holds_at(at(At_Param, Location7), Maptime)),
1042 happens(request(Fn_194_Param, At_Param, Request_Ret),
1043 Maptime)
1044 ]).
1045
1046 1056axiom(not(happens(request(Request_Param, At_Param14, Request_Ret15), Maptime11)),
1057
1058 [ not(holds_at(at(Request_Param, Location12), Maptime11)),
1059 some(Location12,
1060 '$kolem_Fn_194'(Request_Param,
1061 At_Param14,
1062 Request_Ret15,
1063 Maptime11))
1064 ]).
1065axiom(not(happens(request(Request_Param, At_Param14, Request_Ret15), Maptime11)),
1066
1067 [ not(holds_at(at(At_Param14, Location12), Maptime11)),
1068 some(Location12,
1069 '$kolem_Fn_194'(Request_Param,
1070 At_Param14,
1071 Request_Ret15,
1072 Maptime11))
1073 ]).
1074
1075 1084axiom(holds_at(at(At_Param18, Location16), Time17),
1085
1086 [ happens(request(At_Param18, A, Request_Ret19),
1087 Time17),
1088 some(Location16,
1089 '$kolem_Fn_194'(At_Param18,
1090 A,
1091 Request_Ret19,
1092 Time17))
1093 ]).
1094
1095 1106axiom(holds_at(at(At_Param22, Location20), Time21),
1107
1108 [ happens(request(Request_Param23,
1109 At_Param22,
1110 Request_Ret24),
1111 Time21),
1112 some(Location20,
1113 '$kolem_Fn_194'(Request_Param23,
1114 At_Param22,
1115 Request_Ret24,
1116 Time21))
1117 ]).
1118
1119