forked from NatLanGroup/NatLan
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathinp1.txt
93 lines (88 loc) · 6.79 KB
/
inp1.txt
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
e/ A garden is a place. m/ C(garden,place)
e/ Persons are the same as people. m/ D(person,people)
e/ Animals are not people. m/ C(animal,people)p=0
e/ People are not animals. m/ C(people,animal)p=0
e/ What is a garden? m/ C(garden,?) a/ C(garden,place)p=1
e/ What is a place? m/ C(place,?) a/ not found:C(place,?)
e/ What is a toy? m/ C(toy,?) a/ not found:C(toy,?)
e/ What is a person? m/ C(person,?) a/ not found:C(person,?)
e/ Who are persons? m/ D(person,?) a/ D(person,people)p=1
e/ Who are people? m/ D(people,?) a/ not found:D(people,?)
e/ Is the garden a place? m/ C(garden,place)? a/ C(garden,place)p=1
e/ Is the place a garden? m/ C(place,garden)? a/ C(place,garden)p=0.5
e/ Are toys dogs? m/ C(toy,dog)? a/ C(toy,dog)p=0.5
e/ Are people same as persons? m/ D(people,person)? a/ D(people,person)p=0.5
e/ Are persons same as people? m/ D(person,people)? a/ D(person,people)p=1
e/ Are people animals? m/ C(people,animal)? a/ C(people,animal)p=0
e/ What are people? m/ C(people,?) a/ C(people,animal)p=0
e/ Dogs are animals. m/ C(dog,animal)
e/ What are animals? m/ C(animal,?) a/ not found:C(animal,?)
e/ What animals are there? m/ C(?,animal) a/ C(people,animal)p=0 C(dog,animal)p=1
e/ People walk. m/ A(people,walk)
e/ People talk. m/ A(people,talk)
e/ What do people do? m/ A(people,?) a/ A(people,walk)p=1 A(people,talk)p=1
e/ Who walks? m/ A(?,walk) a/ A(people,walk)p=1
e/ Do people walk? m/ A(people,walk)? a/ A(people,walk)p=1
e/ Do people sing? m/ A(people,sing)? a/ A(people,sing)p=0.5
e/ What do dogs do? m/ A(dog,?) a/ not found:A(dog,?)
e/ Dogs are not the same as people. m/ D(dog,people)p=0
e/ Do dogs walk? m/ A(dog,walk)? a/ A(dog,walk)p=0.5
e/ Tired dogs walk slowly. m/ F(A(F(dog,tired),walk),slowly)
e/ How do tired dogs walk? m/ F(A(F(dog,tired),walk),?) a/ F(A(F(dog,tired),walk),slowly)p=1
e/ Do tired dogs walk slowly? m/ F(A(F(dog,tired),walk),slowly)? a/ F(A(F(dog,tired),walk),slowly)p=1
e/ What dogs walk slowly? m/ F(A(F(dog,?),walk),slowly) a/ F(A(F(dog,tired),walk),slowly)p=1
e/ What do tired dogs do slowly? m/ F(A(F(dog,tired),?),slowly) a/ F(A(F(dog,tired),walk),slowly)p=1
// D-reasoning
m/ IM(AND(D(%1,%2),X(%1,%3)),X(%2,%3))
m/ IM(D(%1,%2),D(%2,%1))
e/ Who are people? m/ D(people,?) a/ D(people,person)p=1
e/ Are people same as persons? m/ D(people,person)? a/ D(people,person)p=1
e/ Do persons walk? m/ A(person,walk)? a/ A(person,walk)p=1
e/ Are persons animals? m/ C(person,animal)? a/ C(person,animal)p=0
// generating C from D
e/ What are people? m/ C(people,?) a/ C(people,animal)p=0 C(people,person)p=1
e/ What are persons? m/ C(person,?) a/ C(person,animal)p=0 C(person,people)p=1
// C-reasoning. In the fox example we see an implicit C relation.
m/ IM(AND(C(%1,%2),X(%2,%3)),X(%1,%3))
e/ Animals move. m/ A(animal,move)
e/ What do dogs do? m/ A(dog,?) a/ A(dog,move)p=1
e/ What moves? m/ A(?,move) a/ A(animal,move)p=1 A(dog,move)p=1
e/ Do dogs move? m/ A(dog,move)? a/ A(dog,move)p=1
e/ Do dogs walk? m/ A(dog,walk)? a/ A(dog,walk)p=0.5
e/ Joe is a person. m/ C(Joe,person)
e/ Mary is a girl. m/ C(Mary,girl)
e/ Does Joe walk? m/ A(Joe,walk)? a/ A(Joe,walk)p=1
e/ Does Mary walk? m/ A(Mary,walk)? a/ A(Mary,walk)p=0.5
e/ Girls are people. m/ C(girl,people)
e/ Boys are people. m/ C(boy,people)
e/ Does Mary walk? m/ A(Mary,walk)? a/ A(Mary,walk)p=1
e/ The fox hunts in the forest. m/ F(A(fox,hunt),R(in,forest))
e/ Does the brown fox hunt? m/ A(F(fox,brown),hunt)? a/ A(F(fox,brown),hunt)p=1
// IM-reasoning
e/ If a person runs, then that person moves. m/ IM(A(person,run),A(person,move))
e/ Does a person run? m/ A(person,run)? a/ A(person,run)p=0.5
e/ Does a person move? m/ A(person,move)? a/ A(person,move)p=0.5
e/ Who moves? m/ A(?,move) a/ A(person,move)p=0.5
e/ People run. m/ A(people,run)
e/ Who moves? m/ A(?,move) a/ A(person,move)p=1
e/ Do animals walk? m/ A(animal,walk)? a/ A(animal,walk)p=0.5
e/ If animals are people, then animals walk. m/ IM(C(animal,people),A(animal,walk))
e/ Are animals people? m/ C(animal,people)? a/ C(animal,people)p=0
e/ Do animals walk? m/ A(animal,walk)? a/ A(animal,walk)p=0.5
e/ Joe sits. m/ A(Joe,sit)
e/ If people sit, then people do not move. m/ IM(A(people,sit),A(people,move)p=0)
e/ Do people sit? m/ A(people,sit)? a/ A(people,sit)p=0.5
e/ Does Joe sit? m/ A(Joe,sit)? a/ A(Joe,sit)p=1
e/ Does Joe move? m/ A(Joe,move)? a/ A(Joe,move)p=0
e/ If a person does not move, then the person stays. m/ IM(A(person,move)p=0,A(person,stay))
e/ Does Joe stay? m/ A(Joe,stay)? a/ A(Joe,stay)p=1
// AND-reasoning
e/ Mary and Joe walk. m/ A(AND(Mary,Joe),walk)
e/ Does Mary walk? m/ A(Mary,walk)? a/ A(Mary,walk)p=1
e/ Mary plays. m/ A(Mary,play)
e/ Joe plays. m/ A(Joe,play)
e/ Do Mary and Joe play? m/ A(AND(Mary,Joe),play)? a/ A(AND(Mary,Joe),play)p=1
e/ What does Joe do? m/ A(Joe,?) a/ A(Joe,walk)p=1 A(Joe,talk)p=1 A(Joe,play)p=1 A(Joe,run)p=0.5 A(Joe,move)p=0.5 A(Joe,sit)p=1
e/ Does Joe sit and play? m/ A(Joe,AND(sit,play))? a/ A(Joe,AND(sit,play))p=1
e/ Does Joe run? m/ A(Joe,run)? a/ A(Joe,run)p=0.5
e/ Does Joe run and sit? m/ A(Joe,AND(run,sit))? a/ A(Joe,AND(run,sit))p=0.5