Automatic music composition using answer set programming

Georg Boenn, Martin Brain, Marina De Vos, John Ffitch

Research output: Contribution to journalArticle

16 Citations (Scopus)
52 Downloads (Pure)

Abstract

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.
Original languageEnglish
Pages (from-to)397-427
Number of pages31
JournalTheory and Practice of Logic Programming
Volume11
Issue number2-3
Early online date22 Feb 2011
DOIs
Publication statusPublished - Mar 2011

Fingerprint

Answer Set Programming
Music
Chemical analysis
Harmonic
Computer music
Knowledge representation
Knowledge Representation
Automation
Engine
Reasoning
Engines
Real-time

Cite this

Automatic music composition using answer set programming. / Boenn, Georg; Brain, Martin; De Vos, Marina; Ffitch, John.

In: Theory and Practice of Logic Programming, Vol. 11, No. 2-3, 03.2011, p. 397-427.

Research output: Contribution to journalArticle

Boenn, Georg ; Brain, Martin ; De Vos, Marina ; Ffitch, John. / Automatic music composition using answer set programming. In: Theory and Practice of Logic Programming. 2011 ; Vol. 11, No. 2-3. pp. 397-427.
@article{6916e027c0d64e9abf82110a62c1408a,
title = "Automatic music composition using answer set programming",
abstract = "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.",
author = "Georg Boenn and Martin Brain and {De Vos}, Marina and John Ffitch",
year = "2011",
month = "3",
doi = "10.1017/S1471068410000530",
language = "English",
volume = "11",
pages = "397--427",
journal = "Theory and Practice of Logic Programming",
issn = "1471-0684",
publisher = "Cambridge University Press",
number = "2-3",

}

TY - JOUR

T1 - Automatic music composition using answer set programming

AU - Boenn, Georg

AU - Brain, Martin

AU - De Vos, Marina

AU - Ffitch, John

PY - 2011/3

Y1 - 2011/3

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=79960377127&partnerID=8YFLogxK

UR - http://dx.doi.org/10.1017/S1471068410000530

U2 - 10.1017/S1471068410000530

DO - 10.1017/S1471068410000530

M3 - Article

VL - 11

SP - 397

EP - 427

JO - Theory and Practice of Logic Programming

JF - Theory and Practice of Logic Programming

SN - 1471-0684

IS - 2-3

ER -