Computational music theory

G. Boenn, M. Brain, M. De Vos, J. Ffitch

Research output: Chapter in Book/Report/Conference proceedingChapter

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. ANTONis 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.
Original languageEnglish
Title of host publicationMusical Metacreation: Papers from the 2012 AIIDE Workshop
PublisherAssociation for the Advancement of Artificial Intelligence (AAAI)
Pages27-34
Number of pages8
ISBN (Print)9781577355878
Publication statusPublished - 2012
Event8th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE 2012 Workshop - Stanford, CA., USA United States
Duration: 8 Oct 2012 → …

Publication series

NameAAAI Technical Report
VolumeWS-12-16

Conference

Conference8th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE 2012 Workshop
CountryUSA United States
CityStanford, CA.
Period8/10/12 → …

Fingerprint

Semantics
Chemical analysis

Cite this

Boenn, G., Brain, M., De Vos, M., & Ffitch, J. (2012). Computational music theory. In Musical Metacreation: Papers from the 2012 AIIDE Workshop (pp. 27-34). (AAAI Technical Report; Vol. WS-12-16). Association for the Advancement of Artificial Intelligence (AAAI).

Computational music theory. / Boenn, G.; Brain, M.; De Vos, M.; Ffitch, J.

Musical Metacreation: Papers from the 2012 AIIDE Workshop. Association for the Advancement of Artificial Intelligence (AAAI), 2012. p. 27-34 (AAAI Technical Report; Vol. WS-12-16).

Research output: Chapter in Book/Report/Conference proceedingChapter

Boenn, G, Brain, M, De Vos, M & Ffitch, J 2012, Computational music theory. in Musical Metacreation: Papers from the 2012 AIIDE Workshop. AAAI Technical Report, vol. WS-12-16, Association for the Advancement of Artificial Intelligence (AAAI), pp. 27-34, 8th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE 2012 Workshop, Stanford, CA., USA United States, 8/10/12.
Boenn G, Brain M, De Vos M, Ffitch J. Computational music theory. In Musical Metacreation: Papers from the 2012 AIIDE Workshop. Association for the Advancement of Artificial Intelligence (AAAI). 2012. p. 27-34. (AAAI Technical Report).
Boenn, G. ; Brain, M. ; De Vos, M. ; Ffitch, J. / Computational music theory. Musical Metacreation: Papers from the 2012 AIIDE Workshop. Association for the Advancement of Artificial Intelligence (AAAI), 2012. pp. 27-34 (AAAI Technical Report).
@inbook{8b302e0fbaaf46e8afab45f2e5b9f50e,
title = "Computational music theory",
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. ANTONis 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.",
author = "G. Boenn and M. Brain and {De Vos}, M. and J. Ffitch",
year = "2012",
language = "English",
isbn = "9781577355878",
series = "AAAI Technical Report",
publisher = "Association for the Advancement of Artificial Intelligence (AAAI)",
pages = "27--34",
booktitle = "Musical Metacreation: Papers from the 2012 AIIDE Workshop",

}

TY - CHAP

T1 - Computational music theory

AU - Boenn, G.

AU - Brain, M.

AU - De Vos, M.

AU - Ffitch, J.

PY - 2012

Y1 - 2012

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

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

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

UR - http://aiide12.gatech.edu/

UR - http://www.aaai.org/ocs/index.php/AIIDE/AIIDE12/paper/view/5508

M3 - Chapter

SN - 9781577355878

T3 - AAAI Technical Report

SP - 27

EP - 34

BT - Musical Metacreation: Papers from the 2012 AIIDE Workshop

PB - Association for the Advancement of Artificial Intelligence (AAAI)

ER -