В ряде случаев для определения тождеств удобен так называемый алгоритм редукции. Алгоритм основан на доказательстве ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Смолин Д.В. Введение в искусственный интеллект - конспект лекций


В ряде случаев для определения тождеств удобен так называемый алгоритм редукции. Алгоритм основан на доказательстве путем приведения к абсурду. Метод особенно хорош, когда формула содержит много импликаций. Согласно принципу дедукции, вопрос о выводимости ( не выводимости) некоторой формулы сводится, в конечном счете, к анализу невыполнимости множества ее дизъюнктов. Множество дизъюнктов невыполнимо тогда и только тогда, когда логическим следствием из него является пустой дизъюнкт. Метод, позволяющий получить логические следствия из множества дизъюнктов, основан на применении принципа резолюций.

(cкачать страницу)

Смотреть книгу на libgen

В ряде случаев для определения тождеств удобен так называемый алгоритм редукции. Алгоритм основан на доказательстве путем приведения к абсурду. Метод особенно хорош, когда формула содержит много импликаций. Согласно принципу дедукции, вопрос о выводимости ( не выводимости) некоторой формулы сводится, в конечном счете, к анализу невыполнимости множества ее дизъюнктов. Множество дизъюнктов невыполнимо тогда и только тогда, когда логическим следствием из него является пустой дизъюнкт. Метод, позволяющий получить логические следствия из множества дизъюнктов, основан на применении принципа резолюций.