Download presentation
Presentation is loading. Please wait.
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).
Similar presentations
© 2025 SlidePlayer.com. Inc.
All rights reserved.