1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'examples/ReiterCriscuolo1981/NixonDiamond2.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%; conflicting defaults: method (D)
   15%; \fullciteA[p. 274]{ReiterCriscuolo:1981}
   16%; \fullciteA[pp. 98--99]{McCarthy:1986}
   17%; \fullciteA[p. 18]{BrewkaDixKonolige:1997}
   18%;
   19%; @inproceedings{ReiterCriscuolo:1981,
   20%;   author = "Raymond Reiter and Giovanni Criscuolo",
   21%;   year = "1981",
   22%;   title = "On interacting defaults",
   23%;   booktitle = "\uppercase{P}roceedings of the \uppercase{S}eventh \uppercase{I}nternational \uppercase{J}oint \uppercase{C}onference on \uppercase{A}rtificial \uppercase{I}ntelligence",
   24%;   volume = "1",
   25%;   pages = "270--276",
   26%;   address = "Los Altos, CA",
   27%;   publisher = "William Kaufmann",
   28%; }
   29%;
   30%; @article{McCarthy:1986,
   31%;   author = "John McCarthy",
   32%;   year = "1986",
   33%;   title = "Applications of circumscription to formalizing common-sense knowledge",
   34%;   journal = "Artificial Intelligence",
   35%;   volume = "28",
   36%;   pages = "89--116".
   37%; }
   38%;
   39%; @book{BrewkaDixKonolige:1997,
   40%;   author = "Gerhard Brewka and J{\"{u}}rgen Dix and Kurt Konolige",
   41%;   year = "1997",
   42%;   title = "Nonmonotonic Reasoning: An Overview",
   43%;   address = "Stanford, CA",
   44%;   publisher = "CSLI",
   45%; }
   46%;
   47
   48% load foundations/Root.e
   49
   50% load foundations/EC.e
   51
   52% sort x
   53==> sort(x).
   54
   55% predicate Republican(x)
   56 %  predicate(republican(x)).
   57==> mpred_prop(republican(x),predicate).
   58==> meta_argtypes(republican(x)).
   59
   60% predicate Quaker(x)
   61 %  predicate(quaker(x)).
   62==> mpred_prop(quaker(x),predicate).
   63==> meta_argtypes(quaker(x)).
   64
   65% predicate Pacifist(x)
   66 %  predicate(pacifist(x)).
   67==> mpred_prop(pacifist(x),predicate).
   68==> meta_argtypes(pacifist(x)).
   69
   70% predicate Ab1(x)
   71 %  predicate(ab1(x)).
   72==> mpred_prop(ab1(x),predicate).
   73==> meta_argtypes(ab1(x)).
   74
   75% predicate Ab2(x)
   76 %  predicate(ab2(x)).
   77==> mpred_prop(ab2(x),predicate).
   78==> meta_argtypes(ab2(x)).
   79
   80% x John
   81==> t(x,john).
   82
   83
   84% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/ReiterCriscuolo1981/NixonDiamond2.e:57
   85% Republican(John).
   86republican(john).
   87
   88
   89% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/ReiterCriscuolo1981/NixonDiamond2.e:58
   90% Quaker(John).
   91quaker(john).
   92
   93
   94% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/ReiterCriscuolo1981/NixonDiamond2.e:60
   95% [x]
   96 % Republican(x) & !Ab1(x) -> !Pacifist(x).
   97axiom(not(pacifist(X)),
   98    [republican(X), not(ab1(X))]).
   99
  100
  101% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/ReiterCriscuolo1981/NixonDiamond2.e:61
  102% [x]
  103 % Quaker(x) & !Ab2(x) -> Pacifist(x).
  104axiom(pacifist(X),
  105    [quaker(X), not(ab2(X))]).
  106
  107% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/ReiterCriscuolo1981/NixonDiamond2.e:62
  108% Theta: 
  109next_axiom_uses(theta).
  110 
  111
  112
  113% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/ReiterCriscuolo1981/NixonDiamond2.e:62
  114% [x]
  115 % Republican(x) -> Ab2(x).
  116axiom(ab2(X),
  117    [republican(X)]).
  118
  119% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/ReiterCriscuolo1981/NixonDiamond2.e:64
  120% range time 0 0
  121% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/ReiterCriscuolo1981/NixonDiamond2.e:65
  122==> range(time,0,0).
  123
  124% range offset 1 1
  125% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/ReiterCriscuolo1981/NixonDiamond2.e:66
  126==> range(offset,1,1).
  127
  128% completion Theta Ab1
  129% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/ReiterCriscuolo1981/NixonDiamond2.e:68
  130==> completion(theta).
  131==> completion(ab1).
  132
  133% completion Theta Ab2
  134% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/ReiterCriscuolo1981/NixonDiamond2.e:69
  135==> completion(theta).
  136==> completion(ab2).
  137%; End of file.