On Declarative and Procedural Knowledge Representation

Рассматриваются преимущества и недостатки стандартных в математике и информатике способов задания множеств и представления знаний. В развитие классификации сигнализации, по Ю. В. Кнорозову, знания разделяются на невербальные (иррациональные) и вербальные (рациональные), последние, в свою очередь, подразделяются на фактуальные и фасцинационные. Доказывается, что в теории Языка как системы фигур и знаков для декодирования модели мира и сознательного управления интеллектуальной деятельностью релевантными оказываются лишь те языковые категории, которые выделены процедурно, закреплены декларативно и подтверждены комбинáторно. The article discusses the advantages and disadvantages of standard methods in mathematics and computer science for setting sets and representing knowledge. Developing the classification of signaling by Yu. V. Knorozov, we divide knowledge into non-verbal (irrational) and verbal (rational), with the latter, in turn, subdivided into factual and fascinating. The approach proves that in the theory of Language as a system of figures and signs for decoding the World Model and for conscious management of intellectual activity, only those linguistic categories that are distinguished procedurally, fixed declaratively and confirmed combinatorially can be determined as relevant.