Skip to main content
    • Aa
    • Aa

Automatic music composition using answer set programming


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.

Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

S. Arom 1991. African Polyphony and Polyrhythm. Cambridge University Press, Cambridge, UK.

C. Baral 2003. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge, UK.

C. Baral and M. Gelfond 2000. Reasoning agents in dynamic domains. In Logic-based Artificial Intelligence, J. Minker , Ed. Kluwer Academic, 257279.

G. Boenn , M. Brain , M. De Vos and J. Ffitch 2008. Automatic composition of melodic and harmonic music by answer set programming. In International Conference on Logic Programming, ICLP08. Lecture Notes in Computer Science, vol. 4386. Springer, Berlin/Heidelberg, 160174.

M. Brain , T. Crick , M. De Vos and J. Fitch 2006. TOAST: Applying answer set programming to superoptimisation. In International Conference on Logic Programming, S. Etalle and M. Truszcynski , Eds. 270284. LNCS, Springer.

F. Buccafurri and G. Gottlob 2002. Multiagent compromises, joint fixpoints, and stable models. In Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I, A. C. Kakas and F. Sadri , Eds. Lecture Notes in Computer Science, vol. 2407. Springer, 561585.

O. Cliffe , M. De Vos , M. Brain and J. Padget 2008. ASPVIZ: Declarative visualisation and animation using answer set programming. In Logic Programming, M. Garcia de la Banda and E. Pontelli , Eds. Lecture Notes in Computer Science. Springer, Berlin/Heidelberg, 724728.

M. De Vos and D. Vermeir 1999. Choice logic programs and Nash equilibria in strategic games. In Computer Science Logic (CSL'99), J. Flum and M. Rodríguez-Artalejo , Eds. Lecture Notes in Computer Science, vol. 1683. Springer-Verlag, Madrid, Spain, 266276.

M. Gebser , T. Schaub and S. Thiele 2007. GrinGo: A new grounder for answer set programming. In Proc. of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'07), C. Baral , G. Brewka and J. Schlipf , Eds. Lecture Notes in Artificial Intelligence, vol. 4483. Springer-Verlag, Berlin, 266271.

I. Niemelä and P. Simons 1997. Smodels: An implementation of the stable model and well-founded semantics for normal LP. In Proc. of the 4th International Conference on Logic Programing and Nonmonotonic Reasoning, J. Dix , U. Furbach and A. Nerode , Eds. LNAI, vol. 1265. Springer, Berlin, 420429.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *



Full text views

Total number of HTML views: 0
Total number of PDF views: 34 *
Loading metrics...

Abstract views

Total abstract views: 231 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 23rd September 2017. This data will be updated every 24 hours.