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 grabb
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 ex
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 fo
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 tha
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
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 branc
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 expr
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 a
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 a
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 h
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 bra
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