Homework

Week 1: Introduction

Week 2: Prolog

Week 3: Prolog

Homework #1

Write 4 Prolog programs from Practical Session in Learn Prolog Now!
- Chapter3, Problem 4
- Chapter4, Problem 3
- Chapter5, Problem 3
- Chapter6, Problem 3
Please submit following materials as [student_id].zip via cs579@nlp.kaist.ac.kr
DUE : 26 Sept. 2013 (3pm)

[List of files]

4 Prolog source codes named after each function
- travel.pl
- combine3.pl
- dot.pl
- flatten.pl
Documentation (MS word)
- description of each function
- your mistakes or consideration during programming each function

Week 4: First Order Logic

Homework #2

Write 4 Prolog programs from Learn Prolog Now!
- Chapter7, Exercise 7.1
  - on DCG
- Chapter8, Practical Session, Programming Mini-Projects
  - Write a DCG and extend it
- Propose a topic for your term project
  - Give an appropriate scenario for user interaction.
  - Motivate why this scenario is interesting.
  - Explain the kind of work that should be done.
Please submit your work via cs579@nlp.kaist.ac.kr
DUE : 9 Oct. 2013 (11:59pm)

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

Homework #3

Address the following 3 problems.
- Add the preposition without to the lexicon, and define a new semantic macro that takes the implicit negation of this preposition into account.
- Extend the storage analysis to ditransitive verbs, and check it.
- Why should storage be optional? Explain why optionality is even more important for Keller storage than it is for Cooper storage.
for more detail, please see end of the Lecture14 pdf
Please submit your work via cs579@nlp.kaist.ac.kr
DUE : 18 Nov. 2013 (11:59pm)

Week 10: Propositional Inference

Project Progress Report

Submit your progress as a short report via cs579@nlp.kaist.ac.kr
- There is no restriction in format, amount of the report.
- Address what you've done for your project, and further plan clearly.
- DUE : 21 Nov. 2013 (11:59pm)

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)