Информационно-логические таблицы

Как уже выше упоминалось значительная часть инженерных знаний представлена в форме так называемых информационно-логических таблиц (ИЛТ), которые можно условно разделить на несколько типов.

Справочные таблицы без условий. Справочными таблицами без условий называют таблицы, в которых перечислены наименования и значения некоторых характеристик какого-либо объекта (табл. 2, 3).

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

Наименование, представляемое иерархической структурой терминов, называется сложным, например, фрагмент справочной таблицы (Рис. 19) содержит четыре сложных наименования, каждое из которых состоит из трех терминов. Первое наименование отделено от последующих жирной линией.

Вертикальные горизонтальная подача

суппорты

вертикальная подача

Подача

Боковые горизонтальная подача

суппорты

вертикальная подача

Рис. 19. Пример сложных наименований

Значением характеристики может быть одно слово, либо последовательность слов, например, значением характеристики с наименованием "мощность привода в кВт (табл. 3) является число 7.8, а значением характеристики "продольные подачи в мм/мин" служит последовательность чисел: 12.6; 17.5; ...; 499.

Таблица 2

Паспортные данные продольно-строгального станка модели 7242А

Наибольшая длина хода стола в мм 6200

Длина 6000

Размер рабочей площади в мм Ширина 1250

Рабочий ход 6-60

Скорость движения стола в м/мин

Холостой ход 15-16

Горизонтальные 0,5-25

подачи

Вертикальные суппорты

Вертикальные

Подача подачи 0,125-6,2

мм/дв.ход

Горизонтальные

Боковые суппорты подачи -

Вертикальные

подачи 0,25-12,5

Таблица 3

Паспортные данные горизонтально-фрезерного станка ГЗФС682

Число оборо-

тов шпинделя

в минуту 20 27 35 45 60 80 105 140 185 240 319 425

Продольные

подачи в 12,6 17,523,6 34,4 48 64,5 96,7 134,6 182264 368 499

м м/мин

Мощность

привода в 7,8

к Вт

Представление справочных таблиц без условий. Справочную таблицу без условий представляют в виде граф - дерева. Корневой вершине сопоставляют имя таблицы, совпадающее обычно с общим именем выбираемых значений. Промежуточные вершины ассоциируются с терминами иерархической структуры имени выбираемой характеристики. Конечным вершинам сопоставляются выбираемые значения. Например, таблицу 1 можно представить граф - деревом, изображенным на Рис. 20, причем следует иметь ввиду, что связи между терминами интерпретируются как глагол “есть”. Другими словами, все термины в этой модели должны быть разделены промежуточными вершинами, которым соответствует предикат “есть”. И еще одно замечание - в справочных таблицах без условий предикат “есть” употребляется в утвердительном смысле.

Справочные таблицы с условиями. Справочной таблицей с условиями называется упорядоченная совокупность выбираемых значений, каждому из которых поставлены в соответствие одно или два набора условий, причем:

• если выбираемые значения упорядочены в виде последовательности, то каждому значению соответствует один набор условий;

• если выбираемые значения упорядочены в виде таблицы, то каждому ее значению соответствуют два набора условий.

Выбираемым значением может служить одно слово или последовательность слов. Выбираемые значения могут быть упорядочены в виде последовательности (табл. 4) или в виде таблицы ( табл. 5). По своей семантике выбираемые значения обычно являются качественными и/или количественными характеристиками объектов из определенной предметной области. Вся совокупность выбираемых значений имеет общее наименование, например, "подача", "глубина резания" и т.д.

П аспортные данные продольно-строгального станка модели 7242А

Наибольшая длина хода стола в мм

6200

Размер рабочей площади в мм

Длина

600

Ширина

1250

Скорость движения стола в м/мин

Рабочий ход

6-60

Холостой ход

15-16

Подача в мм/дв.ход

Вертикальные суппорты

Горизонтальные подачи

0.125-6.2

Вертикальные подачи

-

Боковые суппорты

Горизонтальные подачи

-

Вертикальные подачи

0.25-12.5

Рис. 20. Модель таблицы без условий

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

• есть или равно;

• находится в интервале;

• больше;

• меньше;

• больше или равно (не меньше) ;

• меньше или равно (не больше);

• следует;

• предшествует и т.п.;

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

Таблица 4

Таблица подач при чистовой обработке на зубодолбежных станках

