{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

hw7sol

# hw7sol - (~ 5 x(Has(Joe,x ^ Dog(x => Scary(Joe d Either...

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

CS4600 - Introduction to Intelligent Systems Homework 6 - Sample Solution Write the following sentences in ﬁrst-order logic using these literals: Has(Joe,x), Dog(x), Cat(x), Cute(x), Scary(x). a) Joe has a cute dog. 5 x (Has(Joe,x) ^ Dog(x) ^ Cute(x)) b) All of Joe’s dogs are cute. 2200 x ((Has(Joe,x) ^ Dog(x)) => Cute(x)) c) Unless Joe has a dog, he is scary.
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: (~ 5 x (Has(Joe,x) ^ Dog(x))) => Scary(Joe) d) Either Joe has at least one cat and at least one dog or he is scary (but not both at the same time). 5 x,y (Has(Joe,x) ^ Has(Joe,y) ^ Dog(x) ^ Cat(y)) <=> ~Scary(Joe) e) Not all dogs are both scary and cute. ~ 2200 x (Dog(x) => (Scary(x) ^ Cute(x)))...
View Full Document

{[ snackBarMessage ]}

Ask a homework question - tutors are online