1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'ecnet/ReadingABook.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% option renaming off 49:- set_ec_option(renaming, off). 50 51% load foundations/Root.e 52 53% load foundations/EC.e 54 55% load answers/Mueller2003/Ontology.e 56 57% load answers/Mueller2004c/RTSpaceM.e 58load('answers/Mueller2004c/RTSpaceM.e'). 59 60% load answers/Mueller2004c/OTSpaceM.e 61load('answers/Mueller2004c/OTSpaceM.e'). 62 63% load answers/Mueller2004c/Book.e 64 65% load answers/Mueller2004c/Cognition.e 66 67% load answers/Mueller2003/Sleep.e 68 69% load answers/Mueller2003/Vision.e 70 71% door Door1 72==> t(door,door1). 73 74% room Room0 75==> t(room,room0). 76 77% room Room1 78==> t(room,room1). 79 80 81% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:46 82% Side1(Door1)=Room0. 83side1(door1,room0). 84 85 86% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:47 87% Side2(Door1)=Room1. 88side2(door1,room1). 89 90% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:49 91% agent Reader1 92% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:50 93==> t(agent,reader1). 94 95% book Book1 96% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:52 97==> t(book,book1). 98 99% chair Chair1 100% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:54 101==> t(chair,chair1). 102 103% physobj BookSupport1 104% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:56 105==> t(physobj,bookSupport1). 106 107% content Content1 108% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:58 109==> t(content,content1). 110%; initial state 111% [agent,object] 112 % !HoldsAt(Holding(agent,object),0). 113 % not(initially(holding(Agent,Object))). 114% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:60 115axiom(not(initially(holding(Holding_Param, Holding_Ret))), 116 []). 117 118 119% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:61 120% [agent,physobj] 121 % !HoldsAt(SittingOn(agent,physobj),0). 122 % not(initially(sittingOn(Agent,Physobj))). 123axiom(not(initially(sittingOn(SittingOn_Param, SittingOn_Ret))), 124 []). 125 126 127% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:62 128% [agent,physobj] 129 % !HoldsAt(LyingOn(agent,physobj),0). 130 % not(initially(lyingOn(Agent,Physobj))). 131axiom(not(initially(lyingOn(LyingOn_Param, LyingOn_Ret))), 132 []). 133 134 135% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:63 136% !{page}% HoldsAt(BookIsOpenTo(Book1,page),0). 137 % not(exists([Page],holds_at(bookIsOpenTo(book1,Page),0))). 138axiom(not(holds_at(bookIsOpenTo(book1, BookIsOpenTo_Ret), t)), 139 []). 140 141 142% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:64 143% [physobj1,physobj2] 144% !(physobj1=Book1 & physobj2=BookSupport1) -> 145% !HoldsAt(On(physobj1, physobj2),0). 146% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:66 147axiom(not(holds_at(on(Physobj1, Physobj2), t)), 148 [not(equals(Physobj1, book1))]). 149axiom(not(holds_at(on(Physobj1, Physobj2), t)), 150 [not(equals(Physobj2, bookSupport1))]). 151 152 153% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:67 154% HoldsAt(Dressed(Reader1),0). 155axiom(initially(dressed(reader1)), 156 []). 157 158 159% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:68 160% HoldsAt(Awake(Reader1),0). 161axiom(initially(awake(reader1)), 162 []). 163 164 165% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:69 166% HoldsAt(Sleep3(Reader1),0). 167axiom(initially(sleep3(reader1)), 168 []). 169 170 171% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:70 172% HoldsAt(Standing(Reader1),0). 173axiom(initially(standing(reader1)), 174 []). 175 176 177% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:71 178% HoldsAt(DoorUnlocked(Door1),0). 179axiom(initially(doorUnlocked(door1)), 180 []). 181 182 183% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:72 184% HoldsAt(DoorIsOpen(Door1),0). 185axiom(initially(doorIsOpen(door1)), 186 []). 187 188 189% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:73 190% HoldsAt(At(Reader1,Room0),0). 191axiom(initially(at(reader1, room0)), 192 []). 193 194 195% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:74 196% HoldsAt(At(Chair1,Room1),0). 197axiom(initially(at(chair1, room1)), 198 []). 199 200 201% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:75 202% HoldsAt(At(Book1,Room1),0). 203axiom(initially(at(book1, room1)), 204 []). 205 206 207% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:76 208% HoldsAt(On(Book1,BookSupport1),0). 209axiom(initially(on(book1, bookSupport1)), 210 []). 211 212 213% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:77 214% [object] 215 % !HoldsAt(See(Reader1,object),0). 216 % not(initially(see(reader1,Object))). 217axiom(not(initially(see(reader1, See_Ret))), 218 []). 219 220 221% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:79 222%; narrative 223 224 225% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:80 226% Happens(WalkThroughDoor12(Reader1,Door1),0). 227axiom(happens(walkThroughDoor12(reader1, door1), t), 228 [is_time(0)]). 229 230 231% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:81 232% Happens(TakeOffOf(Reader1,Book1,BookSupport1),1). 233axiom(happens(takeOffOf(reader1, book1, bookSupport1), start), 234 [is_time(1), b(t, start), ignore(t+1=start)]). 235 236 237% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:82 238% Happens(SitOn(Reader1,Chair1),2). 239axiom(happens(sitOn(reader1, chair1), t2), 240 [is_time(2), b(t, t2), ignore(t+2=t2)]). 241 242 243% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:83 244% Happens(BookOpenTo(Reader1,Book1,1),3). 245axiom(happens(bookOpenTo(reader1, book1, 1), t3), 246 [is_time(3), b(t, t3), ignore(t+3=t3)]). 247 248 249% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:84 250% Happens(LookAt(Reader1,Book1),4). 251axiom(happens(lookAt(reader1, book1), t4), 252 [is_time(4), b(t, t4), ignore(t+4=t4)]). 253 254 255% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:85 256% Happens(Read(Reader1,Book1,Content1),5). 257axiom(happens(read(reader1, book1, content1), t5), 258 [is_time(5), b(t, t5), ignore(t+5=t5)]). 259 260 261% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:86 262% Happens(ThinkAbout(Reader1,Content1),6). 263axiom(happens(thinkAbout(reader1, content1), t6), 264 [is_time(6), b(t, t6), ignore(t+6=t6)]). 265 266 267% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:87 268% Happens(Understand(Reader1,Content1),7). 269axiom(happens(understand(reader1, content1), t7), 270 [is_time(7), b(t, t7), ignore(t+7=t7)]). 271 272 273% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:88 274% Happens(BookTurnPageTo(Reader1,Book1,2),8). 275axiom(happens(bookTurnPageTo(reader1, book1, 2), t8), 276 [is_time(8), b(t, t8), ignore(t+8=t8)]). 277 278 279% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:89 280% Happens(BookTurnPageTo(Reader1,Book1,3),9). 281axiom(happens(bookTurnPageTo(reader1, book1, 3), t9), 282 [is_time(9), b(t, t9), ignore(t+9=t9)]). 283 284 285% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:90 286% Happens(BookClose(Reader1,Book1),10). 287axiom(happens(bookClose(reader1, book1), t10), 288 [is_time(10), b(t, t10), ignore(t+10=t10)]). 289 290 291% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:91 292% Happens(RiseFrom(Reader1,Chair1),11). 293axiom(happens(riseFrom(reader1, chair1), t11), 294 [is_time(11), b(t, t11), ignore(t+11=t11)]). 295 296 297% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:92 298% Happens(PlaceOn(Reader1,Book1,BookSupport1),12). 299axiom(happens(placeOn(reader1, book1, bookSupport1), t12), 300 [is_time(12), b(t, t12), ignore(t+12=t12)]). 301 302 303% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:93 304% Happens(WalkThroughDoor21(Reader1,Door1),13). 305axiom(happens(walkThroughDoor21(reader1, door1), t13), 306 [is_time(13), b(t, t13), ignore(t+13=t13)]). 307 308% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:95 309% range time 0 14 310% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:96 311==> range(time,0,14). 312 313% range page 1 3 314% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:97 315==> range(page,1,3). 316 317% range offset 0 0 318% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:98 319==> range(offset,0,0). 320 321% range diameter 0 0 322% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:99 323==> range(diameter,0,0). 324 325% completion Happens 326% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:101 327==> completion(happens). 328%; End of file.