Характер Обрабатываемый Модуль в Подача в

обработки материал мм мм

По сплошному Сталь 45 0.25 - 0.3

металлу Чугун 2 - 3 0.3 - 0.35

По предварительно Сталь 45 0.22 - 0.25

обработанному зубу Чугун 4 -8 0.35

Таблица 5

Подачи при черновой обработке дисковыми долбяками

Характер Обрабаты- Модуль Подача круговая в мм/дв.ход

обработки ваемый в мм для групп станков

материал 1 2 3 4

Под последую- 4 0,35-0,4 0,40-0,45 - -

щую обработку Сталь 45 6 0,10-0,2 0,3-0,4 0,4-0,5 -

д олбяком 8 - - 0,3-0,4 0,4-0,5 4 0,4 -0,5 0,45 -0,5 - -

Чугун 6 0,16-0,22 0,30-0,45 0,4-0,5 -

8 - - 0,35-0,45 0,45-,5

4 0,28-0,32 0,32-0,36 - -

Под шевинго- Сталь 45 6 0,12-0,16 0,24-0,32 0,32-0,40 -

вание 8 - - 0,24-0,32 0,32-0,4

4 0,32-0,4 0,36-0,4 - - Чугун 6 0,13-0,16 0,24-0,360,32-0,40 -

8 - 0,28-0,36 0,36-0,4

Под шлифо- 4 0,32-0,36 0,36 -0,4 - -

вание Сталь 45 6 0,14-0,18 0,27-0,36 0,36-0,45 -

8 - - 0,27-0,36 0,36-0,4

Одному наименованию условия может соответствовать несколько значений, образующих область возможных значений условия. В таблице 4 областью возможных значений условия с наименованием "характер обработки" являются значения:

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

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

В таблице 4 каждое выбираемое значение определяется одним набором условий. В этот набор входят три условия с наименованиями:

• характер обработки;

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

• модуль.

Выбираемые значения упорядочены в следующем виде : 0.25-0.3; 0.3-0.35; 0.22-0.25; 0.35, а выбор, например, второго значения последовательности определяется следующим набором условий: "Характер обработки - по сплошному металлу и обрабатываемый материал - чугун и модуль - 2-3". Общим наименованием выбираемых значений служит слово "Подача".

В табл. 5 выбираемыми значениями служат диапазоны величин круговых подач и каждому выбираемому значению соответствуют два набора условий - горизонтальный и вертикальный. Наименованиями условий горизонтальных наборов являются те же термины, что в табл. 4, а вертикальные наборы содержат лишь одно условие с наименованием "Группа станков". Например, горизонтальный набор условий: "Характер обработки - под последующую обработку долбяком и обрабатываемый материал - серый чугун и модуль - 6" приводит к пятой строке таблицы выбираемых значений, а вертикальный набор условий: "Группа станков - 2" - ко второй графе таблицы; на пересечении этой строки и графы находится выбираемое значение 0.30-0.45.

Представление справочных таблиц с условиями. ИЛТ с условиями можно представлять в форме обратных и прямых сетей вывода. Прежде всего рассмотрим наиболее общий, классический, случай, когда таблица представляется в форме обратной сети вывода (рис. 21). Введем для этой цели три формализма:

• корневая вершина всего дерева сопоставляется имени таблицы, как объекту, она же служит общим именем выбираемых значений - решений;

• вся “семья” корневой вершины состоит из вершин - решений, которые являются конечными заключениями в базе правил;

• поддеревья, исходящие из вершин - решений соответствуют посылкам правил.

При использовании введенных формализмов каждую такую таблицу можно представить в виде сети вывода, подробно рассмотренной в предшествующей главе, в частности, табл. 4 имеет вид дерева вывода, изображенного на рис. 21. Логику, содержащуюся в этом рисунке, можно выразить следующим образом: “Подача есть или: 0.25-0.3 или 0.3-0.35 или 0.22-0.25 или 0.35. Подача есть 0.25-0.3, если характер обработки есть по сплошному металлу и обрабатываемый материал есть сталь 45 и модуль есть 2-3. Подача есть 0.3-0.35, если характер обработки есть по сплошному металлу и обрабатываемый материал есть чугун и модуль есть 2-3. Подача есть 0.22-0.25, если характер обработки есть по предварительно обработанному зубу и обрабатываемый материал есть сталь 45 и модуль есть 4-8. Подача есть 0.35, если характер обработки есть по предварительно обработанному зубу и обрабатываемый материал есть чугун и модуль есть 2-3.”

