1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'ecnet/WritingABook.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 40ignore(inside). 41 42% ignore Near, WalkFrom, WalkFromTo, RunFromTo 43ignore(near). 44ignore(walkFrom). 45ignore(walkFromTo). 46ignore(runFromTo). 47 48% ignore See 49ignore(see). 50 51% option renaming off 52:- set_ec_option(renaming, off). 53 54% load foundations/Root.e 55 56% load foundations/EC.e 57 58% load answers/Mueller2003/Ontology.e 59 60% load answers/Mueller2004c/RTSpaceM.e 61load('answers/Mueller2004c/RTSpaceM.e'). 62 63% load answers/Mueller2004c/OTSpaceM.e 64load('answers/Mueller2004c/OTSpaceM.e'). 65 66% load answers/Mueller2004c/HandTo.e 67 68% load answers/Mueller2003/Sleep.e 69 70% load answers/Mueller2004c/Cognition.e 71 72% door Door1 73==> t(door,door1). 74 75% room Room0 76==> t(room,room0). 77 78% room Room1 79==> t(room,room1). 80 81 82% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:46 83% Side1(Door1)=Room0. 84side1(door1,room0). 85 86 87% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:47 88% Side2(Door1)=Room1. 89side2(door1,room1). 90 91% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:49 92% agent Writer1 93% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:50 94==> t(agent,writer1). 95 96% paper Paper1 97% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:52 98==> t(paper,paper1). 99 100% pen Pen1 101% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:54 102==> t(pen,pen1). 103 104% chair Chair1 105% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:56 106==> t(chair,chair1). 107 108% physobj Desk1 109% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:58 110==> t(physobj,desk1). 111%; initial state 112% [agent,object] 113 % !HoldsAt(Holding(agent,object),0). 114 % not(initially(holding(Agent,Object))). 115% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:60 116axiom(not(initially(holding(Holding_Param, Holding_Ret))), 117 []). 118 119 120% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:61 121% [agent,physobj] 122 % !HoldsAt(SittingOn(agent,physobj),0). 123 % not(initially(sittingOn(Agent,Physobj))). 124axiom(not(initially(sittingOn(SittingOn_Param, SittingOn_Ret))), 125 []). 126 127 128% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:62 129% [agent,physobj] 130 % !HoldsAt(LyingOn(agent,physobj),0). 131 % not(initially(lyingOn(Agent,Physobj))). 132axiom(not(initially(lyingOn(LyingOn_Param, LyingOn_Ret))), 133 []). 134 135 136% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:63 137% [physobj1,physobj2] 138% !(physobj1=Pen1 & physobj2=Desk1) & 139% !(physobj1=Paper1 & physobj2=Desk1) -> 140% !HoldsAt(On(physobj1, physobj2),0). 141% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:66 142axiom(not(holds_at(on(Physobj1, Physobj2), t)), 143 [not(equals(Physobj1, paper1)), not(equals(Physobj1, pen1))]). 144axiom(not(holds_at(on(Physobj1, Physobj2), t)), 145 [not(equals(Physobj2, desk1)), not(equals(Physobj1, pen1))]). 146axiom(not(holds_at(on(Physobj1, Physobj2), t)), 147 [not(equals(Physobj1, paper1)), not(equals(Physobj2, desk1))]). 148axiom(not(holds_at(on(Physobj1, Physobj2), t)), 149 [not(equals(Physobj2, desk1)), not(equals(Physobj2, desk1))]). 150 151 152% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:67 153% HoldsAt(On(Paper1,Desk1),0). 154axiom(initially(on(paper1, desk1)), 155 []). 156 157 158% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:68 159% HoldsAt(On(Pen1,Desk1),0). 160axiom(initially(on(pen1, desk1)), 161 []). 162 163 164% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:69 165% HoldsAt(Dressed(Writer1),0). 166axiom(initially(dressed(writer1)), 167 []). 168 169 170% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:70 171% HoldsAt(Awake(Writer1),0). 172axiom(initially(awake(writer1)), 173 []). 174 175 176% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:71 177% HoldsAt(Sleep3(Writer1),0). 178axiom(initially(sleep3(writer1)), 179 []). 180 181 182% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:72 183% HoldsAt(Standing(Writer1),0). 184axiom(initially(standing(writer1)), 185 []). 186 187 188% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:73 189% HoldsAt(DoorUnlocked(Door1),0). 190axiom(initially(doorUnlocked(door1)), 191 []). 192 193 194% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:74 195% HoldsAt(DoorIsOpen(Door1),0). 196axiom(initially(doorIsOpen(door1)), 197 []). 198 199 200% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:75 201% HoldsAt(At(Writer1,Room0),0). 202axiom(initially(at(writer1, room0)), 203 []). 204 205 206% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:76 207% HoldsAt(At(Chair1,Room1),0). 208axiom(initially(at(chair1, room1)), 209 []). 210 211 212% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:77 213% HoldsAt(At(Desk1,Room1),0). 214axiom(initially(at(desk1, room1)), 215 []). 216 217 218% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:79 219%; narrative 220 221 222% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:80 223% Happens(WalkThroughDoor12(Writer1,Door1),0). 224axiom(happens(walkThroughDoor12(writer1, door1), t), 225 [is_time(0)]). 226 227 228% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:81 229% Happens(SitOn(Writer1,Chair1),1). 230axiom(happens(sitOn(writer1, chair1), start), 231 [is_time(1), b(t, start), ignore(t+1=start)]). 232 233 234% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:82 235% Happens(TakeOffOf(Writer1,Pen1,Desk1),2). 236axiom(happens(takeOffOf(writer1, pen1, desk1), t2), 237 [is_time(2), b(t, t2), ignore(t+2=t2)]). 238 239 240% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:83 241% Happens(Think(Writer1),3). 242axiom(happens(think(writer1), t3), 243 [is_time(3), b(t, t3), ignore(t+3=t3)]). 244 245 246% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:84 247% Happens(WriteOn(Writer1,Paper1,Pen1),4). 248axiom(happens(writeOn(writer1, paper1, pen1), t4), 249 [is_time(4), b(t, t4), ignore(t+4=t4)]). 250 251 252% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:85 253% Happens(WriteOn(Writer1,Paper1,Pen1),5). 254axiom(happens(writeOn(writer1, paper1, pen1), t5), 255 [is_time(5), b(t, t5), ignore(t+5=t5)]). 256 257 258% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:86 259% Happens(PlaceOn(Writer1,Pen1,Desk1),6). 260axiom(happens(placeOn(writer1, pen1, desk1), t6), 261 [is_time(6), b(t, t6), ignore(t+6=t6)]). 262 263 264% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:87 265% Happens(RiseFrom(Writer1,Chair1),7). 266axiom(happens(riseFrom(writer1, chair1), t7), 267 [is_time(7), b(t, t7), ignore(t+7=t7)]). 268 269 270% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:88 271% Happens(WalkThroughDoor21(Writer1,Door1),8). 272axiom(happens(walkThroughDoor21(writer1, door1), t8), 273 [is_time(8), b(t, t8), ignore(t+8=t8)]). 274 275% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:90 276% range time 0 9 277% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:91 278==> range(time,0,9). 279 280% range offset 0 0 281% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:92 282==> range(offset,0,0). 283 284% range diameter 0 0 285% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:93 286==> range(diameter,0,0). 287 288% completion Happens 289% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:95 290==> completion(happens). 291%; End of file.