Abstract
With the increasing efficiency of answer set solvers and a better understanding of program design, answer set programming has reached a stage where it can be more successfully applied in a wider range of applications and where it attracts attention from researchers in other disciplines. One of these domains is music synthesis.
In this paper we approach the automation and analysis of composition of music as a knowledge representation and advanced reasoning task. Doing so, it is possible to capture the underlying rules of melody and harmony by a very small, simple and elegant set of logic rules that can be interpreted under the answer set semantics. Our system, Anton, is the first algorithmic composer to combine both harmonic and melodic composition.
In addition to describing the composition system thus created we consider the advantages of constructing an algorithmic composer this way, and also the limitations of current solvers.
In this paper we approach the automation and analysis of composition of music as a knowledge representation and advanced reasoning task. Doing so, it is possible to capture the underlying rules of melody and harmony by a very small, simple and elegant set of logic rules that can be interpreted under the answer set semantics. Our system, Anton, is the first algorithmic composer to combine both harmonic and melodic composition.
In addition to describing the composition system thus created we consider the advantages of constructing an algorithmic composer this way, and also the limitations of current solvers.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the Twelth International Workshop on Non-Monotonic Reasoning |
| Editors | M Pagnucco, M Thielscher |
| Place of Publication | Sydney |
| Publisher | University of New South Wales |
| Pages | 85-93 |
| Number of pages | 9 |
| Publication status | Published - Sept 2008 |
| Event | Proceedings of the Twelfth International Workshop on Non-Monotonic Reasoning - Duration: 1 Sept 2008 → … |
Conference
| Conference | Proceedings of the Twelfth International Workshop on Non-Monotonic Reasoning |
|---|---|
| Period | 1/09/08 → … |