Abstract
Symbolic music computing has been around since early AI-music activities. Although interest in this area has declined in the past decades, recently, attempts to create a standard representation for music applications over the internet such as MusicXML and IEEE P1599 have revitalised interests in symbolic music computing. The ability to discuss music using traditional terms musicians would use in their conversation is useful. A knowledge base system that performs inferences in the same abstraction level as a human does would be able to display a clear and clean reasoning process to the human counterpart. This is very useful, particularly from the perspective of knowledge exploitation and knowledge maintenance. In this report, formalised symbolic reasoning of interval spellings and chord spellings are presented. We have shown a formal implementation of symbolic music reasoning using the Z notation. Unambiguous interval spellings and chord spellings are implemented.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baggi, D.L.: An IEEE Standard for Symbolic Music. IEEE Computer 38(11), 100–102 (2005)
Bel, B.: Symbolic and Sonic Representations of Sound-object Structures. In: Balaban, M., Ebcioglu, K., Laske, O. (eds.) Understanding Music with AI: Perspectives on Music Cognition, ch. 4, pp. 65–109. The AAAI Press/The MIT Press (1992)
Bellini, P., Nesi, P., Zoia, G.: Symbolic Music Representation in MPEG. IEEE Multimedia 12(4), 42–49 (2005)
Brown, G.J., Cooke, M.: Computational Auditory Scene Analysis. Computer Speech and Language 8, 297–336 (1994)
Butterworth, A.: Stylistic Harmony. Oxford University Press (1994)
Courtot, F.: Logical Representation and Induction for Computer Assisted Composition. In: Balaban, M., Ebcioglu, Laske, O. (eds.) Understanding Music with AI: Perspectives on Music Cognition, ch. 7, pp. 157–181. The AAAI Press/The MIT Press (1992)
Good, M.: MusicXML for Notations and Analysis. In: Hewlett, W.B., Selfridge-Field, E. (eds.) The Virtual Score Representation, Retrieval, Restoration, pp. 113–124. The MIT Press (2001)
Harris, M., Wiggins, G., Smaill, A.: Representing Music Symbolically. In: Camurri, A., Canepa, C. (eds.) Proceedings of the IX Colloquio di Informatica Musicale. Also Research Paper 562, Department of Artificial Intelligence, University of Edinburgh (1991)
Huron, D.: Design Principles in Computer-based Music Representation. In: Marsden, A., Pople, A. (eds.) Computer Representations and Model in Music, pp. 5–40. Academic Press (1992)
Knopke, I.: The Perlhumdrum and Perllilypond Toolkits for Symbolic Music Information Retrieval. In: Proceedings of the International Symposium on Music Information Retrieval, pp. 147–152 (2008)
Palisca, C.V.: Theory. In: Sadie, S. (ed.) The New Grove Dictionary of Music and Musicians, vol. 25, pp. 359–385. Macmillan Publishers Ltd., London (1980)
Piston, W.: Harmony: Revised and expanded by Mark Devoto. Victor Gollancz Ltd. (1982)
Pope, S.T.: The SmOKe Music Representation, Description Language, and Interchange Format. In: Proceedings of International Computer Music Conference (ICMC 1992), pp. 106–109. The Computer Music Association (1992)
Recordare: Music XML, http://www.recordare.com/ (last access 2011)
Selfridge-Field, E.: Beyond MIDI. The MIT Press (1997)
Sheppard, D.: An Introduction to Formal Specification with Z and VDM. McGraw-Hill (1995)
Schoenberg, A.: Theory of Harmony (translated by R. R. Carter). Faber and Faber Ltd. (1990)
Taupin, D.: MusixTex: Using Tex to Write Polyphonic or Instrumental Music. In: Proceedings of the 1993 TUGboat Annual Meeting, vol. 14(3) (1993), http://www.tug.org/TUGboat/Articles/tb14-3/tb40musictex.pdf
Taylor, E.: The AB guide to music theory. The Associated Board of the Royal Schools of Music (publishing) Ltd. (1989)
West, R., Howell, P., Cross, I.: Musical Structure and Knowledge Representation. In: Howell, P., West, R., Cross, I. (eds.) Representing Musical Structure, ch. 1, pp. 1–30. Academic Press (1991)
Wiggins, G., Harris, M., Smaill, A.: Representing Music for Analysis and Composition. In: Proceedings of the International Joint Conferences on Artificial Intelligence, IJCAI 1989 (1989)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Phon-Amnuaisuk, S., Ting, CY. (2011). Formalised Symbolic Reasonings for Music Applications. In: Abd Manaf, A., Zeki, A., Zamani, M., Chuprat, S., El-Qawasmeh, E. (eds) Informatics Engineering and Information Science. ICIEIS 2011. Communications in Computer and Information Science, vol 251. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25327-0_39
Download citation
DOI: https://doi.org/10.1007/978-3-642-25327-0_39
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25326-3
Online ISBN: 978-3-642-25327-0
eBook Packages: Computer ScienceComputer Science (R0)