CSCI 4511W Midterm: CS 4511 UMN Midterm 2 s08
Document Summary
Show the backed-up values for all the nodes in the following game tree and show the branches that are pruned by alpha-beta. For each branch pruned, explain brie y why alpha-beta prunes it. Follow the convention used in the textbook to examine the branches in the tree from left to right. max min max min. Prove by resolution that the following set of propositional clauses is unsat- is able: Pay attention to how you skolemize the existentially quanti ed variable in 3. Recall that a skolem constant cannot be uni ed with another constant except itself, but it can be uni ed with a variable: prove by resolution that amigo is faster than bunny. , 20 points. For each of the following sentences, decide if the logic sentence given is a correct translation of the english sentence or not. If not explain brie y why not and correct it: there is exactly one house in minneapolis whose cost is ,000.
