Аннотация:Обзор методов интеллектуализации компьютерных систем планирования, принятия решений и управления. Изучение логических языков и методов формализации и вывода знаний. Алгоритмизация представления и обработки знаний в частично-формализованном языке позитивно-образованных формул.