Таблица подач при чистовой обработке на зубодолбежных станках

ИЛИ

ЕСТЬ

Подача 0.25-0.3 

И

ЕСТЬ

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

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

ЕСТЬ

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

сталь 45

ЕСТЬ ЕСТЬ

Подача модуль

0.3-0.35  2-3

И

ЕСТЬ

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

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

ЕСТЬ

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

чугун

ЕСТЬ

1 модуль

2-3

1

ЕСТЬ

Подача

0.22-0.25 

И

ЕСТЬ

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

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

ЕСТЬ

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

сталь 45

ЕСТЬ

ЕСТЬ модуль

Подача 4- 8

0.35 

И

ЕСТЬ

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

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

ЕСТЬ

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

чугун

ЕСТЬ

модуль

4- 8

Рис. 21. Пример представления таблицы с условиями

Множество таких таблиц образует сеть, обработку которых можно выполнить на основе алгоритма обратного вывода, который рассматривался, как алгоритм обхода сети (см. рис. 13). Поэтому приведём здесь несколько изменённый алгоритм вывода и рассмотрим процедуру обработки узла, которая и составляет оператор 10, упомянутый в комментариях к рис. 13 (рис. 22, рис. 23).

начало

1. Установить вершину

начала обхода

2. Dimension Stk(255),

Stv(255), Stt(255),

Zakl=’’, Uk=0

3. Установить направле-

ние обхода NO=.T.

4. Начало цикла.

i = 0

5. нет

NO =.T.?

да

6.(Uk = uk+1) Занести ключ узла в

Stk(uk) .Тип вершины в Stt(uk)

7.Есть нет

указатель на левое 10. Обработать узел 11.Установить нап

поддерево? P = OUDV( ) обхода NO=.T .

да

8. ( i=i+1) Занести в стэк 13. Перейти на правое да 12.

узлов указатель на поддерево NPPP( ) = .T.

текущий узел

нет

9.Перейти на левое 15. Перейти 14.Установить

поддерево по указателю направление

стека узлов обхода .F.

16. Удалить из стэка узлов головную

вершину (i = i-1)

17.Окончание цикла 5

( i = 0 )

конец

Рис. 22. Алгоритм обратного вывода

н ачало

да

2. Stt(lUk)= “C”

нет нет

5. lUk=Uk

да

4. Stt(lUk)=”V” да

нет

7. Stt(lUk)=”L” да

нет

да

10. Stt(lUk)=”P”

нет

да нет

13. Stt(lUk)=”I” 14. Stk(Uk) =True

нет да

Выход

Рис. 23. Aлгоритм обработки узла дерева вывода OUDV()

Комментарии к алгоритму, изображённому на рис. 22.

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

Оператор 2. Инициализируются массивы, выполняющие роль стеков имен вершин и ключей вершин, т.е. ассоциированных с вершинами данных. Кроме того инициализируются целые переменные, выполняющие роли указателей вершин стеков.

Оператор 3. Установить направление обхода True Предполагается инициализация логической переменной, которой присваивается значение .T. и которое указывает на направление обхода от корня к листьям.

Оператор 4. Начало цикла. (Имеется в виду команда DO WHILE .T. xBASE)

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

• быть заключением, для импликативной вершины;

• быть знаком логической операции или именем предиката для предикативной вершины;

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

• быть константой, т.е. некоторым данным из базы данных, выполняющим роль образца для сравнения.

Для упрощения анализа примем, что эта информация содержится непосредственно в поле CHTO.

Оператор 7. Есть указатель на левое поддерево? Означает проверку возможности перехода к вершине-сыну по отношению к текущей вершине.

Оператор 8. Занести в СТЭК вершин указатель на текущую вершину. Означает, что необходимо увеличить указатель головы стека на 1 и занести номер записи текущей вершины в массив, выполняющий роль стека.

Оператор 9. Перейти на левое поддерево. Означает переход на запись, соответствующую вершине-сыну относительно текущей вершины.

Оператор 10. Обработать вершину. Обработка вершины выполняется при уходе из нее и состоит в анализе данных, накопленных к данному моменту в стеке ключей и выполнении над ними определенных действий, результат которых будет соответствовать процессу логического вывода над базой правил. Алгоритм реализуется в виде функции пользователя. FUNCTION OUDV( ) (рис. 23).

