-
Notifications
You must be signed in to change notification settings - Fork 1
/
domain.sim
95 lines (85 loc) · 2.4 KB
/
domain.sim
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
#THIS IS Matt's file with domain operators
type(BLOCK)
type(ARSONIST)
#type(SQUARE, BLOCK)
#type(TRIANGLE, BLOCK)
#type(TABLE, BLOCK)
predicate(clear, [blk], [BLOCK])
predicate(holding, [blk], [BLOCK])
predicate(arm-empty, [], [])
predicate(on, [blk1, blk2], [BLOCK, BLOCK])
predicate(on-table, [blk], [BLOCK])
predicate(block, [blk], [BLOCK])
predicate(triangle, [blk], [BLOCK])
predicate(table, [blk], [BLOCK])
predicate(onfire, [blk], [BLOCK])
predicate(arsonist, [ars], [ARSONIST])
predicate(free, [ars], [ARSONIST])
operator(stack,
args = [(topblk, BLOCK), (btmblk, BLOCK)],
preconditions = [
condition(clear, [btmblk]),
condition(holding, [topblk])],
results = [
condition(clear, [btmblk], negate = True),
condition(holding, [topblk], negate = True),
condition(clear, [topblk]),
condition(on, [topblk, btmblk]),
condition(arm-empty, [])])
operator(unstack,
args = [(topblk, BLOCK), (btmblk, BLOCK)],
preconditions = [
condition(clear, [topblk]),
condition(arm-empty),
condition(on, [topblk, btmblk])],
results = [
condition(clear, [topblk], negate = True),
condition(holding, [topblk]),
condition(arm-empty, [], negate = True),
condition(on, [topblk, btmblk], negate = True),
condition(clear, [btmblk], negate = False)])
operator(putdown,
args = [(blk, BLOCK)],
preconditions = [
condition(holding, [blk])],
results = [
condition(holding, [blk], negate = True),
condition(clear, [blk]),
condition(on-table, [blk]),
condition(arm-empty, [])])
operator(pickup,
args = [(blk, BLOCK)],
preconditions = [
condition(on-table, [blk]),
condition(clear, [blk]),
condition(arm-empty, [])],
results = [
condition(holding, [blk]),
condition(clear, [blk], negate = True),
condition(on-table, [blk], negate = True),
condition(arm-empty, [], negate = True)])
operator(putoutfire,
args = [(blk, BLOCK)],
preconditions = [
condition(onfire, [blk])],
results = [
condition(onfire, [blk], negate = True)])
operator(catchfire,
args = [(blk, BLOCK)],
preconditions = [
condition(onfire, [blk], negate = True)],
results = [
condition(onfire, [blk])])
operator(lightonfire,
args = [(arsonist, ARSONIST), (blk, BLOCK)],
preconditions = [
condition(onfire, [blk], negate = True),
condition(free, [arsonist])],
results = [
condition(onfire, [blk])])
operator(apprehend,
args = [(arsonist, ARSONIST)],
preconditions = [
condition(free, [arsonist])],
results = [
condition(free, [arsonist], negate = True)])