HW4 - CSCI-561 Spring 2010 Macskassy Homework 4 Due April...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the 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

Page1 / 3

HW4 - CSCI-561 Spring 2010 Macskassy Homework 4 Due April...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online