Logic 1 - Propositional Logic | Stanford CS221: AI (Autumn 2019)

For more information about Stanford’s Artificial Intelligence professional and graduate programs, visit: stanford.io/3ChWesU
Topics: Logic
Percy Liang, Associate Professor & Dorsa Sadigh, Assistant Professor - Stanford University
onlinehub.stanford.edu/
Associate Professor Percy Liang
Associate Professor of Computer Science and Statistics (courtesy)
profiles.stanford.edu/percy-l...
Assistant Professor Dorsa Sadigh
Assistant Professor in the Computer Science Department & Electrical Engineering Department
profiles.stanford.edu/dorsa-s...
To follow along with the course schedule and syllabus, visit:
stanford-cs221.github.io/autu...
0:00 Introduction
2:08 Taking a step back
5:46 Motivation: smart personal assistant
7:30 Natural language
9:32 Two goals of a logic language
11:59 Logics
16:29 Syntax of propositional logic
21:18 Interpretation function: definition
25:11 Interpretation function: example
27:57 Models: example
31:25 Adding to the knowledge base
34:15 Contingency
35:14 Contradiction and entailment
36:15 Tell operation
37:18 Ask operation
43:47 Satisfiability
46:42 Model checking
52:33 Inference framework
56:36 Inference example
57:46 Desiderata for inference rules
58:37 Soundness
59:01 Completeness

[@vishnudevk3737]

Best material on the basic concepts of Propositional logic out there

[@arunavdas7518]

Fantastic content and delivery on Logics. Loved it!

[@aryangupta3205]

Bravo! such a crisp and clean way to deliver on this topic. Best source I have come across so far.

[@TheRoboticist92]

anyone knows how to get the slides used in this lecture?

[@AakarshNair]

very clear , thanks!

[@FalguniDasShuvo]

Awesome!😊

[@mrr4912]

Well done

[@user-zr4ns3hu6y]

Wonderful

[@yusufhep1578]

perfect perfect perfect

[@anilsekharc7475]

I have a few doubts from this lecture:
1) can we say A B based on one w alone (egs: A=0 & B=0 in w) ?
2) Can any provide an example (interms of truth values) where A -> B doesnt imply A B

[@ilynd]

A = false, B = true
A -> B holds
A B obviously does not

[@user-ul2ce7of8s]

Is this self improvement course

[@truthhammer69]

Can somebody tell me why in gods name Not A AND B equals Not A as in 0

[@brainstormingsharing1309]

👍👍👍👍👍

[@trfyhrghty4222]

👌

[@jasonyam3282]

can anyone tell me what's the laptop this professor has been using, thanks. seems like thunkpad ?

[@mundeepcool]

it's funkpad

[@tushardeb2]

It's thaipad

[@sachinperera4230]

Its a thoughtpad

[@ChrisPBacon-yt8hi]

it’s a maxipad

[@nospamman4443]

it's notepad

[@eightrice]

the fact that these aren't monetized suggests that the university is out of touch