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%
    • #1 (15%), #2 (15%)
  • Attendance/Class Participation: 20%
    • Attendance, Summary, Interactions
  • Grading by A/B/C