Constraint Programming Systems for Modeling Music Theories and Composition
Constraint Programming Systems for Modeling Music Theories and Composition
复制标题
DOI：
10.1145/1978802.1978809
复制
发表时间：
2011-10-01
影响因子：
16.6
通讯作者：
Miranda, Eduardo R.
中科院分区：
文献类型：
--
作者：
Anders, Torsten;Miranda, Eduardo R.
约束编程非常适合于音乐理论和作曲的计算建模：它的声明性和模块化方法与音乐理论传统的表达方式有相似之处，即通过一组描述预期结果的规则。不同的音乐理论学科已经被模型化，包括对位、和声、节奏、形式和乐器。因为从零开始对音乐理论进行建模是一项复杂的任务，所以已经提出了预定义对一系列音乐理论进行建模所需的构建块的通用音乐约束编程系统。在介绍了这一领域及其普遍存在的问题之后，这项调查根据一些标准对这些通用系统进行了比较，例如这些系统支持的音乐理论的范围。
Constraint programming is well suited for the computational modeling of music theories and composition: its declarative and modular approach shares similarities with the way music theory is traditionally expressed, namely by a set of rules which describe the intended result. Various music theory disciplines have been modeled, including counterpoint, harmony, rhythm, form, and instrumentation. Because modeling music theories "from scratch" is a complex task, generic music constraint programming systems have been proposed that predefine the required building blocks for modeling a range of music theories. After introducing the field and its problems in general, this survey compares these generic systems according to a number of criteria such as the range of music theories these systems support.