- •Охарактеризуйте основные теоретические проблемы искусственного интеллекта.
- •Назовите основные сферы приложения искусственного интеллекта и охарактеризуйте их.
- •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.Структурные (лингвистические) методы распознавания.
14.Определение предложения (клаузы)
Правила представляются в виде структуры вида:
А1 А2 … Аn В1 В2 … Вm.
Эта структура называется клауза (clause).
Левая часть (антецедент) является посылкой, правая часть (консеквент) является заключительным. Ai и Bi – называются литералами. Каждый литерал это элементарный предикат в прямом или инверсном виде. Пример правил:
Q(x) (x, y); (x, y) R(z) N (f(x), z) (A, x).
Отметим, что левая часть это конъюнкция литералов, а правая часть это дизъюнкция литералов.
Используя известное соотношение А В = В, правило можно представить в иной эквивалентной форме:
А1 А2 … Аn В1 В2 … Вm = В1 В2 … Вm =
= .
16.Основные этапы тождественных преобразований исходной формулы во множество предложений (Клауз)
Рассмотрим последовательно тождественные преобразования, которые необходимо выполнить в процессе преобразования формулы в предложения.
1. Исключение знаков импликации. Знак импликации можно исключить, используя равенство (А В) = ( ).
2. Уменьшение области действия знаков отрицания. Уменьшить область действия знаков отрицания, т. е. сделать так, чтобы символ отрицания применялся не более, чем к одному литералу, можно используя равенства
.
Используя эти равенства, например, получаем
.
3. Стандартизация переменных. В области действия кванторов связанную с ними переменную можно заменить произвольной переменной, не совпадающей с какой-либо другой переменной, входящей в область действия этих кванторов. Например,
.
4. Исключение кванторов существования. В формуле , которую можно интерпретировать, например, как «для всех x существует такой y, что x не больше y», квантор находится внутри области действия квантора . Поэтому y который «существует», зависит от x. Положим, что эта зависимость в явном виде определяется с помощью функции g(x), отображающей каждое значение x в y. Такая функция называется функцией Сколема. Используя ее, можно исключить квантор существования. Для обозначения функции Сколема не должны использоваться функциональные буквы, которые уже имеются в формуле. Если квантор существования находится в области двух или более кванторов общности, то функция Сколема будет зависеть соответственно от двух аргументов и более.
Если исключаемый квантор существования не принадлежит области действия ни одного квантора общности, то функция Сколема не содержит аргумента, т. е. является константой. Так, формула при исключении квантора существования преобразуется в формулу F(A), где A – константа, про которую известно, что она «существует».
5. Так как с каждым квантором связана своя переменная (пункт 3), то порядок расположения кванторов общности не имеет значения, поэтому эти кванторы можно явно не указывать, т. е. исключить, условившись, что все переменные в формулах относятся к кванторам общности.
6. Представление формулы к конъюнктивно-нормальной форме. Любую формулу, полученную после проведения преобразований 1 – 5, можно привести к конъюнктивно-нормальной форме многократным применением дистрибутивных правил, а именно: заменой выражений вида на . При этом формула будет представлена как конъюнкция конечного множества дизъюнкций литералов. Говорят, что такая формула находится в нормальной конъюнктивной форме.
7. Исключение символов . Так как какая-либо интерпретация удовлетворяет формуле вида в том и только в том случае, когда она удовлетворяет формулам k1, k2, … , kn одновременно, то исходную формулу в Ф1 можно заменить множеством конъюнктивных членов (предложений).