Specification Mining For Machine Improvisation With Formal Specifications
Rafael Valle, Alexandre Donze, Daniel J. Fremont, Ilge Akkaya, Sanjit Seshia, Adrian Freed, David Wessel

Citation
Rafael Valle, Alexandre Donze, Daniel J. Fremont, Ilge Akkaya, Sanjit Seshia, Adrian Freed, David Wessel. "Specification Mining For Machine Improvisation With Formal Specifications". Talk or presentation, 14, October, 2015; Poster presented at the 2015 TerraSwarm Annual Meeting. .

Abstract
We address the problem of mining musical specifications from a corpus 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 learn from symbolic musical data specifications based on 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 musical form. We present a specification mining strategy based on finite state automata and Markov chains, 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 supervised and unsupervised improvisations.

Electronic downloads

Internal. This publication has been marked by the author for TerraSwarm-only distribution, so electronic downloads are not available without logging in.

Citation formats

• HTML

  Rafael Valle, Alexandre Donze, Daniel J. Fremont, Ilge
  Akkaya, Sanjit Seshia, Adrian Freed, David Wessel. <a
  href="http://www.terraswarm.org/pubs/671.html"><i>Specification
  Mining For Machine Improvisation With Formal
  Specifications</i></a>, Talk or presentation, 
  14, October, 2015;  Poster presented at the <a
  href="/conferences/15/annual" >2015 TerraSwarm
  Annual Meeting</a>.
  .

• Plain text

  Rafael Valle, Alexandre Donze, Daniel J. Fremont, Ilge
  Akkaya, Sanjit Seshia, Adrian Freed, David Wessel.
  "Specification Mining For Machine Improvisation With
  Formal Specifications". Talk or presentation,  14,
  October, 2015;  Poster presented at the <a
  href="/conferences/15/annual" >2015 TerraSwarm
  Annual Meeting</a>.
  .

• BibTeX

  @presentation{ValleDonzeFremontAkkayaSeshiaFreedWessel15_SpecificationMiningForMachineImprovisationWithFormal,
      author = {Rafael Valle and Alexandre Donze and Daniel J.
                Fremont and Ilge Akkaya and Sanjit Seshia and
                Adrian Freed and David Wessel},
      title = {Specification Mining For Machine Improvisation
                With Formal Specifications},
      day = {14},
      month = {October},
      year = {2015},
      note = { Poster presented at the <a
                href="/conferences/15/annual" >2015 TerraSwarm
                Annual Meeting</a>.
  },
      abstract = {We address the problem of mining musical
                specifications from a corpus 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 learn from symbolic musical data specifications
                based on 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 musical
                form. We present a specification mining strategy
                based on finite state automata and Markov chains,
                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 supervised and unsupervised
                improvisations.},
      URL = {http://terraswarm.org/pubs/671.html}
  }
  

Posted by Rafael Valle on 14 Oct 2015.
Groups: tools