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.