CSci 5511
Fall 2004
Final Exam
Wednesday December 22 120 minutes = 120 points open book and notes
1. 40 points Write one STRIPS-like operator schema for grabbing objects and one for carrying the grabbed objects (if any) from a location to another. The Gra

CSci 5511
Fall 2008
1st Midterm Exam
Tuesday October 7 75 minutes = 75 points Open book and notes
1. 20 points Consider the following problem: you are given a path of N white and black squares. The exact conguration of white and black squares and the leng

CSci 5511
Fall 2004
1st Midterm Exam
Monday October 11 75 minutes = 75 points open book and notes
1. 15 points Propose an admissible (and not trivial, i.e. h(n) = 0 is not a valid answer) heuristic for the Missionaries and Cannibals problem. Assume there

CSci 5511
Fall 2008
Final Exam
Tuesday December 16 120 minutes = 120 points Open book and notes
1. 15 points Prove by resolution that the following set of expressions in CNF is unsatisable. Assume that upper case arguments are constant, lower case argumen

CSci 5511
Fall 2004
2nd Midterm Exam
Wednesday November 17 75 minutes = 75 points open book and notes
1. 10 points Two sentences in propositional calculus can be shown to be equivalent by proving that one entails the other and viceversa. (a) Prove by cont

CSci 5511
Spring 2008
2nd Midterm Exam
Tuesday April 8 75 minutes = 75 points Open book and notes
1. 15 points 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 prun

CSci 5511
Spring 2003
2nd Midterm Exam
Tuesday April 8 75 minutes = 75 points open book and notes
1. 15 points Use resolution to prove that (S R) is entailed by the following set of propositional expressions: 1. 2. 3. 4. 5. 6. (Q) Z W (W Q (P ) (W Z) S Q

CSci 5511
Spring 2003
1st Midterm Exam
Tuesday February 24 75 minutes = 75 points open book and notes
1. 15 points You are given the following graph, where each node has an identifier (a letter) and an h value. A number along an arc indicates the cost of

CSci 5511
Final Exam
Tuesday May 13 120 minutes = 120 points open book and notes
Spring 2003
1. 30 points 10 each 1. Represent the following sentences in predicate calculus: 1. 2. 3. 4. 5. There are at least two cats who live in the village. All cats who

CSci 5511
Spring 2008
1st Midterm Exam
Tuesday February 19 75 minutes = 75 points Open book and notes
1. 20 points You are given an instance of the traveling salesperson problem (TSP). A salesperson has to visit a group of cities, visiting each only once

CSci 5511
Fall 2008
2nd Midterm Exam
Tuesday November 18 75 minutes = 75 points Open book and notes
1. 15 points 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 pr

CSci 5511
Spring 2008
Final Exam
Tuesday May 13 120 minutes = 120 points Open book and notes
1. 15 points Prove by resolution that the following set of clauses (in predicate calculus) is unsatisfiable. Assume that upper case arguments are constant, lower