Synthesis of Programmatic Strategies Framework SynProS

SynProS is one track in the MicroRTS AI Competition. This track has been created to motivate research questions in the synthesis of strategies (scripts) using techniques of program synthesis into the MicroRTS. We propose a domain-specific language (DSL) for specifying programmatic-guided synthesis (SynProS) problem introduced below:

The entire framework follows the DSL showed above and we believe that this representation is necessary to understand the framework. S1 is the initial symbol and 'epsilon' is an empty string. The language is simplified as it does not allow nested conditionals and nested loops. The DSL allows programs with if-clauses inside and outside for-loops and infinitely large sequences of C's, called action functions. Next, we describe the C's (action functions) and B's (boolean functions) that compose the DSL. The next pages in the wiki provide more information about how the framework can be used.