hw7 - b) All of Joes dogs are cute. c) Unless Joe has a...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
CS4600 - Introduction to Intelligent Systems Homework 6 - Representing Facts with Logic Translate the following English sentences to First-Order Logic (FOL) using the following predicates: Has(Joe,x), Dog(x), Cat(x), Cute(x), and Scary(x). a) Joe has a cute dog.
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: b) All of Joes dogs are cute. c) Unless Joe has a dog, he is scary. d) Either Joe has at least one cat and at least one dog or he is scary (but not both at the same time). e) Not all dogs are both scary and cute....
View Full Document

Ask a homework question - tutors are online