И наконец, в-пятых, с задачей автоматического отображения предложений естественного языка на структуры БЗ связано требование согласованности формализма с формами ЕЯ. Имеется в виду возможность соотнесения элементарных компонент естественного языка с базовыми символами формализма (кирпичиками). Процедура построения из компонент все более сложных конструкций ЕЯ должна соотноситься с построением из кирпичиков соответствующих структур БЗ. В этом случае становится возможным последовательный анализ предложений ЕЯ с выявлением семантической компоненты, для чего может быть использован перспективный продукционный подход.

Требованиям однородности и согласованности в наибольшей степени удовлетворяет язык семантических сетей [3]. Однако в своем традиционном виде он обладает недостаточно высокими изобразительными возможностями, в связи с чем необходимо его развитие. Далее, для обработки сетей в основном используется метод сопоставления по образцу, которого явно недостаточно для обработки обобщенной информации и реализации направленных процедур. Необходимы соответствующие надстройки. Подобное развитие с учетом надстроек привело к разработке нового формализма, удовлетворяющего всем перечисленным требованиям и ориентированного на задачи автоматического построения и ведения прикладных ПС (в рамках МС). Формализм подробно описан в работах. Остановимся на некоторых его особенностях.