Учреждение высшего образования

«ЕСЛИ 
атрибут a
1 
принимает значение a
11
И 
атрибут a
2
принимает значение a
23
, 
ТО 
значение атрибута a
3
следует считать равным a
23
 ». 
 
Работа отладчика по проверке полноты заключается в последова-
тельном переборе (применении) всех продукций, построении графа вы-
вода и нахождении всех маршрутов от всех значений входных терми-
нальных атрибутов к значениям выходных терминальных атрибутов. 
Если хотя бы из одного значения такого маршрута не найдено, то условие 
полноты считается не соблюденным. В этом случае отладчику необхо-
димо инженеру по знаниям указать точки начала и окончания маршрута, 
нарушающего полноту. Устранение неполноты может быть достигнуто 
добавлением новых продукций и/или удалением продукций и атрибутов 
«виновных» в неполноте.
Работа отладчика по проверке непротиворечивости заключается в 
проверке отсутствия маршрутов при одинаковых значениях начальных 
величин, оканчивающихся разными значениями одной и той же вели-
чины. Окончания вывода разными значениями разных атрибутов не го-
ворят о наличии противоречивости.
Следует различать три типа представлений одного и того же продук-
ционного правила в нашей аналитической платформе: 
Продукционное правило, представленное аналитиком на основе экс-
пертных знаний, используется для визуального представления в редак-
торе продукционных правил, при объяснении результатов логического 
вывода.

---

100 
Продукционное правило, представленное вместе со служебной ин-
формацией (идентификаторы атрибутов, идентификаторы значений про-
дукции, идентификаторы условий применимости продукции), использу-
ется для отладки, проверки на полноту и непротиворечивость базы пра-
вил. 
Рис. П25. Структура меню редактора 
Пункт меню «ИМЯ 
АТРИБУТА» 
5 
«Сохранить ПРОЕКТ» 
«Создать АТРИБУТ» 
«Сохранить ПРОЕКТ как» 
«Открыть ПРОЕКТ» 
«Создать ПРОЕКТ» 
«Сохранить ПРОЕКТ» 
«Открыть ПРОЕКТ» 
«Сохранить ПРОЕКТ как» 
«Удалить ПРОЕКТ» 
Файл проектов PRO 
Пункт меню «АТРИБУТ» 
3 
4 
1 
Пункт меню «ПРОЕКТ» 
2 
1 
Пункт меню «ВСЕГО ЗНАЧЕ-
НИЙ атрибута» 
«Ввести значение 1» 
«Ввести значение 2» 
«Ввести значение n» 

---

101 
Рис. П26. Взаимосвязи пунктов меню редактора и файлов БЗ сове-
тующей системы 
Файл правил конкретного проекта 
RULTid 
Файл правил конкретного проекта 
RULTid 
Файл правил конкретного проекта 
RULTid 
Файл описания атрибутов, общих 
для всех проектов проекта ATRid-
COM 
Файл описания атрибутов, общих 
для всех проектов проекта 
ATRsetCOM 
Файл описания атрибутов кон-
кретного проекта ATRset 
Файл описания атрибутов кон-
кретного проекта ATRset 
Файл описания атрибутов кон-
кретного проекта ATRset 
Файл описания атрибутов кон-
кретного проекта ATRid (иденти-
фикатор проекта) 
Файл описания атрибутов кон-
кретного проекта ATRid (иденти-
фикатор проекта) 
Файл описания атрибутов кон-
кретного проекта ATRid (иденти-
фикатор проекта) 
Файл функций принадлежности 
атрибутов FAN 

---

102 
Приложение 4