In most styles of music, composition is governed by a set of rules. We demonstrate that approaching the automation and analysis of composition declaratively, by expressing these rules in a suitable logical language, powerful and expressive intelligent composition tools can easily be built. This paper describes the use of answer set programming to construct an automated system, named Anton, that can compose both melodic and harmonic music, diagnose errors in human compositions and serve as a computer-aided composition tool.
|Name||Lecture Notes in Artificial Intelligence|
|Conference||10th International Conference on Logic Programming and Nonmonotonic Reasoning|
|Abbreviated title||LPNMR (2009)|
|Period||14/09/09 → 18/09/09|