8.6 6
ES
@l
7:
2001
F a+
f( x, t, s):.
x. t.
.
s. student(x):x
F
xf (studentd xd ,2001d
d. 1
? +
best(x):. + F x
.
Large(best(.
). best(.
+J g.+
f 1
I
.
insure(x,y):.
, do
.
do(s): . s .
)
large. x. y.
x. y.
)
x.
y. invest(y).
y.
x( insure ( x , y
6.1
@
D
O?
D
*
`
H
X 3=1
H
+
5
*
+O1(s)
a
Jv
` .
*
b
Jv
` .
*
c.P
*
D
p
d.H
*
Xn
+1,
1
 P
D
p
*
On
O3=1
H
0*
+
5
n
X
n O?
D
*
`
1 `
D
*
?
0
Eval(s)=3* X 2(s)+X 1(s)(3* O2(s)
2
H 
p
2
a. Y
37
39
1
b. *
9
x
1
2
1
1
9*
D
Y
1
0
1
1
2
1
0
2
0

5
5.5 a. @
7i
F
cfw_@
+
C
%
1 2
n
*
n
y
(0,b)
i*
"y
F
ai
(a,b)
x
(0,0
)
(a,0
)
bi
n
*
X
X
*
X
*
X
X 1,X 2, X n. X i=(xi ,yi)
xi, yi *
*
y
c
h
4
xi, yi X
*
i X
(0 xi a ai & &0 yi b bi )  ( xi = , yi = )
Xi
+bj
C1:
X
*
>=X j
X i,X j x
+aj
Xi
>=X j
b.
Firstorder logic
Chapter 8
Chapter 8
1
Outline
Why FOL? Syntax and semantics of FOL Fun with sentences Wumpus world in FOL
Chapter 8
2
Pros and cons of propositional logic
Propositional logic is declarative: pieces of syntax correspond to facts Proposit
Game playing
Chapter 6
Chapter 6
1
Outline
Games Perfect play minimax decisions pruning Resource limits and approximate evaluation Games of chance Games of imperfect information
Chapter 6
2
Games vs. search problems
Unpredictable opponent solution is a s
Constraint Satisfaction Problems
Chapter 5
Chapter 5
1
Outline
CSP examples Backtracking search for CSPs Problem structure and problem decomposition Local search for CSPs
Chapter 5
2
Constraint satisfaction problems (CSPs)
Standard search problem: state
Problem solving and search
Chapter 3
Chapter 3
1
Reminders
Assignment 0 due 5pm today Assignment 1 posted, due 2/9 Section 105 will move to 910am starting next week
Chapter 3
2
Outline
Problemsolving agents Problem types Problem formulation Example pro
Artificial Intelligence
Chapter 1
Chapter 1
1
Outline
What is AI? A brief history The state of the art
Chapter 1
2
What is AI?
Systems that think like humans Systems that think rationally Systems that act like humans Systems that act rationally
Chapter 1