Specification Mining for Machine Improvisation with Formal Specifications

被引：3

作者：

Valle, Rafael ^{[1
,2
]}

Donze, Alexandre ^{[2
]}

Fremont, Daniel J. ^{[2
]}

Akkaya, Ilge ^{[2
]}

Seshia, Sanjit A. ^{[2
]}

Freed, Adrian ^{[1
,2
]}

Wessel, David ^{[2
]}

机构：

[1] Univ Calif Berkeley, CNMAT, Berkeley, CA 94720 USA

[2] Univ Calif Berkeley, Dept Elect Engn & Comp Sci, Berkeley, CA 94720 USA

来源：

COMPUTERS IN ENTERTAINMENT | 2016年 / 14卷 / 03期

基金：

美国国家科学基金会;

关键词：

Specification mining; formal methods; control improvisation; machine learning;

D O I：

10.1145/2967504

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

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.

引用

页数：20

共 34 条

[1] Synthesis of interface specifications for Java']Java classes [J].

Alur, R ;

Cerny, P ;

Madhusudan, P ;

Nam, W .

ACM SIGPLAN NOTICES, 2005, 40 (01) :98-109

[2] Mining specifications [J].

Ammons, G ;

Bodík, R ;

Larus, JR .

ACM SIGPLAN NOTICES, 2002, 37 (01) :4-16

[3]

Assayag G, 2004, SOFT COMPUT, V8, P604, DOI 10.1007/S00500-004-0385-4

[4]

Cabral Giordano, 2006, P 19 INT FLAIRS C SP

[5]

Caplain M., 1975, SIGPLAN Notices, V10, P165, DOI 10.1145/390016.808436

[6]

Cassandras C. G., 2006, INTRO DISCRETE EVENT

[7]

Cleophas Loek, 2003, P 3 PRAG STRING C

[8] MULTIPLE VIEWPOINT SYSTEMS FOR MUSIC PREDICTION [J].

CONKLIN, D ;

WITTEN, IH .

JOURNAL OF NEW MUSIC RESEARCH, 1995, 24 (01) :51-73

[9]

Cope D., 1991, COMPUTERS MUSICAL ST

[10]

Donze A., 2013, UCBEECS2013183

← 1 2 3 4 →