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