Logic 7 - First Order Logic | Stanford CS221: AI (Autumn 2021)

preview_player
Показать описание

Associate Professor Percy Liang
Associate Professor of Computer Science and Statistics (courtesy)

Assistant Professor Dorsa Sadigh
Assistant Professor in the Computer Science Department & Electrical Engineering Department

To follow along with the course schedule and syllabus, visit:

0:00 Introduction
0:06 Logic: first-order logic
0:36 Limitations of propositional logic
5:08 First-order logic: examples
6:19 Syntax of first-order logic
12:55 Natural language quantifiers
15:47 Some examples of first-order logic
20:01 Graph representation of a model If only have unary and binary predicates, a model w can be represented as a directed graph
22:09 A restriction on models
24:16 Propositionalization If one-to-one mapping between constant symbols and objects (unique names and domain closure)
  1. Stanford Online
  2. Stanford
  3. AI
Рекомендации по теме
Lecture 7: First 0:49:37

Lecture 7: First Order Logic - Reasoning

Introduction to First 0:05:20

Introduction to First Order Logic

Logic | Propositional 0:08:39

Logic | Propositional Logic | - | First Order Logic | - | Higher Order Logic |

First-order Logic 0:16:50

First-order Logic

Introduction to First 0:39:33

Introduction to First Order Logic (FOL)

Mathematical Logic. Lecture 0:18:00

Mathematical Logic. Lecture 7: Inference Rules for First Order Logic

Logic & Foundations 0:17:22

Logic & Foundations with Haskell: Logic 7 :: Semantics for Propositional Logic

Predicate Logic 7 0:03:50

Predicate Logic 7 - Understanding the Order of Quantifiers

7. Concept of 0:07:23

7. Concept of predicates - First Order Logic - Gate

First Order Logic 0:05:14

First Order Logic (Solved Problems) - Part 1

Mathematical Logic, Lecture 0:50:17

Mathematical Logic, Lecture 1 (First-order logic: languages, structures and formulas)

First Order Logic 1:18:09

First Order Logic

How to Read 0:27:32

How to Read Logic

NEWYES Calculator VS 0:00:14

NEWYES Calculator VS Casio calculator

First Order Logic 0:05:23

First Order Logic (FOL) | Artificial intelligence | Lec-28 | Bhanu Priya

Lecture 6: First 0:40:37

Lecture 6: First Order Logic - Representation

First Order Logic 0:04:52

First Order Logic (Solved Problems) - Part 4

First Order Logic: 0:22:42

First Order Logic: Semantics

First Order Logic 0:21:53

First Order Logic

How to write 0:09:24

How to write First order/Predicate logic | Artificial Intelligence

First Order Logic 0:33:34

First Order Logic

First Order Logic 0:20:25

First Order Logic Overview

Compactness Theorem and 0:14:08

Compactness Theorem and Expressive Limitations of First Order Logic

Logical semantics with 0:11:23

Logical semantics with set theory | First-Order Logic | Attic Philosophy

Комментарии
Автор

You don’t understand how much this helped

watermellon
Автор

That really hit me so bad that I started jumping, thank you for the satisfying explanation!

AmerAshoush-nc
Автор

Thank you so much, your video helped me a lot, it actually saved me. Thanks 🙏😊

manim
Автор

Great video, loved the explanation :)

Aminakzyzz
Автор

Hey love your channel and may I ask a question:

If in set theory, I can create a relation which takes a set of elements which are propositions (like set a is a subset of set b) and map it to a set of elements containing “true” and “false”, then why is it said that set theory itself can’t make truth valuations?

I ask this because somebody told me recently that “set theory cannot make truth valuations” Is this because I cannot do what I say above? Or because truth valuations happen via “deductive systems” and not actually within first order set theory ?

MathCuriousity
Автор

PROPositional logic
Not
"PREPositional" logic... (!!)

dvs
Автор

anyone counted how many (k) she is saying in a minute

studyaccount-vewr