Table of Contents

Lectures

Lectures

Week 1: Introduction

Sept. 3: Lecture Notes (PDF, PDF (color))

Week 2: Prolog

Sept. 5: Lecture Notes (PDF, PDF (color))
Sept. 10: Lecture Notes (PDF, PDF (color))
Sept. 12: Lecture Notes (PDF, PDF (color))

Week 3: Prolog

Sept. 17: Lecture Notes (PDF, PDF (color))

Week 4: First Order Logic

Sept. 24: Lecture Notes (PDF, PDF (color))
Sept. 26: Lecture Notes (PDF, PDF (color))

Week 5: First Order Logic; Lambda Calculus

Oct. 1: Lecture Notes (PDF, PDF (color))
Oct. 3: National Holiday [the National foundation Day of Korea]

Week 6: Lambda Calculus

Oct. 8: Lecture Notes (PDF, PDF (color))
Oct. 8: Lecture Notes2 (PDF, PDF (color))
☞ the class will be extended for one hour (16:00 ~ 18:30)
Oct. 10: Lecture Notes (PDF, PDF (color))

Week 7: Midterm Exam (10/22)

Oct. 15: No Class
Oct. 17: No Class
Oct. 22: Midterm Exam

Week 8: Underspecified Representations

Oct. 29: Lecture Notes (PDF, PDF (color))
Oct. 31: Lecture Notes (PDF, PDF (color))

Week 9: Underspecified Representations

Nov. 5: Lecture Notes (PDF, PDF (color))
Nov. 7: Lecture Notes (PDF, PDF (color))

Week 10: Propositional Inference

Nov. 12: Lecture Notes (PDF, PDF (color))
Nov. 14: Lecture Notes (PDF, PDF (color))

Week 11: Propositional Inference

Nov. 19: Lecture Notes (PDF, PDF (color))
Nov. 21: Lecture Notes (PDF, PDF (color))
HW#4(PDF)

Week 12: First Order Inference

Nov. 26: Lecture Notes (PDF, PDF (color))
Nov. 28: Lecture Notes (PDF, PDF (color))

Week 13: First Order Inference

Dec. 3: Lecture Notes (PDF, PDF (color))
Dec. 5: Lecture Notes (PDF, PDF (color))

Week 14: Putting It All Together

Dec. 10: Lecture Notes (PDF, PDF (color))

Week 15: Final Exam (12/17)