CSE 473: Introduction to Artificial Intelligence

Autumn 2009

Hw Assignment 5 (Exercise): Due Monday, Nov 23 in class: 20 points

  1. (10 pts) Solve the subgraph isomorphism problem on the attached Word document.
  2. (10 pts) Solve the resolution theorem proving problem on the attached Word document.
The assignment sheet is HERE.