COMS W4701y: Artificial Intelligence Midterm Exam March 11, 2004
COMS W4701y: Artificial Intelligence Midterm Exam March 11, 2004
COMS W4701y: Artificial Intelligence Midterm Exam March 11, 2004
MIDTERM EXAM
March 11, 2004
DIRECTIONS
This exam is closed book and closed notes. It consists of three parts. Each part is labeled with the
amount of time you should expect to spend on it. If you are spending too much time, skip it and go
on to the next section, coming back if you have time.
The first part is multiple choice. The second part is short answer and problem solving. The third
part is an essay question.
Important: Answer Part I by circling answers on the test sheets and turn in the test itself. Answer
Part II and Part III in separate blue books. In other words, you should be handing in the test and at
least two blue books.
2. In which of the following search algorithms is it possible to confuse a local maximum with a
global maximum?
a. depth first b. A*
b. hill climbing d. greedy search
3. Which of the following search algorithms is not optimal? (assuming that step costs are
identical)
a. depth-first b. uniform cost
c. breadth-first d. iterative deepening
1
4. A semantic network
5. An ontology
6. An inference procedure
2
8. An inference method is complete if it
10. Which of the following statements about a frame-based representation is not true?
3
Part II. Problem Solving. 65 points. 45 minutes.
MAX
MIN
10
4 8
10 2 8
7 3 1 14 2
2 8
2. [20 points] Solve the cryptarithmetic problem below by hand, using backtracking, forward
checking, and the minimum remaining values and the least-constraining-value heuristics.
Show your work, indicating where forward checking and each of the heuristics comes into
play.
PIN
+ PIN
KNOT
4
3. [20 points] Resolution Search.
Knowledge Base:
Either (I have a sweet tooth and I like chocolate) or (I like chocolate and I like cake)
Rules:
Goal: I am a chocoholic
B. Put the resulting sentences into Conjunctive Normal Form using applicable conversions from the
table below.
C. Using proof by refutation and resolution as the single inference rule, show the resolution proof
that proves or disproves the goal.
5
4. [15 points] Consider the search space below, where S is the start node and G1 and G2 are goal
nodes. Arcs are labeled with the value of a cost function; the number gives the cost of traversing the
arc. Nodes are labeled with the value of a heuristic function; the number gives the estimate of the
distance to the goal. Assume that uninformed search algorithms always choose the left branch first
when there is a choice.
For each of the following search strategies, indicate 1. which goal state is reached first (if any) and
2. list in order, all the states that are popped off the OPEN list.
Depth-first
Iterative Deepening
Breadth-first
Greedy
A*
S
5 3
2
B C
A 1 1
1 3
2
4 1
1
G1
0 5
5
D
9 1
8 2
F G2
7
6 0
`
6
Part III. Essay. 15 points. 15 minutes.
Games are interesting for artificial intelligence because they are hard. Chess, for example, has a
branching factor of 35, with a typical game containing some 10 35 nodes. Many search problems
have a similar problem. In these types of game and search problems, a program must make some
type of decision even when the optimal decision cannot be found.
a. Heuristics are one way for either a game playing program or search to arrive at a good decision.
Provide an argument why heuristic functions (or evaluation functions) are a form of intelligent
behavior, drawing on at least two different definitions of artificial intelligence. Give two examples
in your argument of why this is the case.
b. Describe one other technique that either game playing programs, search or constraint satisfaction
use in addition to heuristics to help make good decisions in reasonable time.