СодержаниеКлассификация СИИ.
Характеристики знаний.
Внутренняя интерпретируемость.
Семантическая метрика.
Логические модели.
B есть множество правил вывода
A образуют все информационные единицы, которые введены в базу знаний извне, а с помощью правил вывода из них выводятся новые про
Сетевые модели.
3.Продукционные модели.
4.Фреймовые модели.
Имя слота 1 (значение слота 1)
Исчисление высказываний.
Q - тавтология, то ее обозначают как = Q
Исчисление предикатов первого порядка.
Определение 12. Если P – n- местный предикат и t
Пример2: переведем в формулу утверждение «Каждый человек смертен. Конфуций – человек, следовательно, Конфуций смертен».
Q(x). Тогда утверждение «Каждый человек смертен» может быть представлено формулой ("x
Определение 17. Интерпретация
D формула может получить значение И или Л согласно следующим правилам: Если заданы значения формул F
Пример 3. Рассмотрим формулы
Пример 5. Рассмотрим формулы
Системы аксиом логики предикатов.
Правила вывода в исчислении предикатов.
Предваренные (пренексные) нормальные формы исчисления предикатов.
P есть формула, содержащая свободную переменную x
Автоматизация доказательства в логике предикатов.
Скулемовские стандартные формы.
Алгоритм преобразования формул в ДНФ и КНФ.
Пример 7. Получить ССФ для формулы ($x)("y)("z)($u)("v)($w) (P(x, y, z, u, v, w).
Пример 8: ССФ ("x)((P(x, f(x)) R(x, f(x), g(x))) (Q (x, g(x)) R(x, f(x), g(x)))) представить в виде множества дизъюнктов.
Метод резолюций.
Метод резолюций в исчислении высказываний.
Отметим, что дизъюнкт есть тавтология, если он содержит контрарную пару.
Определение 26: Пусть S – множество дизъюнктов. Резолютивный вывод C из S есть такая конечная последовательность С
Определение 27: Фразой называется дизъюнкт, у которого негативные литералы размещаются после позитивных литералов в конце дизъюн
Пример 12: преобразовать фразу Хорна в обратную импликацию.
Метод резолюций в исчислении предикатов.
Пример 13. Рассмотрим дизъюнкты
Определение 29: Подстановка q– это конечное множество вида {t
Определение 33: Множество рассогласований непустого множества дизъюнктов {E
Пример 15. Рассмотрим дизъюнкты
Шаг 1. Присвоим k=0, sk=e (пустой унификатор), Ek=E. Шаг 2.
Определение 34: Если два или более литерала (с одиниковым знаком) дизъюнкта C имеют наиболее общий унификатор s, то Cs - называе
Пусть C= P(x) P(f(y)) Q(x).
Пусть задана семейная БД при помощи перечисления родительских отношений в виде списка фактов
Цель: отец( иван, X), мать(X, петр).
Цель: дед( иван, петр).
Использование дизъюнкции и отрицания.
Область действия имен.
Алгоритмы Пролога.
Унификация переменных.
Вычисление цели. Механизм возврата.
Q является правилом без заголовка, аналогом выражения Q
Для получения нового ответа в БД ищется новая унификация для s
Цель: отец(X, Y), мать(екатерина, Y).
Тип данных
Использование составных термов
Пример 25: Необходимо создать БД, содержащую сведения о книгах и аудиозаписях из личной библиотеки.
Метод возврата после неудачи
Пример 26: распечатать все десятичные цифры.
Пример 27: подсчитать значения квадратов всех десятичных цифр.
Пример 28: необходимо выдать десятичные цифры до 5 включительно.
Пример 29: необходимо выдать из БД первую цифру , равную 5.
Метод повтора, определяемый пользователем
Пример 30: ввести с клавиатуры целые числа и вывести их на экран. Программа завершается при вводе числа 0.
Методы организации рекурсии
Пример 31: показать, что любое целое положительное число является натуральным числом.
Пример 32: написать программу вычисления факториала.
Пример 33: написать программу, генерирующую числа Фибоначчи до заданного значения.
Пример 34: объявление списков, состоящих из элементов стандартных типов доменов или типа структуры.
Пример 35: демонстрация разделения списков на голову и хвост.
Поиск элемента в списке
Пример 36: поиск элемента в списке.
Объединение двух списков
Пример 37: объединение двух списков.
Пример 38: сортировка списков методом вставки.
7 помещается в выходной список между элементами 3
4 помещается в выходной список между элементами 3
Пример 39: использование предиката findall.
Пример 48:Написать программу, генерирующую множество 4-разрядных двоичных чисел и записывающих их в динамическую БД.
Рекурсивные правила 3, 4, 5 и 6 означают следующее
Если степени первых элементов в P и Q равны, а сумма их коэффициентов тоже равна 0, то R получается сложением хвостов P и Q.
Представление бинарных деревьев
Пример 55: написать программу печати вершин бинарного дерева, начиная от корневой и следуя правилу левого обхода дерева.
A- переменная обозначающая начало пути
Пример 61: проверить существование в двух списках одного и того же элемента.
N ферзях: требуется разместить N
Пример 62: программа решения задачи об N ферзях.
Основные стратегии решения задач. Поиск решения в пространстве состояний.
И между соответствующими подзадачами. Задачи более низкого уровня называются задачами-преемниками. И/ИЛИ- граф
Решение игровых задач в терминах И/ИЛИ- графа.
Игра «2 лунки»
Минимаксный принцип поиска решений.
База знаний
Машина логического вывода
Машина вывода и интерфейс пользователя составляют оболочку экспертной системы.
Продукционные правила для представления знаний.
Пожалуйста, спрашивайте
Это правда: «Пушок» ест мясо?
Формирование ответа на вопрос «как».
E, кторый мог бы подтвердить или опровергнуть гипотезу H. S
|
