HW3 - CSCI-561 Homework 3 Spring 2010 Macskassy Due Student...

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

View Full Document Right Arrow Icon
CSCI-561 Spring 2010 Macskassy Homework 3 Due March 22, 2010 Student name: ___________________________ Student ID: ___________________ Question 1 [Logical Agents, Chapter 7]: Consider the following statements: “If a unicorn is mythical, then it is immortal, but if it is not mythical, then it is a mortal mammal. If the unicorn is either immortal or a mammal, then it is horned. The unicorn is magical if it is horned.” 1(a) [5 points] Translate these statements into propositional logic, using the propositional symbols MYTHICAL, MORTAL, MAMMAL, HORNED and MAGICAL. 1(b) [5 points] Transform these statements into conjunctive normal form. 1(c) [5 points] Using resolution, show that the unicorn is magical.
Background image of page 1

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

View Full Document Right Arrow Icon
CSCI-561 Spring 2010 Macskassy Homework 3 Due March 22, 2010 Student name: ___________________________ Student ID: ___________________ Question 2 [Heuristic Search, Chapter 4 and Logical Agents, Chapter 7]: 2(a) [17 points] Given a propositional knowledge base (KB), how can hill climbing be
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

Page1 / 5

HW3 - CSCI-561 Homework 3 Spring 2010 Macskassy Due Student...

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

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