Требования к формализмам

Остановимся на особенностях, которыми должны обладать формализмы представления структур БЗ (знаний) в рамках МС.

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

Во-вторых, формализм представления знаний должен быть единым. В варианте, когда знания о фактах записываются на одном языке, о преобразованиях —на другом, гипотезы -на третьем и т. д., возникают существенные трудности, связанные с «увязкой» языков, их совмещением. При этом растет и число видимых задач. Чтобы избежать этого, требуется разработка единого формализма, который в своих частных случаях должен вырождаться в типовые средства логики предикатов, формальных грамматик и др.

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

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

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