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

Эта лекция разработана в рамках курса для аспирантов по теме «Искусственный интеллект для медицинских приложений и биомедицинских исследований» в Медицинском университете Седарс-Синай. Курс посвящен изучению того, как ИИ может стать движущей силой автоматизированной поддержки принятия клинических решений и медицинских открытий. Мы рассмотрим концепции логики, представления знаний, экспертных систем для автоматизированного принятия решений, алгоритмов поиска, неопределенности в рассуждениях и другие смежные темы, которые позволят вам эффективно и этично разрабатывать, понимать и применять решения в области здравоохранения на основе ИИ. Мы рассмотрим, чем ИИ отличается от машинного обучения и чем он отличается от него, а также различие между индуктивным и дедуктивным рассуждением. На практике курс предоставит вам инструменты для организации, представления, интерпретации и поиска биомедицинских данных для получения знаний, автоматизации решений и прогнозирования, избегая при этом предвзятости. Разделы: 0:00 Введение 2:47 Что такое пропозициональная логика? 5:27 Язык утверждений 17:05 Истинность утверждений 22:43 Эквивалентность 31:23 Логические вычисления 35:52 Резюме