Минимальная логика для анализа технологий

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