Computational linguistics is an interdisciplinary field, involving linguistics, computer science, mathematics, logic, cognitive science, and cognitive psychology.

This course explores the theoretical aspects of computational linguistics, focusing on its subfield known as computational semantics.

We examine issues of representation and inference, so that they will be used for intelligent human-computer interaction.

Through the course, the students will be able to understand the core theoretical aspects of computational linguistics and use them to strengthen the formal base of any applications that involve the processing of natural language.

Jong C. Park

Email: park@cs.kaist.ac.kr

Office: Room #2406, Information & Electronics Bldg.

Phone: x3541

Taeho Kim

Email: kdhtheo@kaist.ac.kr

Office: Room #2413, Information & Electronics Bldg.

Phone: x7755

4pm~5:20pm, Tuesdays and Thursdays

Room #2112, Information & Electronics Bldg.

[Primary] 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 (official website).

[Secondary] Steven Bird, Ewan Klein, and Edward Loper, Natural Language Processing with Python, O’Reilly, 2009.

Midterm Exam: 25%

Final Exam: 25%

Attendance: 20%

Homework/Class Participation: 30%

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/22)

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/17)