Доказательства разрешения в логике

Описание: Резолюция — одна из самых элегантных и мощных идей в логике. Она лежит в основе многих ранних работ в области ИИ, и сегодня используется во многих инструментах автоматизированного рассуждения, например, в автоматизированном доказательстве теорем. В этом видео мы рассмотрим, что такое резолюция, как она работает, что с ней можно делать, откуда она появилась и почему она важна.

Вы можете поддержать канал и помочь ему развиваться, сделав пожертвование на моей странице Ko-fi: https://ko-fi.com/atticphilosophy

00:00 - Вступление
00:28 - Что такое резолюция?

02:40 - Резолюция и Modus Ponens
03:50 - Откуда появилась резолюция?

05:45 - Конъюнктивная нормальная форма
06:58 - Доказательства опровержения
11:21 - Резолюция в автоматизированном доказательстве теорем

Если есть тема, которую вы хотели бы увидеть освещенной, оставьте комментарий ниже.

Ссылки:

Моя страница, посвященная академической философии: http://markjago.net
Моя книга «Что такое истина»: http://bit.ly/JagoTruth
Большинство моих публикаций доступны бесплатно здесь: https://philpapers.org/s/Mark%20Jago

#логика #доказательство #автоматизированноерассуждение #информатика