- •Охарактеризуйте основные теоретические проблемы искусственного интеллекта.
- •Назовите основные сферы приложения искусственного интеллекта и охарактеризуйте их.
- •3.Дайте определения понятиям "знание" и "данные" и укажите их различие
- •4.Назовите основные признаки знаний и дайте им определения.
- •5.Логическая модель представления знаний (предикатная функция).
- •6. Семантические сети.
- •7.Фреймы и их свойства
- •8. Продукционное правило (структура).
- •12. Основные компоненты системы продукций и связь между ними.
- •13.Стратегии управления в системах продукций
- •14.Определение предложения (клаузы)
- •16.Основные этапы тождественных преобразований исходной формулы во множество предложений (Клауз)
- •17.Унификация (основные правила)
- •Другими словами, помня, что
- •18.Система доказательств в системе опровержения на основе резолюции
- •19.Вычисление коэффициентов определенности посылок и заключений.
- •20. Вычисление коэффициентов определенности для заключений, поддерживаемых множеством правил.
- •Перемножив все компоненты этой формулы, мы увидим, что
- •21.Основные принципы дедукции на основе байесовского подхода
- •22.Учет нескольких признаков при расчете вероятности гипотезы
- •23. Для чего и как рассчитывается цена свидетельств?
- •25.Формулировка задачи обучения
- •26. Основные направления в области обучения.
- •27. Типы задач обучения на примерах.
- •28. Итеративный алгоритм обучения на примерах.
- •29. Адаптация, основные понятия и определения.
- •30. Параметрическая адаптация.
- •31.Поисковая адаптация.
- •32.Структура общего алгоритма адаптивного процесса.
- •33.Коллективная адаптация.
- •34.Распознавание образов основные понятия и определения.
- •35.Типы решаемых задач в распознавании образов.
- •36.Классификация основных методов, используемых при распознавании образов.
- •37.Гипотеза компактности.
- •38.Детерминированные методы распознавания образов.
- •39.Статистический метод распознавания.
- •40.Структурные (лингвистические) методы распознавания.
17.Унификация (основные правила)
Операция резолюции возможна, если родительская пара предложений содержит дополнительную пару литералов. Дополнительная пара литералов может содержаться в них изначально, либо строиться путем подстановки(унификация).
Фактически принцип резолюции реализует цепочку (P Q и Q R) ( R), применяются правил modus ponens и «специализация» к правилам P Q и Q R. Действительно, из истинности P и P Q следует истинность Q, а из истинности Q и QR следует истинность R, следовательно, истинно заключение R.
Другими словами, помня, что
PQ= ,
из истинности и следует истинность .
В рассмотренном примере для простоты изложения сути принципа резолюции литералы P,Q,R не содержали переменных.
Для того, чтобы применить резолюцию к предложениям, содержащим переменные, необходимо иметь возможность найти такую подстановку, которая будучи примененной к родительским предложениям, приведет к тому, что они будут содержать дополнительные литералы.
В общем случае любую подстановку, используемую при применении принципа резолюции, можно представить в виде множества упорядоченных пар:
,
где пара означает, что всюду, где производится данная подстановка, переменная xi заменяется термом ti. Напомним, что подстановка осуществляется в соответствии с правилом «специализации», и после ее реализации получаются частные случаи.
Применяя, например, к литералу подстановки получим соответствующие им частные случаи исходного литерала:
.
Множество литералов унифицируемо, если существует такая подстановка P, что . Подстановка P в таком случае называется унификатором. Существует алгоритм, называемый алгоритмом унификации, который позволяет найти простейший унификатор для унифицируемого множества .
Подытоживая сказанное, механизм принципа резолюции можно сформулировать следующим образом.
Если в паре родительских предложений после проведения унификации содержатся два дополнительных литерала L1 и , то новое предложение, называемое резольвентой, формируется взятием дизъюнкции этих предложений с последующим исключением дополнительной пары и .
18.Система доказательств в системе опровержения на основе резолюции
Систему опровержения на основе резолюции можно представить как систему продукций. Глобальной базой данных является множество предложений, а продукционные правила – резолюции. Правила продукции применяются к парам предложений из базы данных при создании некоторой резольвенты выведенного предложения. Тогда новой базой данных становится прежнее множество предложений плюс выведенная резольвента. Условием конца работы для этой системы продукций является результат проверки – содержит ли база данных пустое предложение.
Доказательство с помощью резолюции наглядно можно проиллюстрировать, используя граф, называемый графом опровержения. Вообще, опровержением называется доказательство невыполнимости произвольного множества предложений.
При построении графа опровержения, представляющего собой дерево, предложения из Ф записываются на концевых вершинах графа. Если два предложения, находящихся на каких-либо вершинах, разрешаются, т. е. они имеют резольвенту, то их резольвента записывается на вершине, идущей непосредственно за этими вершинами, которая соединяется с ними ребрами. Корнем дерева опровержения служит пустое предложение, обозначаемое английским словом NILL (NIL – ничего, нуль). Дерево опровержения в отличие от ранее рассмотренных деревьев строится, начиная с концевых вершин, а не с корня.
При стратегии полного перебора сначала вычисляются все резольвенты первого уровня, затем из множества R(Ф), получаемого объединением исходного множества и множества резольвент первого уровня вычисляются резольвенты второго уровня и т. д., пока на каком-то уровне не будет получено NIL. Такая стратегия является полной, но весьма неэффективной..