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 or section
AN - SCOPUS:84876041996
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)
T2 - 8th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE 2012 Workshop
Y2 - 8 October 2012
ER -