Instructor
- Jong C. Park, Professor of School of Computing, KAIST
- Email: jongpark@kaist.ac.kr
- Office: CS Bldg. Room 2406
- Phone: x3541
Teaching Assistant
Lecture Hours
- 14:30 ~ 16:00, Tuesdays and Thursdays
Venue
- Zoom (on-line, real-time): The link information is available at KLMS.
Course Resources
Primary Reference
- Blackburn and Bos, Representation and Inference for Natural Language: A First Course in Computational Semantics, CSLI Studies in Computational Linguistics, CSLI Publications, 2005.
Secondary Reference
Lecture Schedule
- Weeks 1, 2 & 3: Introduction, Prolog
- Weeks 3 & 4: First Order Logic
- Weeks 5 & 6: Lambda Calculus
- Week 7: Underspecified Representations & Proposal Presentations
- Week 8: Midterm Exam Period (no exam; no class)
- Weeks 9 & 10: Underspecified Representations
- Weeks 11 & 12: Propositional Inference
- Weeks 12, 13 & 14: First Order Inference
- Week 14: Putting It All Together
- Week 15: Final Presentations
- Week 16: Final Exam Period (no exam; no class)
Evaluation Criteria
- Term Project: 50%
- Proposal (10%), Proposal Presentation (10%)
- Final Presentation (15%), Final Report (15%)
- Homework: 30%
- Attendance/Class Participation: 20%
- Attendance, Summary, Interactions
- Grading by A/B/C
|