This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: CSCI-561 Spring 2010 Macskassy Homework 4 Due April 5, 2010 Student name: _____________________________ Student ID: _________________ Note: The assignment should be submitted via Assignments >> Homework 4 on den.usc.edu Question 1a (Inference of First Order Logic) (13 points) The Morphing Robotics Laboratory has been researching transforming humans into robots. The scientists have discovered the following facts: All humans that are made of steel are robots. All desks are made of steel. You(Y) have the same weight as a desk(D). Anything having the same weight as a desk is made of steel. You have to show the facts in FOL and CNF and use unification and resolution to prove You are a robot. Question 1b (13 points) For every 2 friends, there is some hobby of one friend that the other does not like. Ken is Ryu's friend. Show that Ken does not like all of Ryu's hobbies using resolution as seen on section 9.5 of the text book. text book....
View Full Document
- Spring '08