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
78republican(john).
79
80
83quaker(john).
84
85
88 89axiom(not(pacifist(X)),
90 [republican(X), not(ab1(X))]).
91
92
95 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).