Представление знаний в интеллектуальных системах
Методическое пособие - Компьютеры, программирование
Другие методички по предмету Компьютеры, программирование
продолженный путь и есть Решение.
5.Явное представление ссылок. Представление функциями. Примеры
Явное представление ссылок
Символы объектного языка, такие как Жак_2, Мари_4 и Книга_22, введены для того, чтобы избежать двусмысленности ссылок на вполне определенных людей и книгу. Фраза Жак посылает книгу Мари указывает определенное почтовое событие (или действие отправления), на которое желательно иметь возможность ссылаться в дальнейшем. Следовательно, придется дать ему имя индивидуума Посылка_8 и указать, что оно - часть множества событий с именем совокупности посылки. Перевод фразы на бинарные предикаты выглядит так:
Отправитель (Посылка_8, Жак_2)
Получатель (Посылка_8, Мари_4)
Объект (Посылка_8, Книга_22)
Элем(Посылка_8, посылки)
Предикатное имя Элем означает есть элемент такого-то множества
Представление функциями
Отношения между значением Посылка_8 и аргументами тернарного предиката Посылка можно выразить также функциями на множестве почтовых посылок (одной переменной). Функция называется также функциональной формой. Фраза Жак посылает книгу Мари выражается в терминах функций следующей формой:
Равно (отправитель (Посылка_8), Жак_2)
Равно (получатель (Посылка_8), Мари_4)
Равно (объект (Посылка_8), Книга_22)
Элем (Посылка_8, посылки).
Предикат Равно представляет отношение равенства. Это выражение используют определенные на множестве посылок функции, значения которых представляют конкретизации, касающиеся Посылки_8.
Примеры
Рассмотрим фразы той же синтаксической формы, что и Жак посылает книгу Мари, но с кванторами
По-русски: Жак посылает что-то каждому (всем одно и то же),
Логически: Посылка (Жак_2, х, у).
По-русски: Жак посылает что-то каждому (но не обязательно всем одно и то же)
Логически-1: Посылка (Жак_2, х, у),
Логически-2: Посылка (Отправитель (посылка, Жак_2) Получатель (посылка,х) Объект (посылка,у)),
Логически-3: (Отправитель z(Жак_2) Получатель (z,x) Объект(z,y) Эм (z, посылки)).
Три представления фразы Жак посылает что-то каждому соответствует трем представлениям фразы Жак посылает книгу Мари.
6.Основные стратегии решения задач. Стратегия поиска в глубину
Основные стратегии решения задач
Общая схема для представления задач называется пространством состояний. Пространство состояний - это граф, вершины которого соответствуют ситуациям, встречающимся в задаче ("проблемные ситуации"), а решение задачи сводится к поиску пути в этом графе. Процесс решения задачи включает в себя поиск в графе, при этом, как правило, возникает проблема, как обрабатывать альтернативные пути поиска. Две основные стратегии перебора альтернатив, а именно поиск в глубину и поиск в ширину.
Стратегия поиска в глубину
Для того, чтобы найти решающий путь Реш из заданной вершины В в некоторую целевую вершину, необходимо:
если В - это целевая вершина, то положить Реш = [В], или
если для исходной вершины В существует вершина-преемник В1, такая, что можно провести путь Реш1 из В1 в целевую вершину, то положить Реш = [В | Peш1]. Рис. 11.4
На Пролог это правило транслируется так:
решить( В, [В] ) :-
цель( В).
решить( В, [В | Реш1] ) :-
после( В, В1 ),
решить( В1, Реш1).
Эта программа и есть реализация поиска в глубину. Мы говорим "в глубину", имея в виду тот порядок, в котором рассматриваются альтернативы в пространстве состояний. Всегда, когда алгоритму поиска в глубину надлежит выбрать из нескольких вершин ту, в которую следует перейти для продолжения поиска, он предпочитает самую "глубокую" из них. Самая глубокая вершина - это вершина, расположенная дальше других от стартовой вершины.
7.Семантика логики предикатов
Стратегия определения семантических значений компонент и формул логики предикатов базируется на понятии интерпретации логической формулы. Напомним это понятие.
Объектами изучения естественных и формальных языков являются в частности, синтаксис (который позволяет распознавать фразы среди набора слов) и семантика (которая придает определенное значение фразам). В равной мере это относится к исчислению высказываний.
Уже отмечалось, что высказывание либо истинно, либо ложно. Поэтому введем семантическую область {И, Л}. Интерпретировать формулу - значит приписать ей одно из двух значений истинности И или Л.
Семантика (то есть набор правил интерпретации формул) должна быть композиционной: значение формулы должно быть функцией значений ее составляющих. Точнее, значение истинности формулы зависит только от структуры этой формулы и от значений истинности составляющих ее высказываний. Таким образом, связки исчисления высказываний представляют функции истинности: например значение истинности формулы будет известно, если известны значения истинности Х и Y. Следующие две таблицы описывают семантику отрицания и бинарных связок.
ХХИЛЛИ
ХYXYXYXYXYИИИИИИИЛЛИЛЛЛИЛИИЛЛЛЛЛИИ
Интерпретация - это отображение i, сопоставляющее каждому элементарному высказыванию р некоторое значение истинности. Интерпретацию i, заданную на множестве элементарных высказываний, можно распространить (продолжить) на множество формул (высказываний) посредством таблиц истинности. Соответствующее продолжение (расширение) I тоже называется интерпретацией. Интерпретация, при которой истинностное значение формулы есть И, называется моделью этой формулы.
Ли