Компилятор базы знаний

Компилятор базы знаний в качестве входных данных использует файлы типа .DEF и .TXT, созданные редактором БЗ. В процессе компиляции создаются листинг модели, а также два файла, предназначенные для использования системой консультации и редактором базы фактов. Образованные файлы имеют следующие расширения:

• .DBA – файл, описывающий законченную и корректную модель базы знаний и предназначенный для использования системой консультации;
• .SCR – файл, содержащий описание всех вопросов базы знаний, представленных в формате редактора базы фактов;
• .LST – файл листинга, описывающий имеющиеся гипотезы базы знаний на языке консультации.

В случае, если компилятор не может найти исходные файлы типа .DEF или .TXT, он выводит соответствующее сообщение. Компилятор производит проверку на полноту и правильность сформированных гипотез, выявляет несвязанные гипотезы, а также осуществляет проверку на зацикливание посылок и метацелей. В случае обнаружения ошибок создается файл листинга (тип .LST) и выдается соответствующее сообщение, которое имеет вид: Ошибка > текст сообщения.

Если ошибок в базе знаний в процесе компиляции не обнаружено, то создаются выходные файлы типа .DBA и .SCR.

В процессе компиляции на экран выводится динамически меняющаяся информация о размере имеющейся в системе свободной памяти.

Листинг. Это исходный текст базы знаний, представленный на языке консультаций в удобном и наглядном для пользователя виде. Файл листинга создается в процессе компиляции в любом случае, независимо от наличия выявленных ошибок в базе знаний.