Lecture 1. What is Artificial Intelligence (AI)? (PDF)
Lecture 1. What is Artificial Intelligence (AI)? (PDF)
2楼
Lecture 2. Problem Solving and Search (PDF)
回复
3楼
Lecture 3. Logic (PDF)
回复
4楼
Lecture 4. Satisfiability and Validity (PDF - 1.2 MB)
回复
5楼
Lecture 5. First-Order Logic (PDF)
回复
6楼
Lecture 7. Resolution Theorem Proving: Propositional Logic (PDF)
回复
7楼
Lecture 8. Resolution Theorem Proving: First Order Logic (PDF)
回复
8楼
Lecture 9. Logic Miscellanea (PDF)
回复
9楼
Lecture 10. Planning (PDF)
回复
10楼
Lecture 11. Partial-Order Planning Algorithms (PDF)
回复
11楼
Lecture 12. Graph Plan (PDF)
回复
