Specification mining for machine improvisation with formal specifications

We address the problem of mining musical specifications from a training set of songs and using these specifications in a machine improvisation system capable of generating improvisations imitating a given style of music. Our inspiration comes from Control Improvisation, which combines learning and synthesis from formal specifications. We mine specifications from symbolic musical data with musical and general usage patterns. We use the mined specifications to ensure that an improvised musical sequence satisfies desirable properties given a harmonic context and phrase structure. We present a specification mining strategy based on pattern graphs and apply it to the problem of supervising the improvisation of blues songs. We present an analysis of the mined specifications and compare the results of improvisations generated with and without specifications.

Download paper here

Recommended citation:

@article{valle2016specification,
  title={Specification mining for machine improvisation with formal specifications},
  author={Valle, Rafael and Donz{\'e}, Alexandre and Fremont, Daniel J and Akkaya, Ilge and Seshia, Sanjit A and Freed, Adrian and Wessel, David},
  journal={Computers in Entertainment (CIE)},
  volume={14},
  number={3},
  pages={6},
  year={2016},
  publisher={ACM}
}