Anton: Answer Set Programming in the Service of Music

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

Research output: Chapter in Book/Report/Conference proceedingChapter

24 Downloads (Pure)

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.
Original languageEnglish
Title of host publicationProceedings of the Twelth International Workshop on Non-Monotonic Reasoning
EditorsM Pagnucco, M Thielscher
Place of PublicationSydney
PublisherUniversity of New South Wales
Pages85-93
Number of pages9
Publication statusPublished - Sep 2008
EventProceedings of the Twelfth International Workshop on Non-Monotonic Reasoning -
Duration: 1 Sep 2008 → …

Conference

ConferenceProceedings of the Twelfth International Workshop on Non-Monotonic Reasoning
Period1/09/08 → …

Fingerprint

Chemical analysis
Knowledge representation
Automation
Semantics

Cite this

Boenn, G., Brain, M., De Vos, M., & ffitch, J. (2008). Anton: Answer Set Programming in the Service of Music. In M. Pagnucco, & M. Thielscher (Eds.), Proceedings of the Twelth International Workshop on Non-Monotonic Reasoning (pp. 85-93). Sydney: University of New South Wales.

Anton: Answer Set Programming in the Service of Music. / Boenn, Georg; Brain, Martin; De Vos, Marina; ffitch, John.

Proceedings of the Twelth International Workshop on Non-Monotonic Reasoning. ed. / M Pagnucco; M Thielscher. Sydney : University of New South Wales, 2008. p. 85-93.

Research output: Chapter in Book/Report/Conference proceedingChapter

Boenn, G, Brain, M, De Vos, M & ffitch, J 2008, Anton: Answer Set Programming in the Service of Music. in M Pagnucco & M Thielscher (eds), Proceedings of the Twelth International Workshop on Non-Monotonic Reasoning. University of New South Wales, Sydney, pp. 85-93, Proceedings of the Twelfth International Workshop on Non-Monotonic Reasoning, 1/09/08.
Boenn G, Brain M, De Vos M, ffitch J. Anton: Answer Set Programming in the Service of Music. In Pagnucco M, Thielscher M, editors, Proceedings of the Twelth International Workshop on Non-Monotonic Reasoning. Sydney: University of New South Wales. 2008. p. 85-93
Boenn, Georg ; Brain, Martin ; De Vos, Marina ; ffitch, John. / Anton: Answer Set Programming in the Service of Music. Proceedings of the Twelth International Workshop on Non-Monotonic Reasoning. editor / M Pagnucco ; M Thielscher. Sydney : University of New South Wales, 2008. pp. 85-93
@inbook{cabc2ab5cb514f0bafb3273c6f577e96,
title = "Anton: Answer Set Programming in the Service of Music",
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.",
author = "Georg Boenn and Martin Brain and {De Vos}, Marina and John ffitch",
note = "Also Tech report UNSW-CSE-TR-0819",
year = "2008",
month = "9",
language = "English",
pages = "85--93",
editor = "M Pagnucco and M Thielscher",
booktitle = "Proceedings of the Twelth International Workshop on Non-Monotonic Reasoning",
publisher = "University of New South Wales",

}

TY - CHAP

T1 - Anton: Answer Set Programming in the Service of Music

AU - Boenn, Georg

AU - Brain, Martin

AU - De Vos, Marina

AU - ffitch, John

N1 - Also Tech report UNSW-CSE-TR-0819

PY - 2008/9

Y1 - 2008/9

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

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

UR - http://www.cse.unsw.edu.au/~kr2008/NMR2008/nmr08.pdf

M3 - Chapter

SP - 85

EP - 93

BT - Proceedings of the Twelth International Workshop on Non-Monotonic Reasoning

A2 - Pagnucco, M

A2 - Thielscher, M

PB - University of New South Wales

CY - Sydney

ER -