Professional Documents
Culture Documents
A General Introduction To Artificial Intelligence
A General Introduction To Artificial Intelligence
Artificial Intelligence
Outline
Continuous variables
e.g., start/end times for Hubble Space Telescope observations
linear constraints solvable in polynomial time by linear
programming
Varieties of Constraints
Unary constraints involve a single variable,
e.g., SA ≠ green
Variables: F T U W
R O X1 X2 X3
Domains: {0,1,2,3,4,5,6,7,8,9}
Constraints: Alldiff (F,T,U,W,R,O)
O + O = R + 10 · X1
X1 + W + W = U + 10 · X2
X2 + T + T = O + 10 · X3
X3 = F, T ≠ 0, F ≠ 0
Real-world CSPs
Assignment problems
e.g., who teaches what class
Timetabling problems
e.g., which class is offered when and where?
Transportation scheduling
Factory scheduling
Idea:
Keep track of remaining legal values for unassigned
variables
Terminate search when any variable has no legal
values.
Forward Checking
Idea:
Keep track of remaining legal values for unassigned
variables
Terminate search when any variable has no legal
values.
Forward Checking
Idea:
Keep track of remaining legal values for unassigned
variables
Terminate search when any variable has no legal values.
Forward Checking
Idea:
Keep track of remaining legal values for unassigned
variables
Terminate search when any variable has no legal values
Constraint Propagation
Forward checking propagates information from assigned to
unassigned variables, but doesn't provide early detection
for all failures:
To apply to CSPs:
allow states with unsatisfied constraints
operators reassign variable values
Textbook Chapter 5.
M.R.Garey and D.S. Johnson, Computers and
Intractability: A Guide to the Theory of NP-
Completeness, W.H. Freeman, 1979 .
K. Marriott and P.J. Stuckey, Programming with
constraints: An Introduction, MIT Press, 1998.
Adversarial Search
Outline
Optimal decisions
α-β pruning
Imperfect, real-time decisions
Games vs. Search Problems
Standard approach:
cutoff test:
e.g., w1 = 9 with
f1(s) = (number of white queens) – (number of black
queens), etc.
Learning components of evaluation functions.
Learning entire evaluation functions.
Cutting off Search
MinimaxCutoff is identical to MinimaxValue except
1. Terminal? is replaced by Cutoff?
2. Utility is replaced by Eval
Textbook chapter 6.
A.G. Bell, Games Playing with Computers,
George Allen and Unwin, 1972 .
L. Dorfman and N. Ghosh, Developing
Games That Learn, Prentice Hall, 1996.