This is intended to give you a sense of what I think is important from
the course so far, and what I will be thinking of when creating the
exam.

I hate disclaimers, but here are some anyway. This is not a
contract. I may have inadvertently left something off this list that
ends up in an exam question. I make no guarantees that the exam will
be 100% limited to items listed below. Moreover, I will not be able to
test all of this material given the time limitations of the exam. I
will have to pick and choose some subset of it.

You are permitted one 8.5 x 11 sheet of paper with notes (both sides)
for use as a reference during the exam.

Here are the specifics: Students should be able to...

Answer detailed questions about how expectiminimax works, from
conceptual, algorithmic, and programming perspectives. [This was not covered on the last exam]

Define entailment, and show what entailment means on a truth table.

Take a general logical statement and convert it to conjunctive normal
form (CNF).

Take a knowledge base provided in English and represent it in CNF.

Use resolution and proof by contradiction to prove if a knowledge base
entails a particular statement.

Interpret and explain when resolution allows you to draw conclusions,
and when you can't (deriving false vs. true, etc.)

Demonstrate how forward chaining works.

Demonstrate how backward chaining works.

Describe advantages and disadvantages of resolution approach, forward
chaining, and backward chaining.

Write Prolog predicates on paper to do specified tasks, or answer
questions about provided code. Specifically, students should be able
to successfully make use of lists, recursion, and the cut operator.

Be able to distinguish Prolog approach for solving problems from the
CNF/SAT-solver approach that we used. Specifically, be able to explain
differences between them, and advantages and disadvantages thereof.

Explain what supervised learning is and why it matters, be able to fit
problems into a supervised learning framework if appropriate.

Explain and/or demonstrate what overfitting is, answer questions about
it, and what factors contribute to it.