1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'ecnet/Sleeping.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% ignore Love, ThreatenedBy 29ignore(love). 30ignore(threatenedBy). 31 32% ignore LookOutOnto, Floor, BuildingOf, SkyOf, GroundOf 33ignore(lookOutOnto). 34ignore(floor). 35ignore(buildingOf). 36ignore(skyOf). 37ignore(groundOf). 38 39% ignore Inside, Near 40ignore(inside). 41ignore(near). 42 43% ignore See 44ignore(see). 45 46% ignore ActOnSleep5 47ignore(actOnSleep5). 48 49% option renaming off 50:- set_ec_option(renaming, off). 51 52% load foundations/Root.e 53 54% load foundations/EC.e 55 56% load answers/Mueller2003/Ontology.e 57 58% load answers/Mueller2004c/RTSpaceM.e 59load('answers/Mueller2004c/RTSpaceM.e'). 60 61% load answers/Mueller2004c/OTSpaceM.e 62load('answers/Mueller2004c/OTSpaceM.e'). 63 64% load answers/Mueller2004c/Cognition.e 65 66% load answers/Mueller2003/Sleep.e 67 68% door Door1 69==> t(door,door1). 70 71% room Room0 72==> t(room,room0). 73 74% room Room1 75==> t(room,room1). 76 77 78% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:46 79% Side1(Door1)=Room0. 80side1(door1,room0). 81 82 83% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:47 84% Side2(Door1)=Room1. 85side2(door1,room1). 86 87% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:49 88% agent Sleeper1 89% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:50 90==> t(agent,sleeper1). 91 92% bed Bed1 93% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:52 94==> t(bed,bed1). 95 96% outside Outside1 97% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:54 98==> t(outside,outside1). 99%; initial state 100% [agent,object] 101 % !HoldsAt(Holding(agent,object),0). 102 % not(initially(holding(Agent,Object))). 103% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:56 104axiom(not(initially(holding(Holding_Param, Holding_Ret))), 105 []). 106 107 108% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:57 109% [agent,physobj] 110 % !HoldsAt(SittingOn(agent,physobj),0). 111 % not(initially(sittingOn(Agent,Physobj))). 112axiom(not(initially(sittingOn(SittingOn_Param, SittingOn_Ret))), 113 []). 114 115 116% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:58 117% [agent,physobj] 118 % !HoldsAt(LyingOn(agent,physobj),0). 119 % not(initially(lyingOn(Agent,Physobj))). 120axiom(not(initially(lyingOn(LyingOn_Param, LyingOn_Ret))), 121 []). 122 123 124% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:59 125% HoldsAt(Dressed(Sleeper1),0). 126axiom(initially(dressed(sleeper1)), 127 []). 128 129 130% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:60 131% HoldsAt(Awake(Sleeper1),0). 132axiom(initially(awake(sleeper1)), 133 []). 134 135 136% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:61 137% HoldsAt(Sleep3(Sleeper1),0). 138axiom(initially(sleep3(sleeper1)), 139 []). 140 141 142% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:62 143% HoldsAt(Standing(Sleeper1),0). 144axiom(initially(standing(sleeper1)), 145 []). 146 147 148% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:63 149% HoldsAt(DoorUnlocked(Door1),0). 150axiom(initially(doorUnlocked(door1)), 151 []). 152 153 154% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:64 155% HoldsAt(DoorIsOpen(Door1),0). 156axiom(initially(doorIsOpen(door1)), 157 []). 158 159 160% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:65 161% HoldsAt(At(Sleeper1,Room0),0). 162axiom(initially(at(sleeper1, room0)), 163 []). 164 165 166% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:66 167% HoldsAt(At(Bed1,Room1),0). 168axiom(initially(at(bed1, room1)), 169 []). 170 171 172% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:68 173%; narrative 174 175 176% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:69 177% Happens(GetTired(Sleeper1),0). 178axiom(happens(getTired(sleeper1), t), 179 [is_time(0)]). 180 181 182% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:70 183% Happens(WalkThroughDoor12(Sleeper1,Door1),1). 184axiom(happens(walkThroughDoor12(sleeper1, door1), start), 185 [is_time(1), b(t, start), ignore(t+1=start)]). 186 187 188% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:71 189% Happens(GetUndressed(Sleeper1),2). 190axiom(happens(getUndressed(sleeper1), t2), 191 [is_time(2), b(t, t2), ignore(t+2=t2)]). 192 193 194% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:72 195% Happens(LieOn(Sleeper1,Bed1),3). 196axiom(happens(lieOn(sleeper1, bed1), t3), 197 [is_time(3), b(t, t3), ignore(t+3=t3)]). 198 199 200% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:73 201% Happens(FallAsleep(Sleeper1),4). 202axiom(happens(fallAsleep(sleeper1), t4), 203 [is_time(4), b(t, t4), ignore(t+4=t4)]). 204 205 206% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:74 207% Happens(Dream(Sleeper1),5). 208axiom(happens(dream(sleeper1), t5), 209 [is_time(5), b(t, t5), ignore(t+5=t5)]). 210 211 212% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:75 213% Happens(WakeUp(Sleeper1),6). 214axiom(happens(wakeUp(sleeper1), t6), 215 [is_time(6), b(t, t6), ignore(t+6=t6)]). 216 217 218% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:76 219% Happens(RiseFrom(Sleeper1,Bed1),7). 220axiom(happens(riseFrom(sleeper1, bed1), t7), 221 [is_time(7), b(t, t7), ignore(t+7=t7)]). 222 223 224% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:77 225% Happens(GetDressed(Sleeper1),8). 226axiom(happens(getDressed(sleeper1), t8), 227 [is_time(8), b(t, t8), ignore(t+8=t8)]). 228 229 230% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:78 231% Happens(WalkThroughDoor21(Sleeper1,Door1),9). 232axiom(happens(walkThroughDoor21(sleeper1, door1), t9), 233 [is_time(9), b(t, t9), ignore(t+9=t9)]). 234 235% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:80 236% range time 0 10 237% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:81 238==> range(time,0,10). 239 240% range offset 0 0 241% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:82 242==> range(offset,0,0). 243 244% range diameter 0 0 245% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:83 246==> range(diameter,0,0). 247 248% completion Happens 249% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:85 250==> completion(happens). 251%; End of file.