Probabilistic Extension to the Concurrent Constraint Factor Oracle Model for Music Improvisation

Abstract

We can program a Real-Time (RT) music improvisation system in C++ without a formal semantic or we can model it with process calculi such as the Non-deterministic Timed Concurrent Constraint (ntcc) calculus. "A Concurrent Constraints Factor Oracle (FO) model for Music Improvisation" (Ccfomi) is an improvisation model specified on ntcc. Since Ccfomi improvises non-deterministically, there is no control on choices and therefore little control over the sequence variation during the improvisation. To avoid this, we extended Ccfomi using the Probabilistic Non-deterministic Timed Concurrent Constraint calculus. Our extension to Ccfomi does not change the time and space complexity of building the FO, thus making our extension compatible with RT. However, there was not a ntcc interpreter capable of RT to execute Ccfomi. We developed Ntccrt -a RT capable interpreter for ntcc-and we executed Ccfomi on Ntccrt. In the future, we plan to extend Ntccrt to execute our extension to Ccfomi.

Real-time interactive streams and temporal objects language

“…N → R 1 sum(gain(delay1(Sinput1 / Sacq, delta)) || rl(Sinput2 / Sacq)) ds What are avail(S output1 , t), k(S output1 , t), req(S output1 , t)? Process calculi has been applied to the modeling of interactive music systems [18,17,23,28,16,27,1,24,19,4,14,11,13,15,2,22,12,20,21,10] and ecological systems [25,6,26,7]. In addition, research on algorithms [5,3,9] and software engineering [8] also contributes to this field.…”

A general overview of formal languages for individual-based modelling of ecosystems

“…Surprisingly, many formalisms developed for population modelling have been also used to model music interaction in real life performance; for instance process calculi has been used to model real-time performance in music [105], computer music improvisation [85] and interactive music scores [102]. In fact, process calculi have been extensively applied to the modeling of interactive music systems [95,94,92,88,93,87,101,90,91,86,89,85,100,106,84,105,1,102,96,55,82,79,81,83,2,99,80,97,98,78] and ecological systems [103,60,104,61]. In addition, research on algorithms [57,53,70,67,69] and software engineering [74,46] also contributes to this field.…”

ntccMC: A bounded-time model checker for ntcc

“…Ccp calculi belongs to a family of formalisms named process calculi. Process calculi has been applied to the modeling of interactive music systems [38,37,43,48,36,47,2,44,39,15,34,32,33,35,4,42,49,40,41,31] and ecological systems [45,17,46,18]. In addition, research on algorithms [16,13,22] and software engineering [21] also contributes to this field.…”