1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'ecnet/TakingAWalk.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{Mueller:2004c, 15%; author = "Erik T. Mueller", 16%; year = "2004", 17%; title = "Understanding script-based stories using commonsense reasoning", 18%; journal = "Cognitive Systems Research", 19%; volume = "5", 20%; number = "4", 21%; pages = "307--340", 22%; } 23%; 24 25% option modeldiff on 26:- set_ec_option(modeldiff, on). 27 28% option renaming off 29:- set_ec_option(renaming, off). 30 31% ignore Love, ThreatenedBy 32ignore(love). 33ignore(threatenedBy). 34 35% ignore LookOutOnto, Floor, BuildingOf, SkyOf, GroundOf 36ignore(lookOutOnto). 37ignore(floor). 38ignore(buildingOf). 39ignore(skyOf). 40ignore(groundOf). 41 42% ignore Inside, PutInside, On, PlaceOn 43ignore(inside). 44ignore(putInside). 45ignore(on). 46ignore(placeOn). 47 48% ignore Like, Happy, BecomeAngryAt 49ignore(like). 50ignore(happy). 51ignore(becomeAngryAt). 52 53% ignore Near, WalkFrom, WalkFromTo, RunFromTo 54ignore(near). 55ignore(walkFrom). 56ignore(walkFromTo). 57ignore(runFromTo). 58 59% ignore ActOnIntentionToWalkIn, IntentionToWalkIn, InvitedIn, InviteIn 60ignore(actOnIntentionToWalkIn). 61ignore(intentionToWalkIn). 62ignore(invitedIn). 63ignore(inviteIn). 64 65% ignore TakeOffOf, TakeOutOf, LetGoOf 66ignore(takeOffOf). 67ignore(takeOutOf). 68ignore(letGoOf). 69 70% ignore Greet, SayGoodbye, Order, KnowOrder 71ignore(greet). 72ignore(sayGoodbye). 73ignore(order). 74ignore(knowOrder). 75 76% ignore LieOn, SitOn, RiseFrom, LyingOn, SittingOn 77ignore(lieOn). 78ignore(sitOn). 79ignore(riseFrom). 80ignore(lyingOn). 81ignore(sittingOn). 82 83% load foundations/Root.e 84 85% load foundations/EC.e 86 87% load answers/Mueller2003/Ontology.e 88 89% load answers/Mueller2004c/OTSpaceM.e 90load('answers/Mueller2004c/OTSpaceM.e'). 91 92% load answers/Mueller2004c/RTSpaceM.e 93load('answers/Mueller2004c/RTSpaceM.e'). 94 95% load answers/Mueller2003/Sleep.e 96 97% load answers/Mueller2004c/Dress.e 98 99% load answers/Mueller2004c/Rain.e 100 101% room Origin1 102==> t(room,origin1). 103 104% door OriginDoor1 105==> t(door,originDoor1). 106 107% outside OriginOutside1 108==> t(outside,originOutside1). 109 110% street StreetFromOriginToMiddle1 111==> t(street,streetFromOriginToMiddle1). 112 113% outside Middle1 114==> t(outside,middle1). 115 116% street StreetFromMiddleToDestination1 117==> t(street,streetFromMiddleToDestination1). 118 119% outside DestinationOutside1 120==> t(outside,destinationOutside1). 121 122% door DestinationDoor1 123==> t(door,destinationDoor1). 124 125% room Destination1 126==> t(room,destination1). 127 128 129% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:61 130% Side1(OriginDoor1)=OriginOutside1. 131side1(originDoor1,originOutside1). 132 133 134% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:62 135% Side2(OriginDoor1)=Origin1. 136side2(originDoor1,origin1). 137 138 139% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:64 140% Side1(StreetFromOriginToMiddle1)=OriginOutside1. 141side1(streetFromOriginToMiddle1,originOutside1). 142 143 144% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:65 145% Side2(StreetFromOriginToMiddle1)=Middle1. 146side2(streetFromOriginToMiddle1,middle1). 147 148 149% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:67 150% Side1(StreetFromMiddleToDestination1)=Middle1. 151side1(streetFromMiddleToDestination1,middle1). 152 153 154% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:68 155% Side2(StreetFromMiddleToDestination1)=DestinationOutside1. 156side2(streetFromMiddleToDestination1,destinationOutside1). 157 158 159% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:70 160% Side1(DestinationDoor1)=DestinationOutside1. 161side1(destinationDoor1,destinationOutside1). 162 163 164% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:71 165% Side2(DestinationDoor1)=Destination1. 166side2(destinationDoor1,destination1). 167 168% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:73 169% agent Walker1 170% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:74 171==> t(agent,walker1). 172 173% clothing Clothes1 174% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:76 175==> t(clothing,clothes1). 176 177% umbrella Umbrella1 178% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:78 179==> t(umbrella,umbrella1). 180%; initial state 181% [agent,object] 182 % !HoldsAt(Holding(agent,object),0). 183 % not(initially(holding(Agent,Object))). 184% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:80 185axiom(not(initially(holding(Holding_Param, Holding_Ret))), 186 []). 187 188 189% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:81 190% [agent] 191 % HoldsAt(Dressed(agent),0). 192axiom(initially(dressed(Agent)), 193 []). 194 195 196% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:82 197% [agent] 198 % HoldsAt(Awake(agent),0). 199axiom(initially(awake(Agent)), 200 []). 201 202 203% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:83 204% [agent] 205 % HoldsAt(Sleep3(agent),0). 206axiom(initially(sleep3(Agent)), 207 []). 208 209 210% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:84 211% [agent] 212 % HoldsAt(Standing(agent),0). 213axiom(initially(standing(Agent)), 214 []). 215 216 217% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:85 218% HoldsAt(DoorUnlocked(OriginDoor1),0). 219axiom(initially(doorUnlocked(originDoor1)), 220 []). 221 222 223% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:86 224% !HoldsAt(DoorIsOpen(OriginDoor1),0). 225 % not(initially(doorIsOpen(originDoor1))). 226axiom(not(initially(doorIsOpen(originDoor1))), 227 []). 228 229 230% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:87 231% HoldsAt(DoorUnlocked(DestinationDoor1),0). 232axiom(initially(doorUnlocked(destinationDoor1)), 233 []). 234 235 236% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:88 237% !HoldsAt(DoorIsOpen(DestinationDoor1),0). 238 % not(initially(doorIsOpen(destinationDoor1))). 239axiom(not(initially(doorIsOpen(destinationDoor1))), 240 []). 241 242 243% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:89 244% HoldsAt(At(Walker1,Origin1),0). 245axiom(initially(at(walker1, origin1)), 246 []). 247 248 249% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:90 250% HoldsAt(At(Clothes1,Origin1),0). 251axiom(initially(at(clothes1, origin1)), 252 []). 253 254 255% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:91 256% HoldsAt(At(Umbrella1,Origin1),0). 257axiom(initially(at(umbrella1, origin1)), 258 []). 259 260 261% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:92 262% [outside,time] 263 % HoldsAt(Raining(outside),time). 264holds_at(raining(Outside),Time). 265 266 267% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:93 268% [object] 269 % !HoldsAt(Wet(object),0). 270 % not(initially(wet(Object))). 271axiom(not(initially(wet(Wet_Ret))), 272 []). 273 274 275% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:95 276%; narrative 277 278 279% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:96 280% Happens(PutOn(Walker1,Clothes1),0). 281axiom(happens(putOn(walker1, clothes1), t), 282 [is_time(0)]). 283 284 285% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:97 286% Happens(PickUp(Walker1,Umbrella1),1). 287axiom(happens(pickUp(walker1, umbrella1), start), 288 [is_time(1), b(t, start), ignore(t+1=start)]). 289 290 291% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:98 292% Happens(DoorOpen(Walker1,OriginDoor1),2). 293axiom(happens(doorOpen(walker1, originDoor1), t2), 294 [is_time(2), b(t, t2), ignore(t+2=t2)]). 295 296 297% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:99 298% Happens(WalkThroughDoor21(Walker1,OriginDoor1),3). 299axiom(happens(walkThroughDoor21(walker1, originDoor1), t3), 300 [is_time(3), b(t, t3), ignore(t+3=t3)]). 301 302 303% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:100 304% Happens(DoorClose(Walker1,OriginDoor1),4). 305axiom(happens(doorClose(walker1, originDoor1), t4), 306 [is_time(4), b(t, t4), ignore(t+4=t4)]). 307 308 309% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:101 310% Happens(WalkStreet12(Walker1,StreetFromOriginToMiddle1),5). 311axiom(happens(walkStreet12(walker1, streetFromOriginToMiddle1), t5), 312 [is_time(5), b(t, t5), ignore(t+5=t5)]). 313 314 315% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:102 316% Happens(WalkStreet12(Walker1,StreetFromMiddleToDestination1),6). 317axiom(happens(walkStreet12(walker1, streetFromMiddleToDestination1), t6), 318 [is_time(6), b(t, t6), ignore(t+6=t6)]). 319 320 321% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:103 322% Happens(DoorOpen(Walker1,DestinationDoor1),7). 323axiom(happens(doorOpen(walker1, destinationDoor1), t7), 324 [is_time(7), b(t, t7), ignore(t+7=t7)]). 325 326 327% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:104 328% Happens(WalkThroughDoor12(Walker1,DestinationDoor1),8). 329axiom(happens(walkThroughDoor12(walker1, destinationDoor1), t8), 330 [is_time(8), b(t, t8), ignore(t+8=t8)]). 331 332 333% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:105 334% Happens(DoorClose(Walker1,DestinationDoor1),9). 335axiom(happens(doorClose(walker1, destinationDoor1), t9), 336 [is_time(9), b(t, t9), ignore(t+9=t9)]). 337 338 339% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:106 340% Happens(TakeOff(Walker1,Clothes1),10). 341axiom(happens(takeOff(walker1, clothes1), t10), 342 [is_time(10), b(t, t10), ignore(t+10=t10)]). 343 344% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:108 345% range time 0 11 346% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:109 347==> range(time,0,11). 348 349% range offset 0 0 350% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:110 351==> range(offset,0,0). 352 353% range diameter 0 0 354% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:111 355==> range(diameter,0,0). 356 357% completion Happens 358% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:113 359==> completion(happens). 360%; End of file.