Представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации информации и т.п.) в виде знаковой модели, задающей множество объектов путем описания исходных объектов и правил построения новых -