Представление знаний с использованием формальизмов (общая теория систем)

Под знаниями будем понимать информацию о некоторой структуре систем.
Сами знания можно считать моделью окружающего мира.
Под метазнаниями можно понимать знания о способах изучения, сохранения и представления информации.
Под базой знаний будем понимать:
1) знания, хранящиеся на материальных носителях;
2) метазнания;
3) технические средства сохранения и обработки знаний.
Под формализмом будем понимать формальную систему, применяющуюся для представления знаний, включающий изобразительную составляющую (алфавит и синтаксис) и алгоритмическую составляющую (аксиоматику и продукционные правила).