1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'examples/AkmanEtAl2004/ZooTest4.1.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{Akman:2004, 15%; author = "Varol Akman and Selim T. Erdogan and Joohyung Lee and Vladimir Lifschitz and Hudson Turner", 16%; year = "2004", 17%; title = "Representing the zoo world and the traffic world in the language of the causal calculator", 18%; journal = "Artificial Intelligence", 19%; volume = "153", 20%; pages = "105--140", 21%; } 22%; 23 24% option encoding 3 25:- set_ec_option(encoding, 3). 26 27% load foundations/Root.e 28 29% load foundations/EC.e 30 31% load examples/AkmanEtAl2004/ZooWorld.e 32 33% human Homer 34==> t(human,homer). 35 36% elephant Jumbo 37==> t(elephant,jumbo). 38 39 40% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest4.1.e:29 41% Species(Homer)=HumanSpecies. 42species(homer,humanSpecies). 43 44 45% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest4.1.e:30 46% Adult(Homer). 47adult(homer). 48 49 50% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest4.1.e:31 51% Species(Jumbo)=ElephantSpecies. 52species(jumbo,elephantSpecies). 53 54 55% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest4.1.e:32 56% Adult(Jumbo). 57adult(jumbo). 58 59 60% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest4.1.e:34 61% !HoldsAt(Opened(GateAO),0). 62 % not(initially(opened(gateAO))). 63axiom(not(initially(opened(gateAO))), 64 []). 65% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest4.1.e:35 66% {position} 67 68 69% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest4.1.e:35 70% HoldsAt(Pos(Homer,position),0) & Outside=Loc(position). 71 72 /* exists([Position], 73 (holds_at(pos(homer, Position), 0), outside=loc(Position))). 74 */ 75 76 /* not(some(Some_Param, '$kolem_Fn_65')) :- 77 ( not(holds_at(pos(homer, Some_Param), 0)) 78 ; not(equals(outside, loc(Some_Param))) 79 ). 80 */ 81axiom(not(some(Some_Param, '$kolem_Fn_65')), 82 [not(holds_at(pos(homer, Some_Param), t))]). 83axiom(not(some(Some_Param, '$kolem_Fn_65')), 84 [not(equals(outside, loc(Some_Param)))]). 85 86 /* holds_at(pos(homer, Some_Param3), 0) :- 87 some(Some_Param3, '$kolem_Fn_65'). 88 */ 89axiom(holds_at(pos(homer, Some_Param3), t), 90 [some(Some_Param3, '$kolem_Fn_65')]). 91 92 /* equals(outside, loc(Some_Param4)) :- 93 some(Some_Param4, '$kolem_Fn_65'). 94 */ 95axiom(equals(outside, loc(Some_Param4)), 96 [some(Some_Param4, '$kolem_Fn_65')]). 97% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest4.1.e:36 98% {position} 99 100 101% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest4.1.e:36 102% HoldsAt(Pos(Jumbo,position),0) & CageA=Loc(position). 103 104 /* exists([Position], 105 (holds_at(pos(jumbo, Position), 0), cageA=loc(Position))). 106 */ 107 108 /* not(some(Some_Param, '$kolem_Fn_66')) :- 109 ( not(holds_at(pos(jumbo, Some_Param), 0)) 110 ; not(equals(cageA, loc(Some_Param))) 111 ). 112 */ 113axiom(not(some(Some_Param, '$kolem_Fn_66')), 114 [not(holds_at(pos(jumbo, Some_Param), t))]). 115axiom(not(some(Some_Param, '$kolem_Fn_66')), 116 [not(equals(cageA, loc(Some_Param)))]). 117 118 /* holds_at(pos(jumbo, Some_Param3), 0) :- 119 some(Some_Param3, '$kolem_Fn_66'). 120 */ 121axiom(holds_at(pos(jumbo, Some_Param3), t), 122 [some(Some_Param3, '$kolem_Fn_66')]). 123 124 /* equals(cageA, loc(Some_Param4)) :- 125 some(Some_Param4, '$kolem_Fn_66'). 126 */ 127axiom(equals(cageA, loc(Some_Param4)), 128 [some(Some_Param4, '$kolem_Fn_66')]). 129% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest4.1.e:38 130% {position} 131 132 133% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest4.1.e:38 134% HoldsAt(Pos(Homer,position),4) & CageA=Loc(position). 135 136 /* exists([Position], 137 (holds_at(pos(homer, Position), 4), cageA=loc(Position))). 138 */ 139 140 /* not(some(Some_Param, '$kolem_Fn_67')) :- 141 ( not(holds_at(pos(homer, Some_Param), 4)) 142 ; not(equals(cageA, loc(Some_Param))) 143 ). 144 */ 145axiom(not(some(Some_Param, '$kolem_Fn_67')), 146 [not(holds_at(pos(homer, Some_Param), t4)), b(t, t4), ignore(t+4=t4)]). 147axiom(not(some(Some_Param, '$kolem_Fn_67')), 148 [not(equals(cageA, loc(Some_Param)))]). 149 150 /* holds_at(pos(homer, Some_Param3), 4) :- 151 some(Some_Param3, '$kolem_Fn_67'). 152 */ 153axiom(holds_at(pos(homer, Some_Param3), t4), 154 [some(Some_Param3, '$kolem_Fn_67'), b(t, t4), ignore(t+4=t4)]). 155 156 /* equals(cageA, loc(Some_Param4)) :- 157 some(Some_Param4, '$kolem_Fn_67'). 158 */ 159axiom(equals(cageA, loc(Some_Param4)), 160 [some(Some_Param4, '$kolem_Fn_67')]). 161% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest4.1.e:39 162% {position} 163 164 165% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest4.1.e:39 166% HoldsAt(Pos(Jumbo,position),4) & Outside=Loc(position). 167 168 /* exists([Position], 169 (holds_at(pos(jumbo, Position), 4), outside=loc(Position))). 170 */ 171 172 /* not(some(Some_Param, '$kolem_Fn_68')) :- 173 ( not(holds_at(pos(jumbo, Some_Param), 4)) 174 ; not(equals(outside, loc(Some_Param))) 175 ). 176 */ 177axiom(not(some(Some_Param, '$kolem_Fn_68')), 178 [not(holds_at(pos(jumbo, Some_Param), t4)), b(t, t4), ignore(t+4=t4)]). 179axiom(not(some(Some_Param, '$kolem_Fn_68')), 180 [not(equals(outside, loc(Some_Param)))]). 181 182 /* holds_at(pos(jumbo, Some_Param3), 4) :- 183 some(Some_Param3, '$kolem_Fn_68'). 184 */ 185axiom(holds_at(pos(jumbo, Some_Param3), t4), 186 [some(Some_Param3, '$kolem_Fn_68'), b(t, t4), ignore(t+4=t4)]). 187 188 /* equals(outside, loc(Some_Param4)) :- 189 some(Some_Param4, '$kolem_Fn_68'). 190 */ 191axiom(equals(outside, loc(Some_Param4)), 192 [some(Some_Param4, '$kolem_Fn_68')]). 193 194 195% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest4.1.e:41 196% [human] 197 % HoldsAt(PosDeterminingFluent(human,1),4). 198holds_at(posDeterminingFluent(Human,1),4). 199 200 201% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest4.1.e:42 202% [event,animal] 203 % !HoldsAt(DoneBy(event,animal),4). 204 % not(holds_at(doneBy(Event,Animal),4)). 205axiom(not(holds_at(doneBy(DoneBy_Param, DoneBy_Ret), t4)), 206 [b(t, t4), ignore(t+4=t4)]). 207 208 209% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest4.1.e:44 210%; ccalc.2.0b.8.3 single model 211%;HoldsAt(Pos(Homer,7),0). 212%;HoldsAt(Pos(Jumbo,2),0). 213%;Happens(Move(Jumbo,4),0). 214%;Happens(Open(Homer,GateAO),0). 215%;Happens(Mount(Homer,Jumbo),1). 216%;Happens(ThrowOff(Jumbo,Homer),2). 217%;HoldsAt(PosDeterminingFluent(Homer,1),2). 218%;Happens(Move(Jumbo,7),3). 219%;Happens(Mount(Homer,Jumbo),3). 220 221% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest4.1.e:55 222% range time 0 4 223% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest4.1.e:56 224==> range(time,0,4). 225 226% range position 1 8 227% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest4.1.e:57 228==> range(position,1,8). 229 230% range offset 0 0 231% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest4.1.e:58 232==> range(offset,0,0). 233%; End of file.