1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'ecnet/Arson.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%; DEV-MUC3-0060 15%; Arson 16%; 17%; @article{Mueller:2004c, 18%; author = "Erik T. Mueller", 19%; year = "2004", 20%; title = "Understanding script-based stories using commonsense reasoning", 21%; journal = "Cognitive Systems Research", 22%; volume = "5", 23%; number = "4", 24%; pages = "307--340", 25%; } 26%; 27 28% ignore SkyOf, GroundOf, Near, Inside, WalkFromTo, RunFromTo 29ignore(skyOf). 30ignore(groundOf). 31ignore(near). 32ignore(inside). 33ignore(walkFromTo). 34ignore(runFromTo). 35 36% ignore RollAlong, Diameter, Move, HoldSome, PutInside 37ignore(rollAlong). 38ignore(diameter). 39ignore(move). 40ignore(holdSome). 41ignore(putInside). 42 43% ignore TakeOutOf, On, DoorUnlock, DoorLock, WalkThroughDoor12 44ignore(takeOutOf). 45ignore(on). 46ignore(doorUnlock). 47ignore(doorLock). 48ignore(walkThroughDoor12). 49 50% ignore WalkThroughDoor21, WalkDownStaircase, WalkUpStaircase 51ignore(walkThroughDoor21). 52ignore(walkDownStaircase). 53ignore(walkUpStaircase). 54 55% ignore ThreatenedBy 56ignore(threatenedBy). 57 58% load foundations/Root.e 59 60% load foundations/EC.e 61 62% load answers/Mueller2003/Ontology.e 63 64% load answers/Mueller2004c/OTSpaceM.e 65load('answers/Mueller2004c/OTSpaceM.e'). 66 67% load answers/Mueller2004c/RTSpaceM.e 68load('answers/Mueller2004c/RTSpaceM.e'). 69 70% load answers/Mueller2004c/Fire.e 71 72% load answers/Mueller2004c/Condition.e 73 74% load answers/Mueller2003/Sleep.e 75 76% fire Fire1 77==> t(fire,fire1). 78 79 80% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:41 81% HoldsAt(At(Fire1,Outside1),0). 82axiom(initially(at(fire1, outside1)), 83 []). 84 85% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:43 86% agent Perp1 87% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:44 88==> t(agent,perp1). 89 90% physobj PhysTarget1 91% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:46 92==> t(physobj,physTarget1). 93 94 95% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:46 96% HoldsAt(Intact(PhysTarget1),0). 97axiom(initially(intact(physTarget1)), 98 []). 99 100 101% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:47 102% HoldsAt(At(PhysTarget1,Outside1),0). 103axiom(initially(at(physTarget1, outside1)), 104 []). 105 106 107% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:49 108%; room-scale topological space 109 110% outside Outside1 111% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:51 112==> t(outside,outside1). 113 114% outside Outside2 115% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:52 116==> t(outside,outside2). 117 118% room Inside1 119% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:53 120==> t(room,inside1). 121 122% door Door1 123% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:54 124==> t(door,door1). 125 126% building Building1 127% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:55 128==> t(building,building1). 129 130% street Street1 131% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:56 132==> t(street,street1). 133 134 135% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:56 136% Side1(Door1)=Outside1. 137side1(door1,outside1). 138 139 140% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:57 141% Side2(Door1)=Inside1. 142side2(door1,inside1). 143 144 145% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:58 146% LookOutOnto(Inside1)=Outside1. 147lookOutOnto(inside1,outside1). 148 149 150% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:59 151% Floor(Inside1)=1. 152floor(inside1,1). 153 154 155% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:60 156% BuildingOf(Inside1)=Building1. 157buildingOf(inside1,building1). 158 159 160% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:61 161% Side1(Street1)=Outside1. 162side1(street1,outside1). 163 164 165% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:62 166% Side2(Street1)=Outside2. 167side2(street1,outside2). 168 169 170% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:64 171% HoldsAt(Alive(Perp1),0). 172axiom(initially(alive(perp1)), 173 []). 174 175 176% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:65 177% HoldsAt(Awake(Perp1),0). 178axiom(initially(awake(perp1)), 179 []). 180 181 182% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:66 183% HoldsAt(Standing(Perp1),0). 184axiom(initially(standing(perp1)), 185 []). 186 187 188% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:67 189% HoldsAt(Sleep2(Perp1),0). 190axiom(initially(sleep2(perp1)), 191 []). 192 193 194% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:68 195% !HoldsAt(Injured(Perp1),0). 196 % not(initially(injured(perp1))). 197axiom(not(initially(injured(perp1))), 198 []). 199 200 201% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:69 202% [object] 203 % !HoldsAt(Holding(Perp1,object),0). 204 % not(initially(holding(perp1,Object))). 205axiom(not(initially(holding(perp1, Holding_Ret))), 206 []). 207 208 209% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:70 210% HoldsAt(At(Perp1,Outside2),0). 211axiom(initially(at(perp1, outside2)), 212 []). 213 214 215% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:71 216% !HoldsAt(DoorIsOpen(Door1),0). 217 % not(initially(doorIsOpen(door1))). 218axiom(not(initially(doorIsOpen(door1))), 219 []). 220 221 222% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:72 223% HoldsAt(DoorUnlocked(Door1),0). 224axiom(initially(doorUnlocked(door1)), 225 []). 226 227 228% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:73 229% [physobj,fire,offset] 230 % !HoldsAt(Burning(physobj,fire,offset),0). 231 % not(initially(burning(Physobj,Fire,Offset))). 232axiom(not(initially(burning(Burning_Param, _, Burning_Ret))), 233 []). 234 235 236% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:75 237%; narrative 238 239 240% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:76 241% Happens(WalkStreet21(Perp1,Street1),0). 242axiom(happens(walkStreet21(perp1, street1), t), 243 [is_time(0)]). 244 245 246% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:77 247% Happens(SetFireTo(Perp1,PhysTarget1,Fire1,3),1). 248axiom(happens(setFireTo(perp1, physTarget1, fire1, 3), start), 249 [is_time(1), b(t, start), ignore(t+1=start)]). 250 251 252% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:78 253% Happens(WalkStreet12(Perp1,Street1),2). 254axiom(happens(walkStreet12(perp1, street1), t2), 255 [is_time(2), b(t, t2), ignore(t+2=t2)]). 256 257% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:80 258% range time 0 6 259% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:81 260==> range(time,0,6). 261 262% range offset 0 3 263% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:82 264==> range(offset,0,3). 265 266% range diameter 0 0 267% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:83 268==> range(diameter,0,0). 269 270% completion Happens 271% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:85 272==> completion(happens). 273%; End of file.