Homework
 

Feb 12 2007: Homework1. Due  2/15/07 at 11 PM. Email homework to gradaiasu@gmail.com. Look at the example pairs in the RTE3 datasets and pick 3 example pairs that involve some reasoning. Analyze those examples in the style given in the Example1 document.

Feb 14 2007: Homework 2. Due 2/20/07 at 1 PM. Email homework to gradaiasu@gmail.com.

Q: A Horn logic program (or Ansprolog^-not program) is a collection of rules of the form

a0 <-- a1, ..., an.

Given a Horn logic program P, define when can we make a conclusion p from it.