Professional Documents
Culture Documents
Monkey and Banana
Monkey and Banana
ceiling
Monkey Desk
Chair
floor
ceiling
Chair
Desk
floor
ceiling
Production Rules
1. If isOn(C, F) & isOn(D, F) Monkey Desk
Chair
Then isOn(C, F) -> isOn(C,D)
2. If isOn(M,F) & isOn(C,F)
Then isOn(M,F) -> isOn(M,C)
3. If isOn(M,F) & isOn(D,F)
Then isOn(M,F) -> isOn(M,D)
4. If isOn(M,D) & isOn(C,D)
Then isOn(M,D) -> isOn(M,C) floor
5. If isOn(M,C) & isOn(C,D)
Then isOn(B,E) -> Eat(M,B)
6. If Eat(M,B)
Then Hungry(M) -> Happy(M)
ceiling
Production Rules
1. If isOn(C, F) & isOn(D, F) Monkey Desk
Then isOn(C, F) -> isOn(C,D)
2. If isOn(M,F) & isOn(C,F)
Then isOn(M,F) -> isOn(M,C)
3. If isOn(M,F) & isOn(D,F)
Then isOn(M,F) -> isOn(M,D)
4. If isOn(M,D) & isOn(C,D)
Then isOn(M,D) -> isOn(M,C) floor
5. If isOn(M,C) & isOn(C,D) Iteration 0 : rule1 fired
Then isOn(B,E) -> Eat(M,B)
6. If Eat(M,B)
Then Hungry(M) -> Happy(M)
ceiling
Production Rules
1. If isOn(C, F) & isOn(D, F) Monkey Desk
Then isOn(C, F) -> isOn(C,D)
2. If isOn(M,F) & isOn(C,F)
Then isOn(M,F) -> isOn(M,C)
3. If isOn(M,F) & isOn(D,F)
Then isOn(M,F) -> isOn(M,D)
4. If isOn(M,D) & isOn(C,D)
Then isOn(M,D) -> isOn(M,C) floor
5. If isOn(M,C) & isOn(C,D) Iteration 1 : rule3 fired
Then isOn(B,E) -> Eat(M,B)
6. If Eat(M,B)
Then Hungry(M) -> Happy(M)
ceiling
Production Rules
1. If isOn(C, F) & isOn(D, F) Desk
Then isOn(C, F) -> isOn(C,D)
2. If isOn(M,F) & isOn(C,F)
Then isOn(M,F) -> isOn(M,C)
3. If isOn(M,F) & isOn(D,F)
Then isOn(M,F) -> isOn(M,D)
4. If isOn(M,D) & isOn(C,D)
Then isOn(M,D) -> isOn(M,C) floor
5. If isOn(M,C) & isOn(C,D) Iteration 2 : rule4 fired
Then isOn(B,E) -> Eat(M,B)
6. If Eat(M,B)
Then Hungry(M) -> Happy(M)
ceiling
Production Rules
1. If isOn(C, F) & isOn(D, F) Chair
Then isOn(C, F) -> isOn(C,D)
2. If isOn(M,F) & isOn(C,F)
Then isOn(M,F) -> isOn(M,C) Desk
3. If isOn(M,F) & isOn(D,F)
Then isOn(M,F) -> isOn(M,D)
4. If isOn(M,D) & isOn(C,D)
Then isOn(M,D) -> isOn(M,C) floor
5. If isOn(M,C) & isOn(C,D) Iteration 3 : rule5 fired
Then isOn(B,E) -> Eat(M,B)
6. If Eat(M,B)
Then Hungry(M) -> Happy(M)
ceiling
Production Rules
1. If isOn(C, F) & isOn(D, F) Chair
Then isOn(C, F) -> isOn(C,D)
2. If isOn(M,F) & isOn(C,F)
Then isOn(M,F) -> isOn(M,C) Desk
3. If isOn(M,F) & isOn(D,F)
Then isOn(M,F) -> isOn(M,D)
4. If isOn(M,D) & isOn(C,D)
Then isOn(M,D) -> isOn(M,C) floor
5. If isOn(M,C) & isOn(C,D) Iteration 4 : rule6 fired
Then isOn(B,E) -> Eat(M,B)
6. If Eat(M,B)
Then Hungry(M) -> Happy(M)
ceiling