1. DCP 1172, Homework 2 1 Homework 4 for DCP-1172 (2005.01.11) This time, we have 3 different homework assignments.  Homework assignment 4-1 (30%.)  Homework assignment 4-2 (30%,.)  Homework assignment 4-3 (40%.)  It is due on Jan. 14.

2. DCP 1172, Homework 2 2 Homework 4-p1: Normal form & Resolution Q1: Convert the followings to CNF (30%) 1. (A  B)  C 2. A ↔ (B ^C) Q2: Showing Resolution Process with the following example (30%)

3. DCP 1172, Homework 2 3 Homework 4-p2: Semantic Network Q3. A Prolog Program With The Rule (40%) parent(kim,holly). parent(margaret,kim). parent(margaret,kent). parent(esther,margaret). parent(herbert,margaret). parent(herbert,jean). greatgrandparent(GGP,GGC) :- parent(GGP,GP), parent(GP,P), parent(P,GGC). (1) Design a Semantic network showing the above facts and/or rules whenever possible. (30%) (2) What is the output of the query. (10%) ?- greatgrandparent(esther,GreatGrandchild).