ANTON: Composing Logic and Logic Composing

摘要

In most styles of music, composition is governed by a set of rules. We demonstrate that approaching the automation and analysis of composition declar-atively, 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.