Аннотация:Алгоритмизируется метод интеллектуального планирования действий роботов на основе немонотонной логики в языке типово-кванторных формул, частными случаями которого являются языки многосортных логик и многоосновных алгебраических систем. Языковые и дедуктивные особенности этой логики в отличие от известных методов автоматизации планирования действий позволяют создавать программные средства с удобным (не обязательно авторским) сопровождением на модернизационной фазе их жизненного цикла. Рассматривается применение разработанных математических и программных средств в проблематике управления транспортно-логистической системой автономных аппаратов (мобильных роботов).