Monkey & banana problem in AI
-
Upload
manjeet-kamboj -
Category
Education
-
view
4.533 -
download
1
description
Transcript of Monkey & banana problem in AI
![Page 1: Monkey & banana problem in AI](https://reader034.fdocuments.in/reader034/viewer/2022052323/55938f361a28abda4e8b465b/html5/thumbnails/1.jpg)
Monkey & Banana Problem
Submitted To:-Lect. Jagdeep Singh GillDBIMCS
Submitted By:-Manjeet RaniRollNo.-54Divya KumariRollNo.-121
![Page 2: Monkey & banana problem in AI](https://reader034.fdocuments.in/reader034/viewer/2022052323/55938f361a28abda4e8b465b/html5/thumbnails/2.jpg)
• A hungry monkey is in a room.
• Bananas have been hung from
the center of the ceiling of the
room.
• In the corner of the room there is
a chair.
• The monkey wants the bananas
but he can’t reach them.
• What shall he do?
![Page 3: Monkey & banana problem in AI](https://reader034.fdocuments.in/reader034/viewer/2022052323/55938f361a28abda4e8b465b/html5/thumbnails/3.jpg)
If the monkey is cleaver enough, he can reach the
bananas by placing the chair directly below the
bananas and climbing on the top of the chair.
![Page 4: Monkey & banana problem in AI](https://reader034.fdocuments.in/reader034/viewer/2022052323/55938f361a28abda4e8b465b/html5/thumbnails/4.jpg)
Relevant factors for the problem
• Constants
{floor, chair, bananas, monkey}
• Variables
{x,y,z}
• Predicates
1. IN_ROOM(x)
2. CAN_REACH(x,y)
![Page 5: Monkey & banana problem in AI](https://reader034.fdocuments.in/reader034/viewer/2022052323/55938f361a28abda4e8b465b/html5/thumbnails/5.jpg)
3. CAN_CLIMB(x,y)
4. CAN_MOVE(x,y,z)
5. DEXTEROUS(x)
6. TALL(x)
7. UNDER(x,y)
8. GET_ON(x,y)
9. CLOSE(x,y)
![Page 6: Monkey & banana problem in AI](https://reader034.fdocuments.in/reader034/viewer/2022052323/55938f361a28abda4e8b465b/html5/thumbnails/6.jpg)
Axioms/Assertions/Given Statements
1. IN_ROOM(monkey)
2. IN_ROOM(chair)
3. IN_ROOM(banana)
4. DEXTEROUS(monkey)
5. TALL(chair)
6. CAN_CLIMB(monkey,chair)
![Page 7: Monkey & banana problem in AI](https://reader034.fdocuments.in/reader034/viewer/2022052323/55938f361a28abda4e8b465b/html5/thumbnails/7.jpg)
7. CAN_MOVE(monkey,chair,banana)
8. ~CLOSE(banana,floor)
9. DEXTEROUS(x) & CLOSE(x,y) -> CAN_REACH(x,y)
10. GET_ON(x,y) & UNDER(y,banana) & TALL(Y) ->
CLOSE(x,banana)
11. IN_ROOM(x) & IN_ROOM(y) & IN_ROOM(z) &
CAN_MOVE(x,y,z) -> CLOSE(z,floor) V UNDER(Y,Z)
12. CAN_CLIMB(x,y) -> GET_ON(x,y)
![Page 8: Monkey & banana problem in AI](https://reader034.fdocuments.in/reader034/viewer/2022052323/55938f361a28abda4e8b465b/html5/thumbnails/8.jpg)
Clausal Form
1. IN_ROOM(monkey)
2. IN_ROOM(chair)
3. IN_ROOM(banana)
4. DEXTEROUS(monkey)
5. TALL(chair)
6. CAN_CLIMB(monkey,chair)
7. CAN_MOVE(monkey,chair,banana)
![Page 9: Monkey & banana problem in AI](https://reader034.fdocuments.in/reader034/viewer/2022052323/55938f361a28abda4e8b465b/html5/thumbnails/9.jpg)
8. ~CLOSE(banana,floor)
9. ~DEXTEROUS(x) V ~CLOSE(x,y) V CAN_REACH(x,y)
10. ~ GET_ON(x,y) V ~UNDER(y,banana) V ~TALL(Y) V
CLOSE(x,banana)
11. ~IN_ROOM(x) V ~IN_ROOM(y) V ~IN_ROOM(z) V
~CAN_MOVE(x,y,z) V CLOSE(z,floor) V UNDER(Y,Z)
12. ~CAN_CLIMB(x,y) V GET_ON(x,y)
13. ~CAN_REACH(monkey,banana)
![Page 10: Monkey & banana problem in AI](https://reader034.fdocuments.in/reader034/viewer/2022052323/55938f361a28abda4e8b465b/html5/thumbnails/10.jpg)
Resolvents
14. ~CAN_MOVE(monkey,chair,banana) V
CLOSE(banana,floor) V UNDER(chair,banana)
Resolvent of 1,2,3,& 11.
β={monkey/x,chair/y,banana/z}
15. CLOSE(banana,floor) V UNDER(chair,banana)
Resolvent of 7 & 14.
16. UNDER(chair,banana)
Resolvent of 8 &15.
![Page 11: Monkey & banana problem in AI](https://reader034.fdocuments.in/reader034/viewer/2022052323/55938f361a28abda4e8b465b/html5/thumbnails/11.jpg)
17. ~GET_ON(x,chair) V ~TALL(chair) V
CLOSE(x,banana)
Resolvent of 10 & 16.
β={chair/y}
18. ~GET_ON(x,chair) V CLOSE(x,banana)
Resolvent of 5 & 17.
19. GET_ON(monkey,chair)
Resolvent of 6 & 12.
![Page 12: Monkey & banana problem in AI](https://reader034.fdocuments.in/reader034/viewer/2022052323/55938f361a28abda4e8b465b/html5/thumbnails/12.jpg)
20. CLOSE(monkey,banana)
Resolvent of 18 & 19.
β={monkey/x}
21. ~CLOSE(monkey,y) V CAN_REACH(monkey,y)
Resolvent of 4 & 9.
β={monkey,x}
![Page 13: Monkey & banana problem in AI](https://reader034.fdocuments.in/reader034/viewer/2022052323/55938f361a28abda4e8b465b/html5/thumbnails/13.jpg)
22. CAN_REACH(monkey,banana)
Resolvent of 20 & 21.
β={banana/y}
23. []
Resolvent of 13 & 22.
![Page 14: Monkey & banana problem in AI](https://reader034.fdocuments.in/reader034/viewer/2022052323/55938f361a28abda4e8b465b/html5/thumbnails/14.jpg)
Resolution Proof
• CAN_REACH(monkey, banana)
![Page 15: Monkey & banana problem in AI](https://reader034.fdocuments.in/reader034/viewer/2022052323/55938f361a28abda4e8b465b/html5/thumbnails/15.jpg)