CS 370 - Spring 2025. 2/19/2025
[Home]
Welcome to CS 370!
Video of the Day
First computer to sing - Daisy Bell submitted by Jennifer Chen.
This is a video of the first robot/computer to sing, I thought it was
interesting because I have heard this audio floating around the
internet for ages as its usually used as a sort of "cryptic" or
"unsettling" audio but when I heard the real backstory behind it it
changed my whole perspective on it. As I now know how impressive and
happy those scientists must have been when they created the first
non-human thing to sing.
6 Humans vs 1 Secret AI | Odd One Out submitted by Jennifer Chen.
I watched this video years ago and thought it was really
impressive. Essence of the video is that they all talk to each other
in a group chat and are given prompts to answer, and the humans try to
vote out the AI. Although the humans ended up voting out the AI, that
was only after they had already voted out 4 actual human. Thought it
was a testament to how good artificial intelligence is at imitating
human nature.
AI vs. AI. Two chatbots talking to each other Check the textbook on the table! submitted by Jennifer Chen.
This video was made 13 years ago, but I thought it was kinda
unsettling that their conversation seemed to have turned into a
passive aggressive / impatient tone so quickly after starting out as
friendly!?
I hereby solicit suggestions for the video of the day. Please email
me your ideas with explanations. Selected entries will win 5 homework
points. If your video is played at the beginning of class, you must
also briefly explain something about the video and something about
yourself - in person.
Canvas Quiz of the Day (need daily password)
Most days, there will be a simple canvas quiz related to the lecture.
You need a password to activate the quiz, which I will provide in class.
These quizzes will count toward your class participation grade.
The quiz is available only during class. You get full credit for
class participation by completing half of the quizzes.
Click for today's quiz.
Lecture 11: Logic
Announcements
Midsemester feedback is open on canvas starting today (2/17/2025) for one week. It is anonymous. This is Yale's version of Yelp.
Information Society Project Yale Law School. Weekly Events
Administrivia
I have office hours Wednesdays from 5-6 p.m this week. via Zoom, meeting ID
459 434 2854.
The TF's office hours are posted on Ed Discussion.
I am available for lunch on Mondays at 1 pm in Morse.
Homework assignments:
[Assignments]. hw4 is now
available. Updated hw3 due date on gradescope to 2/24/25.
A pdf of the third edition of AIMA is available on canvas in the files folder.
The great ideas in AI list now appears on the course index page.
Midterm Exam: Wednesday, February 26th, 2:30pm
The exam will be in class.
Contact the SAS office if you are eligible for test accomodation. They will be proctoring the exam.
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 9 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 2019.
(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.
- 0217.ipynb
Fixed problem with expr() examples. Replaced "^" with "&".
Case of RTFM.
0217.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.
- 0217hw4.ipynb
logic.py answers for some hw4(7) questions.
0217hw4.html
- Planning (Chapters 10-11). There will NOT be a planning question.
- There will be no questions about classic Yale AI.
- Old
exams from Russell at Berkeley I used these for
inspiration.
Isobel will hold a review session over the weekend. Probably Sunday from 1 -2pm. See
Ed Discussions for updates.
Asides from previous lectures
A Realistic Model of Rationality Slade (1994). Overview of
the VOTE program. (We will return to this later.)
AI in the news
Access to Economist (Economist.com)
Access to Financial Times
Access to Wall Street Journal from Yale.
Q and AI Bloomberg.
Access to Bloomberg.com from Yale.
Lecture: Logic and Planning
2019 Scassellati Slides:
Jupyter notebooks:
AIMA Slides:
[Home]