-
Notifications
You must be signed in to change notification settings - Fork 4
/
knowledge.metta
54 lines (44 loc) · 2.59 KB
/
knowledge.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
;PROPERTY GROUNDING:
;What it means to set the table:
!(AddBeliefEvent ((((u x T) --> up) ==> (table --> (IntSet prepared))) (1.0 0.9)))
!(AddBeliefEvent (((table --> (IntSet prepared)) ==> ((u x T) --> up)) (1.0 0.9)))
;What it means to deliver coffee:
!(AddBeliefEvent ((((u x G) --> up) ==> (coffee --> (IntSet made))) (1.0 0.9)))
!(AddBeliefEvent (((coffee --> (IntSet made)) ==> ((u x G) --> up)) (1.0 0.9)))
;What it means to store cup
!(AddBeliefEvent ((((H x u) --> up) ==> (container --> (IntSet stored))) (1.0 0.9)))
!(AddBeliefEvent (((container --> (IntSet stored)) ==> ((H x u) --> up)) (1.0 0.9)))
;What it means to for bird to go to sit at table
!(AddBeliefEvent ((((x x T) --> right) ==> ((bird x table) --> sit)) (1.0 0.9)))
!(AddBeliefEvent ((((bird x table) --> sit) ==> ((x x T) --> right)) (1.0 0.9)))
;CATEGORICAL INFORMATION
;Cups are containers
;!(AddBeliefEvent ((cup --> container) (1.0 0.9)))
!(AddBeliefEvent (((container --> $1) ==> (cup --> $1)) (1.0 0.9)))
!(AddBeliefEvent ((($1 --> container) ==> ($1 --> cup)) (1.0 0.9)))
!(AddBeliefEvent (((cup --> $1) ==> (container --> $1)) (1.0 0.5)))
!(AddBeliefEvent ((($1 --> container) ==> ($1 --> cup)) (1.0 0.5)))
;Tables are furniture
;!(AddBeliefEvent ((table --> furniture) (1.0 0.9)))
!(AddBeliefEvent (((furniture --> $1) ==> (table --> $1)) (1.0 0.9)))
!(AddBeliefEvent ((($1 --> furniture) ==> ($1 --> table)) (1.0 0.9)))
!(AddBeliefEvent (((table --> $1) ==> (furniture --> $1)) (1.0 0.5)))
!(AddBeliefEvent ((($1 --> furniture) ==> ($1 --> table)) (1.0 0.5)))
;Coffee is a drink
;!(AddBeliefEvent ((coffee --> drink) (1.0 0.9)))
!(AddBeliefEvent (((drink --> $1) ==> (coffee --> $1)) (1.0 0.9)))
!(AddBeliefEvent ((($1 --> drink) ==> ($1 --> coffee)) (1.0 0.9)))
!(AddBeliefEvent (((coffee --> $1) ==> (drink --> $1)) (1.0 0.5)))
!(AddBeliefEvent ((($1 --> drink) ==> ($1 --> coffee)) (1.0 0.5)))
;Coffee is black
;!(AddBeliefEvent ((coffee --> (IntSet black)) (1.0 0.9)))
!(AddBeliefEvent ((((IntSet black) --> $1) ==> (coffee --> $1)) (1.0 0.9)))
!(AddBeliefEvent ((($1 --> (IntSet black)) ==> ($1 --> coffee)) (1.0 0.9)))
!(AddBeliefEvent (((coffee --> $1) ==> ((IntSet black) --> $1)) (1.0 0.5)))
!(AddBeliefEvent ((($1 --> (IntSet black)) ==> ($1 --> coffee)) (1.0 0.5)))
;table is brown
;!(AddBeliefEvent ((table --> (IntSet brown)) (1.0 0.9)))
!(AddBeliefEvent ((((IntSet brown) --> $1) ==> (table --> $1)) (1.0 0.9)))
!(AddBeliefEvent ((($1 --> (IntSet brown)) ==> ($1 --> table)) (1.0 0.9)))
!(AddBeliefEvent (((table --> $1) ==> ((IntSet brown) --> $1)) (1.0 0.5)))
!(AddBeliefEvent ((($1 --> (IntSet brown)) ==> ($1 --> table)) (1.0 0.5)))