CS 470 - Spring 2020.
[Home]
Welcome to CS 470!
Video of the Day
Bluedot used
AI to predict outbreak of coronavirus in December
bluedot infectious disease surveillance
Poll of the Day
Data mining has been around for a long time. Supermarket checkout data was
one of the earliest sources of big data that was mined.
What two products were often purchased together by fathers of infants,
as discovered by early grocery data miners?
https://pollev.com/cs470
You may also download the app to your phone. Use the "cs470" poll id.
Lecture : Uncertainty. 2/26/2020
Administrivia
I have office hours Wednesdays from 4-6 pm, Room 014 AKW. Also,
I invite students to join me for lunch in a residential college
after class on Wednesdays. Not this week! Microsoft AI Talks instead.
ULA office hours. See the
[Contact Info and
Schedule] as well as piazza.
[Assignments].
hw4 has been posted. However, it will not be graded and you do not
submit it. It is meant to prepare you for questions on the midterm exam.
Here are the answers to hw4.
Microsoft Research AI Presentations Feb 26, 12-2pm, AKW 200
(see notice below.)
Midterm Exam: Monday, March 2nd, 10:30am
The exam is next Monday, in class. It will comprise true/false
and short answer questions. You will not be asked to write
code. You may be asked to read Python code. The first 10 or so
chapters of the textbook are in scope.
- Agents and Environments. (Chapters 1-2, hw1) Turing Test,
intelligent agents, rational agents, environments.
- Search. (Chapters 3-4, hw2) Just the algorithms from
the hw: depth, breadth, best, and a* - related heuristics, and how they
behave and how they are implemented.
- Game Playing (Chapter 5, hw3 but really just minimax and alpha-beta pruning)
- Logic (Chapters 7-9, hw4)
[No Chapter 6 questions]
problem set 3
from last year
(solution) Truth Maintenance
is in scope. Unification is not.
-
I will give you English sentences and FOL
representations. You will tell me if the FOL
is accurate or not (and why not or how to fix it). I will not ask you to write
FOL statements from scratch.
- 0217a.ipynb
Fixed problem with expr() examples. Replaced "^" with "&".
Case of RTFM.
0217a.html
You should be familiar with these rules of inference. I suggest
that you practice with the PropKB() from logic.py. You do not
need to be in a jupyter notebook.
- 0226hw4.ipynb
logic.py answers for some hw4(7) questions.
0226hw4.html
- Planning (Chapters 10, but not 11-12) There will be a
PDDL question.
- There will be no questions about classic Yale AI.
- Old
exams from Russell at Berkeley I used these for
inspiration.
Lecture: Uncertainty
Readings: chapters 13-14
2019 Scassellati Slides:
Stuart Russell, Berkeley Slides:
0224.ipynb
Quantifying Uncertainty
0224.html
Bayes' Rule and
the Proof of God's Existence
Ontological Argument for the Existence of God From St. Anselm through
Kurt Gödel (using modal logic, from chapter 12).
0226.ipynb
Probabilistic Reasoning
0226.html
Jupyter notebook keyboard shortcuts
[Home]