F1 F2 F3 F4 F5 F6

И И И И

FR1 FR2 FR3 FR4

ИЛИ

ЕСТЬ

ЕСТЬ

ЕСТЬ

ЕСТЬ

ЕСТЬ

ЕСТЬ

ЕСТЬ

ЕСТЬ

ЕСТЬ

ЕСТЬ

И

характер обработки F1

по сплошному металлу

обрабатываемый материал F4

чугун

1 модуль F3

2-3

1

Подача

0.22-0.25 Ü

FR3 И

характер обработки F5

по предварительно обработанному зубу

обрабатываемый материал F2

сталь 45

ЕСТЬ модуль F6

Подача 4- 8

0.35 Ü

FR4 И

характер обработки F5

по предварительно обработанному зубу

обрабатываемый материал F4

чугун

модуль F6

4- 8

Рис. 24. Преобразование модели представления ИЛТ

Заменим в этом представлении группы узлов с корнем “ЕСТЬ” на соответствующие факты: FR1 — FR4 и F1— F6 (рис. 25).

<= <= <= <=

Рис. 25. Пример сети вывода с использованием понятия факт.

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

Выделим класс таблиц, содержащих только бинарные предикаты, поскольку такие таблицы составляют подавляющее большинство и введем следующие формализмы:

1. Предполагается, что знак отношения предшествует своим аргументам.

2. Все вершины дерева делятся на четыре типа:

вершины - логические отношения (=, <, > и т.п.);

вершины - внешние переменные;

вершины - константы;

вершины - решения.

3. Вершина - внешняя переменная всегда является старшим сыном вершины - логического отношения.

4. Первый брат вершины - переменной всегда существует и является вершиной - константой.

5. Второй и последующие братья (если они существуют) интерпретируются как дизъюнктивный пучок и называются в дальнейшем дизъюнктивными вершинами.

6. Наличие сына у вершины - переменной и одновременное отсутствие последних у дизъюнктивных вершин означает наличие конъюнкции между последовательными предикативными вершинами, лежащими на одном маршруте.

7. Наличие явной связи у вершины - константы интерпретируется как отношение “И”, если вершина - сын является предикатом. В противном случае “сын” может быть только терминальной вершиной - решением.

Рассмотрим специальный пример таблицы с условиями (табл. 6).

Таблица 6.

А =

1 2 3 4

B < C >

5 6 7 8 9

R1 R2 R3 R4 R5

В соответствии с введенными формализмами граф дерева вывода в двоичном представлении будет выглядеть, как показано на Рис. 26.

=

Дата добавления: 2015-04-25