Representing music symbolically

The automated understanding and generation of music is an area of research that raises problems that are central to the Artiicial Intelligence enterprise. Recent work at Edinburgh has aimed to use a symbolic AI approach for this eld. We indicate how a more abstract understanding of music representation uniies this approach, and how logical descriptions of hierarchical structures can be incorporated. We relate this work to alternative approaches, describe some projects carried out in this framework, and indicate planned future work.