Artificial Intelligence and Agent Technology
Artificial Intelligence and Agent Technology
Monotonic Nonmonotonic
Partially Theorem Proving Robot navigation
commutative
Not partially Chemical synthesis Bridge
commutative
Issues in the Design of Search
Programs
The direction in which to conduct
the search
◦ Forward
◦ Backward
How to select applicable rules
(matching)?
How to represent each node of
the search process?
Search trees versus search
graphs
Check Duplicate Nodes
Algorithm
Additional Problems
The Missionaries and Cannibals
Problem
◦ Start (2M, 2C, Right Bank)
◦ Goal (2M, 2C, Left Bank)
1. Move 2 cannibals to the
left:
2. Move 1 cannibal back to the
right:
3. Move 2 cannibals to the
left:
4. Move 1 cannibal back to the
right:
5. Move 2 missionaries to the
left:
6. Move 1 missionary and 1
cannibal back to the right:
7. Move 2 missionaries to the
left:
8. Move 1 cannibal back to the
right:
9. Move 2 cannibals to the
left:
10. Move 1 cannibal back to the
right:
11. Move 2 cannibals to
the left:
The Tower of Hanoi
The Monkey and Bananas
Problem