CSCI 4511W Midterm: CS 4511 UMN Midterm 2 03
Document Summary
75 minutes == 75 points open book and notes: 15 points. If yes, prove it by resolution (adding additional ex- pressions if needed). If not, explain why not: 10 points. Specify if each of the following expressions represents correctly the corre- sponding english statement. If not explain why not and correct it: every cat owner loves all animals. Turn to the next page for more questions: no person would harm a cat. Xyperson(x) cat(y) harm(x, y: 15 points. You are given the following pairs of clauses where upper case letters indi- cate constants, lower case letters indicate variables, functions, or predicates. In each pair variables with the same name are meant to be the same variable. For each of the pairs specify if they can be resolved. Show the backed-up up values for all the nodes in the following game tree and show the branches that are pruned by alpha-beta.
