Без заголовка
Гнездо Маццолы (Рубато оттуда же, как и многое другое) тут: http://www.encyclospace.org/
Я думаю, что "правда посередине": для музыки (как и для всего другого, включая инженерию) для полного моделирования нужен гибридный подход -- и статистика (для музыки чаще всего марковские сети и паттерны на них) и строгие классические (структурные) методы. Цивилизация прирастает формализмами-логиками (неаристотелевскими, конечно), а практика метафорами-аналогиями-блендингом-эвристиками. Интересно, что тусовка онтологов (Ontology Summit: там почти все, кто шевелится в этой области) заговорила о гибридных вычислениях только год-два назад, а до этого занималась только логикой.
Ох, сколько всего сейчас в мире интересного творится...