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
86republican(john).
87
88
91quaker(john).
92
93
96 97axiom(not(pacifist(X)),
98 [republican(X), not(ab1(X))]).
99
100
103 104axiom(pacifist(X),
105 [quaker(X), not(ab2(X))]).
106
109next_axiom_uses(theta).
110
111
112
115 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).