1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'examples/ReiterCriscuolo1981/NixonDiamond1.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: showing that inconsistency results
   15%; without a cancellation rule
   16%; \fullciteA[p. 274]{ReiterCriscuolo:1981}
   17%; \fullciteA[pp. 98--99]{McCarthy:1986}
   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
   40% load foundations/Root.e
   41
   42% load foundations/EC.e
   43
   44% sort x
   45==> sort(x).
   46
   47% predicate Republican(x)
   48 %  predicate(republican(x)).
   49==> mpred_prop(republican(x),predicate).
   50==> meta_argtypes(republican(x)).
   51
   52% predicate Quaker(x)
   53 %  predicate(quaker(x)).
   54==> mpred_prop(quaker(x),predicate).
   55==> meta_argtypes(quaker(x)).
   56
   57% predicate Pacifist(x)
   58 %  predicate(pacifist(x)).
   59==> mpred_prop(pacifist(x),predicate).
   60==> meta_argtypes(pacifist(x)).
   61
   62% predicate Ab1(x)
   63 %  predicate(ab1(x)).
   64==> mpred_prop(ab1(x),predicate).
   65==> meta_argtypes(ab1(x)).
   66
   67% predicate Ab2(x)
   68 %  predicate(ab2(x)).
   69==> mpred_prop(ab2(x),predicate).
   70==> meta_argtypes(ab2(x)).
   71
   72% x John
   73==> t(x,john).
   74
   75
   76% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/ReiterCriscuolo1981/NixonDiamond1.e:49
   77% Republican(John).
   78republican(john).
   79
   80
   81% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/ReiterCriscuolo1981/NixonDiamond1.e:50
   82% Quaker(John).
   83quaker(john).
   84
   85
   86% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/ReiterCriscuolo1981/NixonDiamond1.e:52
   87% [x]
   88 % Republican(x) & !Ab1(x) -> !Pacifist(x).
   89axiom(not(pacifist(X)),
   90    [republican(X), not(ab1(X))]).
   91
   92
   93% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/ReiterCriscuolo1981/NixonDiamond1.e:53
   94% [x]
   95 % Quaker(x) & !Ab2(x) -> Pacifist(x).
   96axiom(pacifist(X),
   97    [quaker(X), not(ab2(X))]).
   98
   99% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/ReiterCriscuolo1981/NixonDiamond1.e:55
  100% range time 0 0
  101% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/ReiterCriscuolo1981/NixonDiamond1.e:56
  102==> range(time,0,0).
  103
  104% range offset 1 1
  105% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/ReiterCriscuolo1981/NixonDiamond1.e:57
  106==> range(offset,1,1).
  107
  108% completion Theta Ab1
  109% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/ReiterCriscuolo1981/NixonDiamond1.e:59
  110==> completion(theta).
  111==> completion(ab1).
  112
  113% completion Theta Ab2
  114% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/ReiterCriscuolo1981/NixonDiamond1.e:60
  115==> completion(theta).
  116==> completion(ab2).
  117%; End of file.