1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'ecnet/ReadingALetter.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 Near, WalkFrom, WalkFromTo, RunFromTo 40ignore(near). 41ignore(walkFrom). 42ignore(walkFromTo). 43ignore(runFromTo). 44 45% ignore Side1, Side2 46ignore(side1). 47ignore(side2). 48 49% load foundations/Root.e 50 51% load foundations/EC.e 52 53% load answers/Mueller2003/Ontology.e 54 55% load answers/Mueller2004c/RTSpaceM.e 56load('answers/Mueller2004c/RTSpaceM.e'). 57 58% load answers/Mueller2004c/OTSpaceM.e 59load('answers/Mueller2004c/OTSpaceM.e'). 60 61% load answers/Mueller2004c/Container.e 62 63% load answers/Mueller2004c/Cognition.e 64 65% load answers/Mueller2003/Sleep.e 66 67% load answers/Mueller2003/Vision.e 68 69% load answers/Mueller2004c/HandTo.e 70 71% location Location1 72==> t(location,location1). 73 74% portal DummyPortal1 75==> t(portal,dummyPortal1). 76 77% agent Recipient1 78==> t(agent,recipient1). 79 80% letter Letter1 81==> t(letter,letter1). 82 83% container Envelope1 84==> t(container,envelope1). 85 86% physobj Surface1 87==> t(physobj,surface1). 88 89% chair Chair1 90==> t(chair,chair1). 91 92% content Content1 93==> t(content,content1). 94 95% agent Carrier1 96==> t(agent,carrier1). 97%; prune 98 99% sort ona, onb 100==> sort(ona). 101==> sort(onb). 102 103% fluent! On(ona,onb) 104 % fluent(on(ona,onb)). 105==> mpred_prop(on(ona,onb),fluent). 106==> meta_argtypes(on(ona,onb)). 107 108% event! PlaceOn(agent,ona,onb) 109 % event(placeOn(agent,ona,onb)). 110==> mpred_prop(placeOn(agent,ona,onb),event). 111==> meta_argtypes(placeOn(agent,ona,onb)). 112 113% event! TakeOffOf(agent,ona,onb) 114 % event(takeOffOf(agent,ona,onb)). 115==> mpred_prop(takeOffOf(agent,ona,onb),event). 116==> meta_argtypes(takeOffOf(agent,ona,onb)). 117 118% ona! Envelope1, Letter1 119==> t(ona,envelope1). 120==> t(ona,letter1). 121 122% onb! Surface1 123==> t(onb,surface1). 124 125% sort insidea, insideb 126==> sort(insidea). 127==> sort(insideb). 128 129% fluent! Inside(insidea,insideb) 130 % fluent(inside(insidea,insideb)). 131==> mpred_prop(inside(insidea,insideb),fluent). 132==> meta_argtypes(inside(insidea,insideb)). 133 134% event! PutInside(agent,insidea,insideb) 135 % event(putInside(agent,insidea,insideb)). 136==> mpred_prop(putInside(agent,insidea,insideb),event). 137==> meta_argtypes(putInside(agent,insidea,insideb)). 138 139% event! TakeOutOf(agent,insidea,insideb) 140 % event(takeOutOf(agent,insidea,insideb)). 141==> mpred_prop(takeOutOf(agent,insidea,insideb),event). 142==> meta_argtypes(takeOutOf(agent,insidea,insideb)). 143 144% insidea! Letter1 145==> t(insidea,letter1). 146 147% insideb! Envelope1 148==> t(insideb,envelope1). 149%; initial state 150% [agent,physobj] 151 % !HoldsAt(SittingOn(agent,physobj),0). 152 % not(initially(sittingOn(Agent,Physobj))). 153axiom(not(initially(sittingOn(SittingOn_Param, SittingOn_Ret))), 154 []). 155 156 157% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:74 158% [agent,physobj] 159 % !HoldsAt(LyingOn(agent,physobj),0). 160 % not(initially(lyingOn(Agent,Physobj))). 161axiom(not(initially(lyingOn(LyingOn_Param, LyingOn_Ret))), 162 []). 163 164 165% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:75 166% HoldsAt(Dressed(Recipient1),0). 167axiom(initially(dressed(recipient1)), 168 []). 169 170 171% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:76 172% HoldsAt(Dressed(Carrier1),0). 173axiom(initially(dressed(carrier1)), 174 []). 175 176 177% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:77 178% HoldsAt(Awake(Recipient1),0). 179axiom(initially(awake(recipient1)), 180 []). 181 182 183% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:78 184% HoldsAt(Awake(Carrier1),0). 185axiom(initially(awake(carrier1)), 186 []). 187 188 189% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:79 190% HoldsAt(Sleep3(Recipient1),0). 191axiom(initially(sleep3(recipient1)), 192 []). 193 194 195% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:80 196% HoldsAt(Sleep3(Carrier1),0). 197axiom(initially(sleep3(carrier1)), 198 []). 199 200 201% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:81 202% HoldsAt(Standing(Recipient1),0). 203axiom(initially(standing(recipient1)), 204 []). 205 206 207% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:82 208% HoldsAt(Standing(Carrier1),0). 209axiom(initially(standing(carrier1)), 210 []). 211 212 213% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:83 214% HoldsAt(ContainerClosed(Envelope1),0). 215axiom(initially(containerClosed(envelope1)), 216 []). 217 218 219% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:84 220% HoldsAt(Inside(Letter1,Envelope1),0). 221axiom(initially(inside(letter1, envelope1)), 222 []). 223 224 225% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:85 226% [physobj1,physobj2] 227% !(physobj1=Letter1 & physobj2=Envelope1) -> 228% !HoldsAt(Inside(physobj1, physobj2),0). 229% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:87 230axiom(not(holds_at(inside(Physobj1, Physobj2), t)), 231 [not(equals(Physobj1, letter1))]). 232axiom(not(holds_at(inside(Physobj1, Physobj2), t)), 233 [not(equals(Physobj2, envelope1))]). 234 235 236% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:88 237% [agent,object] 238 % !HoldsAt(See(agent,object),0). 239 % not(initially(see(Agent,Object))). 240axiom(not(initially(see(See_Param, See_Ret))), 241 []). 242 243 244% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:89 245% [agent,object] 246% !(agent=Carrier1 & object=Envelope1) -> 247% !HoldsAt(Holding(agent,object),0). 248% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:91 249axiom(not(holds_at(holding(Agent, Object), t)), 250 [not(equals(Agent, carrier1))]). 251axiom(not(holds_at(holding(Agent, Object), t)), 252 [not(equals(Object, envelope1))]). 253 254 255% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:92 256% HoldsAt(Holding(Carrier1,Envelope1),0). 257axiom(initially(holding(carrier1, envelope1)), 258 []). 259 260 261% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:93 262% [physobj1,physobj2] 263 % !HoldsAt(On(physobj1, physobj2),0). 264 % not(initially(on(Physobj1,Physobj2))). 265axiom(not(initially(on(On_Param, On_Ret))), 266 []). 267 268 269% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:95 270%; narrative 271 272 273% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:96 274% Happens(PlaceOn(Carrier1,Envelope1,Surface1),0). 275axiom(happens(placeOn(carrier1, envelope1, surface1), t), 276 [is_time(0)]). 277 278 279% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:97 280% Happens(TakeOffOf(Recipient1,Envelope1,Surface1),1). 281axiom(happens(takeOffOf(recipient1, envelope1, surface1), start), 282 [is_time(1), b(t, start), ignore(t+1=start)]). 283 284 285% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:98 286%;Happens(HandTo(Carrier1,Recipient1,Envelope1),0). 287 288 289% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:99 290% Happens(SitOn(Recipient1,Chair1),2). 291axiom(happens(sitOn(recipient1, chair1), t2), 292 [is_time(2), b(t, t2), ignore(t+2=t2)]). 293 294 295% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:100 296% Happens(ContainerOpen(Recipient1,Envelope1),3). 297axiom(happens(containerOpen(recipient1, envelope1), t3), 298 [is_time(3), b(t, t3), ignore(t+3=t3)]). 299 300 301% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:101 302% Happens(TakeOutOf(Recipient1,Letter1,Envelope1),4). 303axiom(happens(takeOutOf(recipient1, letter1, envelope1), t4), 304 [is_time(4), b(t, t4), ignore(t+4=t4)]). 305 306 307% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:102 308% Happens(LookAt(Recipient1,Letter1),5). 309axiom(happens(lookAt(recipient1, letter1), t5), 310 [is_time(5), b(t, t5), ignore(t+5=t5)]). 311 312 313% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:103 314% Happens(Read(Recipient1,Letter1,Content1),6). 315axiom(happens(read(recipient1, letter1, content1), t6), 316 [is_time(6), b(t, t6), ignore(t+6=t6)]). 317 318 319% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:104 320% Happens(ThinkAbout(Recipient1,Content1),7). 321axiom(happens(thinkAbout(recipient1, content1), t7), 322 [is_time(7), b(t, t7), ignore(t+7=t7)]). 323 324 325% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:105 326% Happens(Understand(Recipient1,Content1),8). 327axiom(happens(understand(recipient1, content1), t8), 328 [is_time(8), b(t, t8), ignore(t+8=t8)]). 329 330 331% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:106 332% Happens(PutInside(Recipient1,Letter1,Envelope1),9). 333axiom(happens(putInside(recipient1, letter1, envelope1), t9), 334 [is_time(9), b(t, t9), ignore(t+9=t9)]). 335 336 337% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:107 338% Happens(RiseFrom(Recipient1,Chair1),10). 339axiom(happens(riseFrom(recipient1, chair1), t10), 340 [is_time(10), b(t, t10), ignore(t+10=t10)]). 341 342 343% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:108 344% Happens(PlaceOn(Recipient1,Envelope1,Surface1),11). 345axiom(happens(placeOn(recipient1, envelope1, surface1), t11), 346 [is_time(11), b(t, t11), ignore(t+11=t11)]). 347 348% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:110 349% range time 0 12 350% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:111 351==> range(time,0,12). 352 353% range offset 0 0 354% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:112 355==> range(offset,0,0). 356 357% range diameter 0 0 358% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:113 359==> range(diameter,0,0). 360 361% completion Happens 362% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:115 363==> completion(happens). 364%; End of file.