Propositional Logic
EECS 492 Lecture 9
5 Feb 15
Announcements
PS2 due before we meet again! Questions?
Lecture Outline
Entailment and Inference
Validity and Satisfiability
Propositional logic syntax
Inference Rules
Proofs
Forward and Backward Chaining
Res

Logical Agents
EECS 492 Lecture 8
3 Feb 15
Announcements
Discussion section snow-out.
PS2 due in less than a week. Questions?
PS1 status.
AI seminar
None today
Thursday 9am!
Lecture Outline
Dealing with incomplete knowledge
Knowledge Bases and KB Agents
D

Problem Solving as
Search
EECS 492 Lecture 3
15 Jan 15
Announcements
Discussion sections begin tomorrow.
MLK Day issue
Discussion section and office hours on Monday as
scheduled
HOWEVER, if interferes with your participation in MLK
events, you can attend

First-Order Logic
Inference (1)
EECS 492 Lecture 11
12 Feb 15
1
Announcements
PS3
Reminder: No late assignments accepted!
Midterm exam look-ahead
February 26th
Material through Logic (PS3)
Closed book but cheat sheet allowed
Ive been asked to remind you a

Constraint Satisfaction
Problems
EECS 492 Fall 2014 Discussion Session
Constraint Satisfaction
Problems
Example of a Constraint Satisfaction Problem (CSP)
Representing a CSP
Solving a CSP
Backtracking search
Forward Checking and AC3
Constraint Satisfact

Uninformed Search
EECS 492 Lecture 4
20 Jan 15
Announcements
Waitlist update
PS1 due in less than a week. Questions?
AI seminar today
John Laird:
Interactive Task Learning
The goal of my research is to develop a general cognitive architecture that
support

Bayesian Networks
EECS 492 Lecture 17
17 Mar 15
Announcements
PS4 questions?
Due midnight next Monday night.
PS3 grades posted
Midterm Exam
Grades posted; hardcopies available after class
Mean and median ~73
Midsemester grades
87 and above is A range
77 a

Constraint
Satisfaction
EECS 492 Lecture 7
29 Jan 15
Announcements
PS2 is on the web. Questions?
Finishing today the lecture topics covered in
the assignment!
Lecture Outline
Constraint Satisfaction Problems
Examples
Definitions
Making smart choices going

Intro to Planning
EECS 492 Lecture 13
19 Feb 15
Announcements
PS3 due on Monday midnight
No late assignments accepted
Questions?
PS2 grading completed in next several days,
and example solutions will be posted
Near-Term Schedule
Today begin planning; NOT

Uncertainty
EECS 492 Lecture 16
12 March 15
Announcements
PS4 has been posted. On planning.
Midterm and PS3 grading nearly done; expect
grades before next Tuesday.
Exams available for pickup after Tuesday class.
Discussion sections resume tomorrow.
Coveri

First-Order Logic
EECS 492 Lecture 10
10 Feb 15
1
Announcements
PS2 was due late last night.
PS1 graded, returned. Questions.
PS3 on the web tonight.
Heads up: PS3 due right before the midterm.
Wont be late days available on this one!
Looking ahead to mid

Final Exam
EECS 492 Introduction to Artificial Intelligence
December 17, 2014
Name: _
Uniqname: _
This exam is closed book: you may not use the textbook, lecture slides, or any type of
computing device. You may use a calculator (not a cellphone or a compu

Exercise #8
Question
Consider the following payoff matrix:
Alice: Action1
Alice: Action2
Alice: Action3
Bob: Action1
A=8, B=3
A=6, B=2
A=9, B=9
Bob: Action2
A=5, B=5
A=4, B=4
A=1, B=10
Bob: Action3
A=10, B=1
A=8, B=9
A=6, B=6
Alice can take one of three a

Lecture 4:
Uninformed Search
EECS 492
Introduction to Artificial
Intelligence
Midterm Update
Room has now been scheduled!
Midterm info:
Date: October 23
Time: 6-8pm
Location: Chrysler 220 and DOW 1013
How many people are in EECS 482?
9/11/14
Problem

Le
t+urT,
O
to
Wtnp.t- cM'4
1,1./e
Cocfw_(,r
M
0 [rtl.rf n f-o Yryd, mLahtl-a
@ Tn[vw1
Wl
S
rcrrdvl 7
J
(& w*lnuds
t
;,
Jl
Whe+ we rc v\r( ossumr'nq 1
U
O gbsrrval.ri ttlul
, -@ o*+<YrnLntsda
r':'
ph-q\^ln 4Y1v t ro nrflcn +g:
@
6oLracfw_l on = sefrArn Cg

Mid-term examination
EECS 492: Introduction to Artificial Intelligence
Practice Exam without Answers
Write your name on the exam:
Closed books, closed notes.
No computers, cell phones, or calculators. (They wouldnt help anyway.)
There are six problems.

Practice Final Examination
EECS 492: Introduction to Artificial Intelligence
4 December 2015
Print your name clearly on the exam:
Practice Final, without Answers
Closed books, closed notes.
No cell phones. No calculators. (They wouldnt help anyway.)
Th

Assignment 2: Planning
EECS 492: Artificial Intelligence
Fall 2015
Now: Thursday, October 1, 10:30 am
Due: Thursday, October 22, 11:00 pm
You are a summer intern at ACME shipping company, which owns a harbor with cargo ships,
cranes, roads, robots, parkin

Practice Final Examination
EECS 492: Introduction to Artificial Intelligence
4 December 2015
Print your name clearly on the exam:
Practice Final, with answers
Closed books, closed notes.
No cell phones. No calculators. (They wouldnt help anyway.)
There

Mid-term examination
EECS 492: Introduction to Artificial Intelligence
Practice Exam with Answers
Write your name on the exam:
Closed books, closed notes.
No computers, cell phones, or calculators. (They wouldnt help anyway.)
There are six problems. Yo

Quiz #7
EECS 492 - Introduction to Artificial Intelligence
Date: November 15, 2012
Name 1: _
Name 2: _
Question
Part 1
Assume there are three variables: A, B, C. Each variable is binary (e.g., A=a or A=~a). Use
the following tables to calculate P(A,B) for

Exercise #7
Question
Part 1
Assume there are three variables: A, B, C. Each variable is binary (e.g., A=a or A=~a). Use
the following tables to calculate P(A,B) for all values of A and B. What is P(A)?
A
T
T
F
F
Probability(A,B,C)
B P(A,B,c) P(A,B,~c
)
T

Quiz #9
EECS 492 - Introduction to Artificial Intelligence
Date: December 6, 2012
Name 1: _
Name 2: _
Question
Consider the following attributes. Calculate the entropy of each attribute (the entropy of
the values that the attribute takes) and information

Plan-Space Planning
EECS 492 Lecture 14
24 Feb 15
Announcements
PS3 was due last night, midnight
If you didnt turn it in yet, do so now, because
Sample solutions will be posted after class
PS2 graded; example solutions posted
Sample exam questions posted