Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
ipk_shpora.docx
Скачиваний:
313
Добавлен:
18.03.2015
Размер:
2.87 Mб
Скачать

34 Обратная цепочка рассуждений. Дерево решений. База знаний. Обобщенный алгоритм работы.

Обратной цепочка рассуждений начинается с уже происшедшего события и идет к его истокам. Программные средства, работающие по принципу обратной цепочки рассуждений, предназначены для поиска причин по уже известному результату. Цепочка выполняется с помощью серии вопросов, которые система ИИ задает человеку. Система, реализующая прямую цепочку рассуждений, на основании имеющихся условий делает возможные логические выводы; система, реализующая обратную цепочку рассуждений по имеющимся выводам, ищет необходимые для них условия.

Разработка базы знаний: дерево решений

Прежде всего, поставим задачу, для решения которой будет разрабатываться экспертная система. Представим ситуацию: к директору крупной технической фирмы пришел человек, желающий устроится на работу. Директор располагает сведениями о его квалификации, о потребностях фирмы в специалистах и общем положении дел в фирме. Ему нужно решить, какую должность в фирме может занять посетитель.

Для описания подобных задач обычно используются диаграммы, которые называются деревьями решений.

На рис. показано дерево решений для примера с приемом на работу. Диаграмма состоит из кружков и прямоугольников, которые называются вершинами. Каждой вершине присваивается номер. На вершины можно ссылаться по этим номерам. Линии, соединяющие вершины, называются дугами или ветвями. Кружки, содержащие вопросы, называются вершинами решений. Прямоугольники содержат цели диаграммы и означают логические выводы. Линии показывают направление диаграммы. Многие вершины имеют сразу по несколько ветвей, связывающих их с другими вершинами. Выбор выходящей из вершины ветви определяется проверкой условия, содержащегося в вершине.

Рис 34

35 Общие методы поиска решений в пространстве состояний.

Методы перебора.

Задачу поиска в пространстве состояний можно сформулировать в общем виде так. Пусть исходная задача описывается тройкой (S, F, Т), где S – множество начальных состояний; F – множество операторов, отображающих одни состояния в другие;

Т – множество целевых состояний.

Решение задачи заключается в нахождений последовательности операторов 1, 2, ..., k (iF), которые преобразуют начальные состояния в целевые.

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

При использовании эвристических методов поиска открытые вершины стремятся упорядочить таким образом, чтобы процесс поиска распространялся в наиболее перспективных направлениях. Для определения направления поиска используется некоторая мера, характеризующая перспективность вершины или пути, где эта вершина находится

Метод редукции. При использовании метода редукции поиск необходимой совокупности данных для решения задачи сводится к решению составляющих подзадач. Задачи описываются различными способами: в виде списков, деревьев, массивов и т.д.

Если дуга исходит из вершины pi и направлена к вершине pj то вершину pi по отношению к pj называют родителем, а вершину рj по отношению к pi – преемником.

Последовательность вершин рi1, pi2, ..., pik, где каждая рij является преемником pi(j–1) для j=2, ..., k, называется путем длиной k от pi1 к рjk.

Таким образом, задача поиска в пространстве состояний описывается с помощью понятий теории графов. Задается начальная вершина (исходное состояние) и множество целевых вершин Т. Для построения пространства состояний используются операторы F. Последовательно, начиная с корня, к вершинам дерева применяются операторы, относящиеся к этому yровню, для определения (построения) вершин – преемников следующего уровня. Процесс применения соответствующих операторов к какой – либо вершине для определения ее преемников называется раскрытием вершины.

Дуги, связывающие начальную вершину с преемником, идентифицируются как соответствующие операторы преобразования.

Получаемые вершины – преемники проверяются: не являются ли они целевыми. После этого переходят к раскрытию вершин следующего уровня. Кроме того, есть вершины, к которым нельзя применить никаких операторов. Они называются терминальными. Процесс раскрытия вершин графа продолжается до тех пор, пока в результате не будут получены целевые или терминальные вершины.

Поиск на графе состояний можно рассматривать как процесс построения некоторого графа G, содержащего целевую вершину.

Поиск, в глубину. прежде всего раскрывается та вершина, которая имеет наибольшую глубину. Из вершин, расположенных, на одинаковой глубине, выбор вершины для раскрытия осуществляется произвольно. Для сдерживания возможного следования по бесперспективному пути вводится ограничение на глубину. Вершины, находящиеся на граничной глубине, не раскрываются.

Поиск в ширину. раскрываются в последовательности их порождения. Поиск идет по ширине дерева, так как раскрытие вершины происходит вдоль одного уровня. Целевая вершина выбирается сразу же после порождения. При поиске в ширину возможно нахождение наиболее короткого пути к целевой вершине, если такой путь есть.

Поиск на основе стоимости дуг. Во многих случаях дугам ставят в соответствие некоторую стоимость, чтобы внести оценку для использования соответствующего правила. Стоимость пути между двумя вершинами определяется как сумма стоимостей всех дуг, соединяющих вершины, лежащие на этом пути. При поиске целевой вершины стремятся найти путь минимальной стоимости. Раскрытие вершин производится в порядке возрастания их стоимости.

Поиск с возвратом (бэктрекинг). при выборе правила определяется точка возврата, т. е. если дальнейший поиск в выбранном направлении приведет к сложностям или будет бесперспективным, то осуществляется переход к точке возврата, пройденной на ранних этапах поиска. Далее применяется другое правило, и процесс поиска продолжается.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]