Specification mining for machine improvisation with formal specifications
| Autor: | Daniel J. Fremont, Alexandre Donzé, Rafael Valle, Sanjit A. Seshia, Adrian Freed, David Wessel, Ilge Akkaya |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
formal methods
Artificial Intelligence and Image Processing Computer science InformationSystems_INFORMATIONINTERFACESANDPRESENTATION(e.g. HCI) Control (management) Context (language use) 02 engineering and technology Musical computer.software_genre 020204 information systems Formal specification 0202 electrical engineering electronic engineering information engineering Other Information and Computing Sciences Improvisation Sequence Programming language Phrase structure rules ComputingMilieux_PERSONALCOMPUTING Software Engineering 020207 software engineering Formal methods Computer Science Applications machine learning Specification mining control improvisation computer |
| Zdroj: | Computers in Entertainment, vol 14, iss 3 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|