1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'ecnet/MakingAnAcquaintance.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 LookOutOnto, Floor, BuildingOf, SkyOf, GroundOf 29ignore(lookOutOnto). 30ignore(floor). 31ignore(buildingOf). 32ignore(skyOf). 33ignore(groundOf). 34 35% ignore Near, WalkFrom, WalkFromTo, RunFromTo 36ignore(near). 37ignore(walkFrom). 38ignore(walkFromTo). 39ignore(runFromTo). 40 41% ignore Side1, Side2 42ignore(side1). 43ignore(side2). 44 45% ignore FriendOf, NeutralOf, EnemyOf, 46ignore(friendOf). 47ignore(neutralOf). 48ignore(enemyOf). 49 50% ignore BecomeFriends, BecomeNeutral, BecomeEnemies 51ignore(becomeFriends). 52ignore(becomeNeutral). 53ignore(becomeEnemies). 54 55% ignore Happy, Calm, Unhappy 56ignore(happy). 57ignore(calm). 58ignore(unhappy). 59 60% ignore BecomeHappy, BecomeCalm, BecomeUnhappy 61ignore(becomeHappy). 62ignore(becomeCalm). 63ignore(becomeUnhappy). 64 65% ignore AngryAt, BecomeAngryAt 66ignore(angryAt). 67ignore(becomeAngryAt). 68 69% ignore Like, Love, Dislike, LikeSnow 70ignore(like). 71ignore(love). 72ignore(dislike). 73ignore(likeSnow). 74 75% ignore HandTo 76ignore(handTo). 77 78% ignore InviteIn, InvitedIn, IntendToWalkIn, IntentionToWalkIn 79ignore(inviteIn). 80ignore(invitedIn). 81ignore(intendToWalkIn). 82ignore(intentionToWalkIn). 83 84% ignore ActOnIntentionToWalkIn, Greet, SayGoodbye, CryForJoy 85ignore(actOnIntentionToWalkIn). 86ignore(greet). 87ignore(sayGoodbye). 88ignore(cryForJoy). 89 90% ignore Threaten, ReleaseFromThreat, ThreatenedBy 91ignore(threaten). 92ignore(releaseFromThreat). 93ignore(threatenedBy). 94 95% ignore Order, KnowOrder, Request, KnowRequest 96ignore(order). 97ignore(knowOrder). 98ignore(request). 99ignore(knowRequest). 100 101% load foundations/Root.e 102 103% load foundations/EC.e 104 105% load answers/Mueller2003/Ontology.e 106 107% load answers/Mueller2003/Feeling.e 108 109% load answers/Mueller2004c/HandTo.e 110 111% load answers/Mueller2004c/RTSpaceM.e 112load('answers/Mueller2004c/RTSpaceM.e'). 113 114% load answers/Mueller2003/Sleep.e 115 116% load answers/Mueller2003/SpeechAct.e 117 118% load answers/Mueller2004c/IPRel.e 119 120% location Location1 121==> t(location,location1). 122 123% portal DummyPortal1 124==> t(portal,dummyPortal1). 125 126% agent Introducer1 127==> t(agent,introducer1). 128 129% agent Introducee1 130==> t(agent,introducee1). 131 132% agent Introduced1 133==> t(agent,introduced1). 134%; initial state 135% [agent,physobj] 136 % !HoldsAt(SittingOn(agent,physobj),0). 137 % not(initially(sittingOn(Agent,Physobj))). 138axiom(not(initially(sittingOn(SittingOn_Param, SittingOn_Ret))), 139 []). 140 141 142% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/MakingAnAcquaintance.e:60 143% [agent,physobj] 144 % !HoldsAt(LyingOn(agent,physobj),0). 145 % not(initially(lyingOn(Agent,Physobj))). 146axiom(not(initially(lyingOn(LyingOn_Param, LyingOn_Ret))), 147 []). 148 149 150% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/MakingAnAcquaintance.e:61 151% [agent] 152 % HoldsAt(Dressed(agent),0). 153axiom(initially(dressed(Agent)), 154 []). 155 156 157% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/MakingAnAcquaintance.e:62 158% [agent] 159 % HoldsAt(Awake(agent),0). 160axiom(initially(awake(Agent)), 161 []). 162 163 164% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/MakingAnAcquaintance.e:63 165% [agent] 166 % HoldsAt(Sleep3(agent),0). 167axiom(initially(sleep3(Agent)), 168 []). 169 170 171% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/MakingAnAcquaintance.e:64 172% [agent] 173 % HoldsAt(Standing(agent),0). 174axiom(initially(standing(Agent)), 175 []). 176 177 178% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/MakingAnAcquaintance.e:65 179% HoldsAt(AcquaintanceOf(Introducer1,Introducee1),0). 180axiom(initially(acquaintanceOf(introducer1, introducee1)), 181 []). 182 183 184% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/MakingAnAcquaintance.e:66 185% HoldsAt(AcquaintanceOf(Introducer1,Introduced1),0). 186axiom(initially(acquaintanceOf(introducer1, introduced1)), 187 []). 188 189 190% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/MakingAnAcquaintance.e:67 191% !HoldsAt(AcquaintanceOf(Introducee1,Introduced1),0). 192 % not(initially(acquaintanceOf(introducee1,introduced1))). 193axiom(not(initially(acquaintanceOf(introducee1, introduced1))), 194 []). 195 196 197% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/MakingAnAcquaintance.e:69 198%; narrative 199%;Happens(IntroduceMutual(Introducer1,Introducee1,Introduced1),0). 200 201 202% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/MakingAnAcquaintance.e:71 203% Happens(Introduce(Introducee1,Introduced1),0). 204axiom(happens(introduce(introducee1, introduced1), t), 205 [is_time(0)]). 206 207 208% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/MakingAnAcquaintance.e:72 209%;Happens(Introduce(Introduced1,Introducee1),0). 210%;Happens(Smile(Introducer1),1). 211 212 213% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/MakingAnAcquaintance.e:74 214% Happens(Smile(Introducee1),1). 215axiom(happens(smile(introducee1), start), 216 [is_time(1), b(t, start), ignore(t+1=start)]). 217 218 219% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/MakingAnAcquaintance.e:75 220% Happens(Smile(Introduced1),2). 221axiom(happens(smile(introduced1), t2), 222 [is_time(2), b(t, t2), ignore(t+2=t2)]). 223 224 225% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/MakingAnAcquaintance.e:76 226% Happens(SayPleasedToMeet(Introducee1,Introduced1),3). 227axiom(happens(sayPleasedToMeet(introducee1, introduced1), t3), 228 [is_time(3), b(t, t3), ignore(t+3=t3)]). 229 230 231% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/MakingAnAcquaintance.e:77 232% Happens(SayPleasedToMeet(Introduced1,Introducee1),4). 233axiom(happens(sayPleasedToMeet(introduced1, introducee1), t4), 234 [is_time(4), b(t, t4), ignore(t+4=t4)]). 235 236 237% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/MakingAnAcquaintance.e:78 238% Happens(ShakeHands(Introducee1,Introduced1),5). 239axiom(happens(shakeHands(introducee1, introduced1), t5), 240 [is_time(5), b(t, t5), ignore(t+5=t5)]). 241 242% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/MakingAnAcquaintance.e:80 243% range time 0 6 244% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/MakingAnAcquaintance.e:81 245==> range(time,0,6). 246 247% range offset 0 0 248% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/MakingAnAcquaintance.e:82 249==> range(offset,0,0). 250 251% range diameter 0 0 252% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/MakingAnAcquaintance.e:83 253==> range(diameter,0,0). 254 255% completion Happens 256% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/MakingAnAcquaintance.e:85 257==> completion(happens). 258%; End of file.