Пропозициональная логика: представление

Описание: Эта лекция разработана в рамках курса для аспирантов по теме «Искусственный интеллект для медицинских приложений и биомедицинских исследований» в Медицинском университете Седарс-Синай. Курс посвящен изучению того, как ИИ может стать движущей силой автоматизированной поддержки принятия клинических решений и медицинских открытий. Мы рассмотрим концепции логики, представления знаний, экспертных систем для автоматизированного принятия решений, алгоритмов поиска, неопределенности в рассуждениях и другие смежные темы, которые позволят вам эффективно и этично разрабатывать, понимать и применять решения в области здравоохранения на основе ИИ. Мы рассмотрим, чем ИИ отличается от машинного обучения и чем он отличается от него, а также различие между индуктивным и дедуктивным рассуждением. На практике курс предоставит вам инструменты для организации, представления, интерпретации и поиска биомедицинских данных для получения знаний, автоматизации решений и прогнозирования, избегая при этом предвзятости.

Разделы:
0:00 Введение
2:47 Что такое пропозициональная логика?

5:27 Язык утверждений
17:05 Истинность утверждений
22:43 Эквивалентность
31:23 Логические вычисления
35:52 Резюме