-
Notifications
You must be signed in to change notification settings - Fork 4
/
tasks.metta
93 lines (60 loc) · 2.38 KB
/
tasks.metta
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
;Tasks which one can enter in interactive mode (such as in world9):
;GOALS:
;the cup should be above the coffee machine
!(AddGoalEvent (((u x G) --> up) (1.0 0.90)))
;the goal should be above the cup
!(AddGoalEvent (((H x u) --> up) (1.0 0.90)))
;the cup should be above the table
!(AddGoalEvent (((u x T) --> up) (1.0 0.90)))
;the bird should be above the coffee machine
!(AddGoalEvent (((x x G) --> up) (1.0 0.90)))
;the bird should be above the table
!(AddGoalEvent (((x x T) --> up) (1.0 0.90)))
;HIGHER-LEVEL GOALS:
;the table should be prepared
!(AddGoalEvent ((table --> (IntSet prepared)) (1.0 0.90)))
;the coffee should be made
!(AddGoalEvent ((coffee --> (IntSet made)) (1.0 0.90)))
;the cup should be stored
!(AddGoalEvent ((cup --> (IntSet stored)) (1.0 0.90)))
;the bird should sit at the table
!(AddGoalEvent (((bird x table) --> sit) (1.0 0.90)))
;HIGHER-HIGHER-LEVEL GOALS:
;the container should be stored
!(AddGoalEvent ((container --> (IntSet stored)) (1.0 0.90)))
;the drink should be made
!(AddGoalEvent ((drink --> (IntSet made)) (1.0 0.90)))
;the furniture should be prepared
!(AddGoalEvent ((furniture --> (IntSet prepared)) (1.0 0.90)))
;something black should be made
!(AddGoalEvent (((IntSet black) --> (IntSet made)) (1.0 0.90)))
;BELIEFS:
;the cup is above the coffee machine
!(AddBeliefEvent (((u x G) --> up) (1.0 0.90)))
;the goal is above the cup
!(AddBeliefEvent (((H x u) --> up) (1.0 0.90)))
;the cup is above the table
!(AddBeliefEvent (((u x T) --> up) (1.0 0.90)))
;the bird is above the coffee machine
!(AddBeliefEvent (((x x G) --> up) (1.0 0.90)))
;the bird is above the table
!(AddBeliefEvent (((x x T) --> up) (1.0 0.90)))
;HIGHER-LEVEL BELIEFS:
;the table is prepared
!(AddBeliefEvent ((table --> (IntSet prepared)) (1.0 0.90)))
;the coffee is made
!(AddBeliefEvent ((coffee --> (IntSet made)) (1.0 0.90)))
;the cup is stored
!(AddBeliefEvent ((cup --> (IntSet stored)) (1.0 0.90)))
;the bird sits at the table
!(AddBeliefEvent (((bird x table) --> sit) (1.0 0.90)))
;HIGHER-HIGHER-LEVEL BELIEFS:
;the container is stored
!(AddBeliefEvent ((container --> (IntSet stored)) (1.0 0.90)))
;the drink is made
!(AddBeliefEvent ((drink --> (IntSet made)) (1.0 0.90)))
;the furniture is prepared
!(AddBeliefEvent ((furniture --> (IntSet prepared)) (1.0 0.90)))
;MIXED BELIEFS:
;something black is made
!(AddBeliefEvent (((IntSet black) --> (IntSet made)) (1.0 0.90)))