Inference example(00:11:05 - 00:12:45) - Logic 4 - Inference Rules | Stanford CS221: AI (Autumn 2021)

Inference example(00:11:05 - 00:12:45)
Logic 4 - Inference Rules | 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: inference rules
5:51 Inference framework
11:05 Inference example
12:45 Desiderata for inference rules
16:11 Soundness and completeness The truth, the whole truth, and nothing but the truth
17:58 Soundness: example
23:13 Fixing completeness

#Stanford #AI

Stanford Online

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

Timetable

動画タイムテーブル

動画数:2418件