Introduction(00:00:00 - 00:00:06) - Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)

Introduction(00:00:00 - 00:00:06)
Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)

For more information about Stanford's Artificial Intelligence professional and graduate programs visit: https://stanford.io/ai

Associate Professor Percy Liang
Associate Professor of Computer Science and Statistics (courtesy)
https://profiles.stanford.edu/percy-liang

Assistant Professor Dorsa S...
For more information about Stanford's Artificial Intelligence professional and graduate programs visit: https://stanford.io/ai

Associate Professor Percy Liang
Associate Professor of Computer Science and Statistics (courtesy)
https://profiles.stanford.edu/percy-liang

Assistant Professor Dorsa Sadigh
Assistant Professor in the Computer Science Department & Electrical Engineering Department
https://profiles.stanford.edu/dorsa-sadigh

To follow along with the course schedule and syllabus, visit:
https://stanford-cs221.github.io/autumn2021/#schedule

0:00 Introduction
0:06 Logic: propositional logic semantics
5:19 Interpretation function: definition
7:36 Interpretation function: example Example: Interpretation function
11:13 Models: example
17:21 Adding to the knowledge base
23:17 Contradiction and entailment
23:30 Contingency
25:40 Tell operation
27:23 Ask operation
28:19 Digression: probabilistic generalization
31:45 Satisfiability
37:02 Model checking

#Stanford #AI
Introduction - Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)

Introduction

Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)
2022年06月01日 
00:00:00 - 00:00:06
Logic: propositional logic semantics - Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)

Logic: propositional logic semantics

Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)
2022年06月01日 
00:00:06 - 00:05:19
Interpretation function: definition - Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)

Interpretation function: definition

Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)
2022年06月01日 
00:05:19 - 00:07:36
Interpretation function: example Example: Interpretation function - Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)

Interpretation function: example Example: Interpretation function

Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)
2022年06月01日 
00:07:36 - 00:11:13
Models: example - Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)

Models: example

Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)
2022年06月01日 
00:11:13 - 00:17:21
Adding to the knowledge base - Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)

Adding to the knowledge base

Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)
2022年06月01日 
00:17:21 - 00:23:17
Contradiction and entailment - Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)

Contradiction and entailment

Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)
2022年06月01日 
00:23:17 - 00:23:30
Contingency - Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)

Contingency

Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)
2022年06月01日 
00:23:30 - 00:25:40
Tell operation - Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)

Tell operation

Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)
2022年06月01日 
00:25:40 - 00:27:23
Ask operation - Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)

Ask operation

Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)
2022年06月01日 
00:27:23 - 00:28:19
Digression: probabilistic generalization - Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)

Digression: probabilistic generalization

Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)
2022年06月01日 
00:28:19 - 00:31:45
Satisfiability - Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)

Satisfiability

Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)
2022年06月01日 
00:31:45 - 00:37:02
Model checking - Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)

Model checking

Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)
2022年06月01日 
00:37:02 - 00:38:34

Stanford Online

※本サイトに掲載されているチャンネル情報や動画情報はYouTube公式のAPIを使って取得・表示しています。

Timetable

動画タイムテーブル

動画数:2418件