Формализация знаний и управление на основе позитивно-образованных языков

Рассматриваются возможности автоматизации процессов управления и расширения потенциала управления с помощью некоторых известных и новых методов представления и обработки знаний. Предлагаются оригинальные логические средства (позитивные исчисления). Отмечены их достоинства и ограничения в сравнении с известными, в том числе нелогичными, средствами искусственного интеллекта. Рассматривается применение этих средств для моделирования интеллектов управления динамическими системами.