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

Резолюция — одна из самых элегантных и мощных идей в логике. Она лежит в основе многих ранних работ в области ИИ, и сегодня используется во многих инструментах автоматизированного рассуждения, например, в автоматизированном доказательстве теорем. В этом видео мы рассмотрим, что такое резолюция, как она работает, что с ней можно делать, откуда она появилась и почему она важна. Вы можете поддержать канал и помочь ему развиваться, сделав пожертвование на моей странице 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 #логика #доказательство #автоматизированноерассуждение #информатика