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.

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%)

)()( wQwP )()( xRxP )()( ySyQ )()( zSzR

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).