Расширение метаязыка нормальных форм знаний

Abstract

Рассмотрены два варианта текстового и графического описания метаязыка нормальных форм знаний, расширенного стилистическими отношениями описания информационных структур. Набор отношений нормальных форм знаний (альтернатива, конкатенация, отрицание и итерация) расширен двумя новыми отношениями: обязательности - не нулевым числом повторений (mandatory) некоторой структуры, необязательности (optional) некоторой структуры и структурными (grouped) скобками. В текстовой и графической формах даны описания новых отношений через базовые отношения.

Розглянуто два варіанти текстового і графічного опису метамови нормальних форм знань, розширеної стилістичними відношеннями опису інформаційних структур. Набір відношень нормальних форм знань (альтернатива, конкатенація, заперечення та ітерація) розширено двома новими відношеннями: обов'язковості не нульовою кількістю повторень (mandatory) деякої структури, необов'язковості (optional) деякої структури і структурними (grouped) дужками. У текстовій і графічній формах наведено описи нових відношень через базові відношення.

Two variants of text and graphic descriptions of the meta-language of normal forms of knowledge, extended by the stylistic relations of the information structure descriptions, are presented. The set of the relations of normal forms of knowledge (alternative, concatenation, negation and iteration) is extended by two new relations: commitment relation (non-zero number of repetitions of some structure) and non-commitment relation of some structure, and structure brackets. The descriptions of new relations in text and graphic forms are also presented through the basic relations.