Оператор 11. Установить направление обхода Тrue. Т.е. восстановить первоначальное направление обхода.

Оператор 12. NPPP( ) = .T. Означает проверку возможности и Необходимости Перехода на Правое Поддерево. Реализуется функцией пользователя NPPP( ), которая возвращает True или False соответственно. Возможность перехода определяется непустым указателем на правое поддерево, а необходимость - следующими условиями: если голова стека ключей содержит знак дизъюнкции и индикатор истинности вывода содержит False или голова стека ключей содержит любой другой символ и индикатор истинности вывода содержит True.

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

Оператор 14. Установить направление обхода False. Изменяет первоначальное направление обхода на обратное.

Оператор 15. Перейти по указателю СТЭКА вершин. Это действие означает чтение головы стека вершин и перехода по выбранному из него указателю на вершину - отец относительно текущей вершины.

Оператор 16. Удалить из СТЭКА вершин головную вершину. Означает просто уменьшение указателя СТЭКА вершин на 1.

Оператор 17. Окончание цикла соответствующее команде ENDDO (xBase, Visual Basic).

Комментарии к алгоритму обработки узла дерева вывода (рис. 23).

Оператор 1. Инициализируется локальный указатель стека ключей, принимая значение внешнего указателя головы стека. Инициализируется указатель арности предиката или логической операции.

Оператор 2. Анализируется голова стека типов вершин. Если тип вершины есть константа, то осуществляется переход на оператор 3, где уменьшается на единицу локальный указатель стека.

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

Оператор 7. Если тип вершины есть логическая операция NOT, OR или AND то в операторе 8 определяется число аргументов, над которыми следует выполнить эту операцию. Затем в операторе 9 выполняется соответствующая логическая операция над n аргументами из стека ключей, расположенными справа от локального указателя. Результат операции заносится в стек ключей по месту локального указателя. Также производится и соответствующая замена в стеке типов.

Оператор 10. Если тип вершины есть предикат, в частности, одна из операций сравнения: =, >, >=, <, <=, IN, LIKE, а также “следует”, “предшествует”, “находится в интервале” и т.п., то в операторе 11 определяется число аргументов этого предиката. Они находятся в стеке в виде результатов предшествующей обработки. После чего в операторе 12 выполняется обработка соответствующего предиката. Результат операции заносится по месту локального указателя стека. Также производится и соответствующая замена в стеке типов.

Оператор 13. Если тип элемента по месту локального указателя есть импликация, то в операторе 14 проверяется значение элемента, находящегося непосредственно правее анализируемого в стеке ключей. Если последний представляет собой логическую константу False, то проводится упреждающая (с учетом оператора 19) корректировка переменной n. После чего в операторе 16 результат импликации замещается в стеке логической константой False.

Оператор 17. Формируется заключение, как результат доказательства на основе вывода, выполненного путём обхода всего поддерева с корнем в текущем узле.

Оператор 18. Выполняет соответствующую корректировку стека типов и затем оператор 19 корректирует внешний указатель головы стека ключей.

Анализ только что приведённых комментариев удобно проводить на примере сети, представляющей информационно-логическую таблицу и изображённой на рис 2.20. В результате совместной работы алгоритмов обратного вывода и обработки узла состояние стека будет изменяться следующим образом.

и ли, есть, подача, 0.25-0.3, <=, И, есть, Характер обработки, По сплошному металлу

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

True, есть, Обрабатываемый материал, Сталь 45 Чугун

False

False

False, есть, подача, 0.3-0.35, <=, И, есть, Характер обработки, По сплошному металлу

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

True, есть, Обрабатываемый материал, Чугун

Чугун True, есть, Модуль, 2-3

2-3

True

True

True

True

Zakl= “подача есть 0.3-0.35”

В случае введения понятия “факт” можно значительно упростить дерево вывода (рис. 24).

Таблица подач при чистовой обработке на зубодолбежных станках

ИЛИ

ЕСТЬ

Подача 0.25-0.3 

И

ЕСТЬ

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

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

ЕСТЬ

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

сталь 45

ЕСТЬ ЕСТЬ

Подача модуль

0.3-0.35  2-3

И

ЕСТЬ

