Описание алгоритмов программы

Интеллект 13113n1319n ;уальная обучающая программа диалогового построения трасс логического вывода» входит в состав экспертной системы.

«Интеллект 13113n1319n ;уальная обучающая программа диалогового построения трасс логического вывода» оперирует с 12-ю вершинами: A B C D E F G H I J K L

A=0, B=1, C=2, D=3, E=4, F=5, G=6, H=7, I=8, J=9, K=10, L=11.

A B C D E F G H I J K L

Рисунок 1.3.3 б) Заполненная матрица

m m

m m

i j j j j i

Задаём номер текущего правила (n=0). Далее находим первое правило, исходящее из базового узла. Запоминаем узел из которого оно вышло в переменную Z1. Второй базовой узел записываем в переменную Z2.

Пытаемся найти в строке Z1 неиспользованное правило (aij>0), начиная с n. Если нашли - см. п.4.

Пытаемся найти в строке Z2 неиспользованное правило (aij>0), начиная с n. Если нашли - см. п.4. Если не нашли - то решения нет, и идёт перегенерация задачи.

Задаем номер текущего правила n, равный найденному правилу аij. Добавляем n в правильную последовательность.

Считаем число ненулевых элементов в строке j (таким образом проверяем наличие исходящих правил из данной вершины).Если число ≤ 1 правило аij далее не должно быть использовано, и на его месте записывается 0. m3 = j

Пытаемся найти в строке m3 неиспользованное правило начиная с n. Если удалось - см. п4.

Сравниваем m3 с целевой вершиной. Если совпали- решение найдено - выход. Если нет - см. п2.

1.3.3 Алгоритм прямого перебора в глубину с бект 13113n1319n ;рекингом

Задаём номер текущего правила (n=0). Далее находим первое правило, исходящее из базового узла. Запоминаем узел из которого оно вышло в переменную Z1. Второй базовой узел записываем в переменную Z2.

Пытаемся найти в строке Z1 неиспользованное правило (aij>0) начиная с n. Если нашли - Z Z

Пытаемся найти в строке Z2 неиспользованное правило (aij>0) начиная с n. Если нашли - Z Z

Задаем номер текущего правила n, равный найденному правилу аij. Добавляем n в правильную последовательность. Записываем i i

Считаем число ненулевых элементов в строке j (таким образом проверяем наличие исходящих правил из данной вершины).Если число ≤ 1 правило аij далее не должно быть использовано, и на его месте записывается 0. m3 = j

Пытаемся найти в строке m3 неиспользованное правило начиная с n. Если удалось - см. п4.

Сравниваем m3 с целевой вершиной. Если совпали- решение найдено - выход. Если нет - см. п8.

Считаем число ненулевых элементов в строке i1 (это нужно для того, чтобы узнать, можно ли использовать механизм бект 13113n1319n ;рекинга). Если х = 0 - см. п.2. Если х ≠ 0 - см.п.9.

Задаём i Z j i

Алгоритм прямого перебора в глубину с бект 13113n1319n ;рекингом представлен на рисунке 1.3.6.

array tempArray

array m m

tempArray

ij i array

j tempArray ij

j

tempArray array

array

n

aij>0), начиная с n

n aij n aij iIndex i

aij iIndex n

в последовательность все aij iIndex n

n

array tempArray

Array

tempArray

aij j Array

aij i tempArray aij

tempArray Array

Array