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

Abstract

Представлен метаязык нормальных форм знаний, даны его текстовое и графическое описания. В текстовой и графической формах даны формальные описания множества лингвистических примеров, в том числе синтаксиса подмножества простых предложений английского языка и метаязыка Extended Backus–Naur Form. Сделано заключение об адекватности предложенного метаязыка возможностям человека представлять и использовать знания.

Представлена метамова нормальних форм знань, дано її текстовий й графічний описи. У текстовій і графічній формах дано формальні описи множини лінгвістичних прикладів, у тому числі синтаксису підмножини простих речень англійської мови й метамови Extended Backus–Naur Form. Зроблено висновок про адекватність представленої метамови можливостям людини щодо подання й використання знань.

The meta-language of normal forms of knowledge is presented and its graphic and text descriptions are provided. The formal descriptions of numerous linguistic examples (including syntax of a subset of simple English sentences and the meta-language of extended Backus–Naur forms) are set out in text and graphic forms. It has been concluded that the meta-language presented can be favorably compared to human capabilities of knowledge representation and usage.