Computational Music Theory

Authors

  • Georg Boenn University of Glamorgan
  • Martin Brain University of Oxford
  • Marina De Vos University of Bath
  • John Ffitch University of Bath

DOI:

https://doi.org/10.1609/aiide.v8i4.12559

Keywords:

algorithmic composition, ASP, Renaissance Counterpoint

Abstract

One of the goals of the study of music theory is to develop sets of rules to describe different styles of music. By formalising these rules so that their semantics are machine intelligible, it is possible to use computers to reason about and analyse these rules -- computational music theory. Anton is an automatic composition system based on this approach. It formalises the rules of Renaissance Counterpoint using AnsProlog and uses an answer set solver to compose pieces. This paper discusses Anton, presenting the ideas behind the system and focusing on the challenges of modelling and synthesising rhythm.

Downloads

Published

2021-06-30

How to Cite

Boenn, G., Brain, M., De Vos, M., & Ffitch, J. (2021). Computational Music Theory. Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 8(4), 27-34. https://doi.org/10.1609/aiide.v8i4.12559

Issue

Vol. 8 No. 4 (2012): AIIDE Workshop Technical Report WS-12-16 (Musical Metacreation)

Section

Musical Metacreation Workshop