Изложены основы концепции символьного моделирования систем понятий, языков и построенных на их основе систем знаний. Определены классы базовых задач.