Automatic music composition using answer set programming


Boenn, G., Brain, M., De Vos, M. and Ffitch, J., 2011. Automatic music composition using answer set programming. Theory and Practice of Logic Programming, 11 (2-3), pp. 397-427.

Related documents:

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (353kB) | Preview

    Official URL:

    Related URLs:


    Music composition used to be a pen and paper activity. These days music is often composed with the aid of computer software, even to the point where the computer composes parts of the score autonomously. The composition of most styles of music is governed by rules. We show that by approaching the automation, analysis and verification of composition as a knowledge representation task and formalising these rules in a suitable logical language, powerful and expressive intelligent composition tools can be easily built. This application paper describes the use of answer set programming to construct an automated system, named Anton, that can compose melodic, harmonic and rhythmic music, diagnose errors in human compositions and serve as a computer-aided composition tool. The combination of harmonic, rhythmic and melodic composition in a single framework makes Anton unique in the growing area of algorithmic composition. With near real-time composition, Anton reaches the point where it can not only be used as a component in an interactive composition tool but also has the potential for live performances and concerts or automatically generated background music in a variety of applications. With the use of a fully declarative language and an "off-the-shelf" reasoning engine, Anton provides the human composer a tool which is significantly simpler, more compact and more versatile than other existing systems.


    Item Type Articles
    CreatorsBoenn, G., Brain, M., De Vos, M. and Ffitch, J.
    Related URLs
    URLURL Type
    DepartmentsFaculty of Science > Computer Science
    Research CentresCentre for Mathematical Biology
    Publisher Statementjournal.pdf: This article appears in a revised form, subsequent to peer review and/or editorial input by Cambridge University Press, in Theory and Practice of Logic Programming, 2011, vol 11(2-3), pp.397-427 published by Cambridge University Press.
    ID Code25400


    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...