[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
*Important change to homework 2*--a new problem added and due date extended to 3/5 (!)
- To: Rao Kambhampati <rao@asu.edu>
- Subject: *Important change to homework 2*--a new problem added and due date extended to 3/5 (!)
- From: Subbarao Kambhampati <rao@asu.edu>
- Date: Tue, 24 Feb 2009 13:35:39 -0700
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:received:date :x-google-sender-auth:message-id:subject:from:to:content-type; bh=yE3glvzOd5QykLcN5WjqcmHDYoxrghPOZpHfAke2tkg=; b=gm24gYxUeIOZ7pP3sf7bSLLhuqpnReXgZfwUXr7AjH4sqla0MJLnYOZcQarXZGT4kS Fb3WuoL+sE80MUmmwOImf/9uTxLnL5i+dh/DFDUhAmujr0v9P5BLTquUpUe3Kisd5R/v Z3O1K39c+nYBAROagL+9sz98EJZpjkJ+Yr6FQ=
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type; b=gtTfVA7P324QKCf3PZOF/OnAJgpUbl6m8/yYRHsAQoNR6PLwbGMh6DAr3DjdR+HP9K z57hSXHpcPB9qg6pMpnQAEMyMdf6Mwj6GEi1MzrzuzsCCICwYBbpunCyvGcuQ9anZ1RU 5KkgDCVRIope4+NlJ33eor8RSF7OD2ppc1o2I=
- Sender: subbarao2z2@gmail.com
Folks:
?I added part 4 to the homework to cover the propositional logic discussion. It is now due on 3/5
The rationale is that your midterm will cover all topics from homework 1 and 2. I will make the solutions for homework
available on 3/5.
Rao
ps: Here is what is added:
Part 4(Added new):
- Consider the following inference rule: if we know A V B; and we
know ~A, we can derive B. Show that this
inference is sound using truth-table method. Is this inference complete? Can
you show that this is a special case of resolution?
-
(Problem 7.9 from the text book)
Given the following, can you prove that the unicorn is mythical? How
about magical? Horned?
"If the unicorn is mythical, then it is immortal, but if it is not
mythical, then it is a mortal animal. If the unicorn is
either immortal or a mammal, then it is horned. The
unicorn is magical if it is horned."