характер обработки 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).

ИЛИ

FR1 FR2 FR3 FR4

<= <= <= <=

И И И И

F1 F2 F3 F4 F5 F6

Рис. 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.

=

A 1 2 3 4

< >

B 5 6 7 C 8 9

R1 R2 R3 R4 R5

Рис. 26. Пример модели прямого логического вывода.

Главное достоинство этой модели состоит в том, что поиск решения осуществляется на основе прямого вывода, который всегда короче. Кроме того для такой модели проще строится интерфейс ввода подобных таблиц и он совпадает с интерфейсом классификационной компоненты. Алгоритм прямого вывода приводится на рис. 27.

начало

1. mP = ‘’ , mL = 0

mV = ‘’ , mR = 0,

mA = ‘’, Zakl = ‘’, Tip=‘P’

2. Начало цикла

4.Перейти на нижележащую

3. Посещение вершины вершину ( вершину-“сын”)

Tip = ‘V’

да

5.Вершина - предикат? 6. Занести содержимое.

вершины в mP нет

7. Вершина - да

переменная? 8. Занести LLINK в mL.

нет Запросить ввод значения

нет переменной в mV

9.Вершина - дизъюнкт.?

11.Перейти на правое

поддерево

да

10. Занести содержимое Нет

вершины в mA. Занести LLINK=0

RLINK в mR

Да

mL =LLINK

12.Выполнить операцию

L = mP( mV, mA )

True нет

13. L? 14. Empty( mL)?

False да да 17.Tip = “P”

15. Empty( mR ) ? 16. Tip = ‘R’

нет Перейти по

18.Перейти по mR LLINK 20.Перейти по mL

Tip = “D”

21.Окончание цикла 5

22.Занести содержимое 19. Решения

вершины в Zakl. нет

конец

Рис. 27. Алгоритм прямого вывода

Таблицы соответствий и таблицы решений. Таблицы соответствий и таблицы решений являются разновидностью таблиц с условиями и отличаются от них лишь графическим представлением (табл. 7, табл. 8). Выбираемые значения в этих таблицах принято называть решениями. В рассмотренных ранее таблицах с условиями выбираемые значения имели общее наименование. В таблицах соответствий и таблицах решений каждое слово выбираемого значения может иметь свое наименование, например, выбираемыми значениями для таблицы соответствий (табл. 7) является совокупность слов, наименованиями которых служат: "наименование вспомогательного инструмента" и "индекс вспомогательного инструмента".

Таблица 7.

Решения Условия выбора

Модель Вид Диаметр

Наименование Индекс станка резьбы резьбы

вспомогат. вспомогат. 1112 1Б112 1118 Нар. Внут.4 5 6 10 12

инструмента инструмента

Патрон АШ6162-2031 * * * * * * *

-”- АШ6162-2032 * * * * *

-”- АШ6162-2033 * * * * * *

-”- АШ6162-2011 * * * * * * *

Державка Да55-1 * * *

-”- Да55-2 * * *

-”- Да55-3 * * *

Решением в табл. 8 служит целое число, являющееся номером некоторой ситуации. Каждому решению соответствует набор условий.

В таблицах соответствий соответствие между решением и набором условий устанавливают, помечая соответствующую клетку, например, решению: “Державка Да55-2” (табл. 7) соответствует следующий набор условий: "модель станка - 1Б112", "вид резьбы - наружная", "Диаметр резьбы - 12 мм". Предполагается, что условия одного набора соединены логическим отношением “И”, а пометка нескольких клеток одной строки с одним и тем же именем условия предполагает наличие логического отношения “ИЛИ”, т.е. представляет собой дизъюнктивный пучок.

В таблицах решений соответствие между решением и набором условий устанавливают путем записи значений условий в графе, соответствующей характеризуемому решению, например, решению с номером 3 (табл. 8) соответствует следующий набор условий: "код типовой поверхности -261", “Код марки материала - 200-400”, “Нижнее значение шероховатости - 0.8”, "верхнее значение класса точности - безразлично".

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

Таблица 8.

Решения

Имена

условий 1 2 3 4 5

Код типовой поверх-

ности -261 -261 -261 -2561 -261

Код марки материала 100-200 200-400 - - -

Нижнее значение ше-

роховатости 2,5 0,8 - - -

Верхнее значение

класса точности - - 3 - -

Выводы

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