Instructor

• Jong C. Park
• Email: park@cs.kaist.ac.kr
• Office: CS Bldg. Room 2406
• Phone: x3541

Teaching Assistants

• Jongsun Ahn (Head TA)

• Tien Cuong Dang
• Email: cs579@nlp.kaist.ac.kr

Lecture Hours

• 4pm~5:15pm, Tuesdays and Thursdays

Lecture Room

• CS Bldg. Room 2112

Textbooks

Primary Textbook

• Patrick Blackburn and Johan Bos, Representation and Inference for Natural Language: A First Course in Computational Semantics, CSLI Studies in Computational Linguistics, CSLI Publications, 2005.

Secondary Textbook

• Steven Bird, Ewan Klein, and Edward Loper, Natural Language Processing with Python, O'Reilly, 2009.

Evaluation

• Midterm exam: 25%
• Final exam: 25%
• Attendance: 20%
• Homework, Class Participation: 30%

Schedule

• Week 1: Introduction
• Week 2: Prolog
• Week 3: Prolog
• Week 4: First Order Logic
• Week 5: First Order Logic; Lambda Calculus
• Week 6: Lambda Calculus
• Week 7: Midterm Exam (10/21)
• Week 8: Underspecified Representations
• Week 9: Underspecified Representations
• Week 10: Propositional Inference
• Week 11: Propositional Inference
• Week 12: First Order Inference
• Week 13: First Order Inference
• Week 14: Putting It All Together
• Week 15: Final Exam (12/16)