Тема доклада: Фреймворк QSMM, как прототип системы синтеза алгоритмов.

Краткое описание: Синтез простых алгоритмов и программ с помощью фреймворка
                  "QSMM State Machine Model", построенного на базе
                  адаптивных неоднозначных функций.


Тезисы
======

Развитие технологий ведёт к тому, что уже появляются программы, способные
самостоятельно генерировать алгоритмы. Фреймворк QSMM является примером
того, как можно обеспечить синтез простых алгоритмов и программ.

Во фреймворке QSMM синтез алгоритма представляет собой процесс решения
задачи оптимизации, цель которой -- максимизация скорости роста числовой
величины. Эта величина отражает прогресс достижения частично
синтезированным алгоритмом требуемого результата.

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

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

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

Фреймворк QSMM представляет собой базовую реализацию адаптивных
неоднозначных функций. Кроме того, он является средством ассемблирования,
выполнения и дизассемблирования программ с вероятностными инструкциями
переходов. В процессе выполнения программы эти вероятности автоматически
корректируются для более эффективного решения задачи оптимизации.

-----