Cтраница 2
Экспертная система должна обладать возможностью вынола полного списк-а всех значений и объектов базы зна-ний. Следующий / модуль, SEE VALS, с помощью указателя оЬ ьскта выводит iia экран дисплея все имена значений, содержащиеся в списке значений узла оЬ ьекта. Сначала процедура находит указанный узел объекта, а затем перебирает имена в списке значений. По команде write программа выводит имя текущего значения на экран, а затем обращается к указателю ( р.л. пех1) для определения следующего элемента. Когда устанавливается значение nil, вывод прекращается. [16]
Имя типа и набор принадлежащих типу значений должны подчиняться обычным правилам для имен идентификаторов. Так, определенное новое имя типа данных может использоваться точно так же, как любое другое имя типа данных, а имена значений типа рассматриваются как константы нового типа данных. Типы данных, объявляемые путем перечисления всех возможных значений, называются перечислениями. Единственные операции, которые могут выполняться над переменными перечислимого типа, - это присваивания и сравнения. Если требуются другие операции, то их должен задать программист с помощью процедур ( см. гл. [17]
Сначала пользователь вводит имя объекта вместе со списком связанных с ним разрешенных значений. Этот ввод похож на пару объект - значение, с той лишь разницей, что правая часть равенства может содержать несколько имен значений. [18]
Знания формируются в виде дерева решений, которое представляет собой сеть вывода для консультации. Дерево решений в системе ИЛИС - это помеченный связанный граф без циклов, внутренние вершины которого помечаются именами нецелевых атрибутов, дуги - именами значений этих атрибутов, листьевые вершины - значениями целевого атрибута. Множество значений атрибутов, которым соответствует путь от корня дерева к листу, назовем правилом. Любому примеру из обучающей выборки соответствует правило, причем разным примерам, принадлежащим к различным классам, не может соответствовать одно правило. В ходе построения дерева система может давать диагностику о неполноте генерируемой модели. [19]
Эта процедура сначала расщепляет введенную строку для разделения имени объекта и имен разрешенных значений. Если имя оиъекта не найдено, программа вызывает процедуру MAKE NODE для того, чтобы создать новый узел, а потом помещает новое имя объекта в вершину списка. Имена значений одно за другим добавляются к списку разрешенных значений ооьекта, пока не Ьулет обработано последнее разрешенное значение в строке. При каждом добавлении значение счетчика увеличивается па единицу. [20]
Считается, что имя определено, если оно появляется в поле названия какого-либо оператора. Возможно определение имени с помощью команды ассемблера EQU. Определение имени означает присвоение этому имени значения, а также признака перемещаемости и характеристики длины. Имена, называющие области памяти, являются перемещаемыми, остальные имена - абсолютными. Характеристика длины имени представляет собой длину в байтах той области памяти, адрес которой представлен этим именем. [21]
В этом примере, если файл успешно открыт, процедура SetFileHandler связывает процедуру обработки ошибок ErrorHandler с работой файла LogicalFilel. Если произвольная операция над файлами, связанными с этим файлом, приводит к значению типа FileState, отличающемуся от FileOk, то программа в модуле Files вызовет процедуру ErrorHandler и в нее в качестве параметра будет передано соответствующее значение типа FileState. В реализации обработчика ошибок в этом примере имя неверного значения FiieState передается на терминал. [22]
Параметры подпрограмм и подпрограмм-функций используются для обмена данными между программными модулями. В подпрограммах-функциях информация передается также путем присваивания их имени значений. [23]
На первом таге проверяется наличие имени объекта в списке объектов. Если имя оЬ ъекта не пайлепо, программа создает новый узел и добавляет указанное имя объекта в вершину списка. На следующих тагах осуществляется поиск в списке значений, и если имя значения в нем отсутствует, оно добавляется в вершину списка. [24]
Теперь перейдем к добавлению предпосылок и заключений, которые составляют правила экспергной системы. Приведенная ниже функция добавляет к текущему правилу предпосылку. Каждое правило имеет список предпосылок, содержащий предпосылки этого правила, и список заключений. Затем программа создает новый узел списка предпосылок правила, устанавливая указатель правила curr mle на соответствующее имя объекта и имя значения. Завершает подпрограмму добавление к списку нового узла. [25]