1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'examples/BrewkaDixKonolige1997/Wine.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%; reasoning by cases
15%; \fullciteA[p. 45]{BrewkaDixKonolige:1997}
16%;
17%; @book{BrewkaDixKonolige:1997,
18%; author = "Gerhard Brewka and J{\"{u}}rgen Dix and Kurt Konolige",
19%; year = "1997",
20%; title = "Nonmonotonic Reasoning: An Overview",
21%; address = "Stanford, CA",
22%; publisher = "CSLI",
23%; }
24%;
25
26% load foundations/Root.e
27
28% load foundations/EC.e
29
30% sort x
31==> sort(x).
32
33% x Person
34==> t(x,person).
35
36% predicate LikesWine(x)
37 % predicate(likesWine(x)).
38==> mpred_prop(likesWine(x),predicate).
39==> meta_argtypes(likesWine(x)).
40
41% predicate Italian(x)
42 % predicate(italian(x)).
43==> mpred_prop(italian(x),predicate).
44==> meta_argtypes(italian(x)).
45
46% predicate French(x)
47 % predicate(french(x)).
48==> mpred_prop(french(x),predicate).
49==> meta_argtypes(french(x)).
50
51% predicate Ab1(x)
52 % predicate(ab1(x)).
53==> mpred_prop(ab1(x),predicate).
54==> meta_argtypes(ab1(x)).
55
56% predicate Ab2(x)
57 % predicate(ab2(x)).
58==> mpred_prop(ab2(x),predicate).
59==> meta_argtypes(ab2(x)).
60
61
64 65axiom(likesWine(X),
66 [italian(X), not(ab1(X))]).
67
68
71 72axiom(likesWine(X),
73 [french(X), not(ab2(X))]).
74
75
78 79axiom(not(french(X)),
80 [italian(X)]).
81
82
85
86 90
91 94axiom(italian(person),
95 [not(french(person))]).
96
97 100axiom(french(person),
101 [not(italian(person))]).
102
103% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/BrewkaDixKonolige1997/Wine.e:40
104% range time 0 0
105% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/BrewkaDixKonolige1997/Wine.e:41
106==> range(time,0,0).
107
108% range offset 1 1
109% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/BrewkaDixKonolige1997/Wine.e:42
110==> range(offset,1,1).
111
112% completion Theta Ab1
113% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/BrewkaDixKonolige1997/Wine.e:44
114==> completion(theta).
115==> completion(ab1).
116
117% completion Theta Ab2
118% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/BrewkaDixKonolige1997/Wine.e:45
119==> completion(theta).
120==> completion(ab2).