Abstract
A human-computer ensemble system is one of time concerned cooperative systems, which performs secondo of an ensemble played by a computer-controlled piano cooperating with primo played by a human performer. For creating expressive performance, a rehearsal program is adopted to this system. By the rehearsal program, the system learns the tendency of the expression that the human performer thinks and/or plans. To do so, the program records his/her performance of solo and calculates the tendency, which depends on not only the performer but also the composition of music itself. Hence, it is necessary for the expressive performance to analyze the score of the composition and to experiment dependent on it.
This system is an example of intelligent realtime programs appropriate for formal verification and analysis. NΣ-labeled calculus is a formal system for verification for such time-concerned programs.
In this paper, a logical specification and experimental results for an expressive ensemble system will be introduced.
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
Curzon, P., Ruksenas, R., Blandford, A.: An Approach to Formal Verification of Human-Computer Interaction. Formal Aspect of Computing 19, 513–550 (2007)
Eto, Y. (ed.): Flute Famous Collections 31, p. 112. Doremi Music Publishing (1986)
Damm, W., Hungar, H., Olderog, E.-R.: Verification of Cooperating Traffic Agents. International Journal of Control 79, 395–421 (2006)
Dannenberg, R.B.: An On-Line Algorithm for Real-Time Accompaniment. In: Proceedings of the 1984 International Computer Music Conference, pp. 193–198 (1985)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press, Cambridge (1995)
Halpern, J.Y., Vardi, M.Y.: The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds. Journal of Computer and System Sciences 38, 195–237 (1989)
Igarashi, S.: The ν-Conversion and an Analytic Semantics. Information Processing 83, 769–774 (1983)
Ikeda, Y., Mizutani, T., Shio, M.: Formal System and Semantics of N Σ-labeled Calculus. In: The 2009 International Conference on Artificial Intelligence and Computational Intelligence, vol. III, pp. 270–274. IEEE, Los Alamitos (2009)
Mizutani, T., Igarashi, S., Ikeda, Y., Shio, M.: Labeled @-Calculus: Formalism for Time-Concerned Human Factors. In: Calmet, J., Ida, T., Wang, D. (eds.) AISC 2006. LNCS (LNAI), vol. 4120, pp. 25–39. Springer, Heidelberg (2006)
Mizutani, T., Igarashi, S., Shio, M., Ikeda, Y.: Human Factors in Continuous Time-Concerned Cooperative Systems Represented by N Σ-labeled Calculus. Frontiers of Computer Science in China 2, 22–28 (2008)
Mizutani, T., Suzuki, T., Shio, M., Ikeda, Y.: Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with Rehearsal. In: TASE 2009, The 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, pp. 303–304 (2009)
Mizutani, T., Igarashi, S., Shio, M., Ikeda., Y.: Analysis of an Airplane Accident in N Σ-labeled Calculus. In: TASE 2009, The 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, pp. 311–312 (2009)
Mizutani, T., Igarashi, S., Shio, M., Ikeda, Y.: Formal Analysis of an Airplane Accident in N Σ-labeled Calculus. In: Deng, H., Wang, L., Wang, F.L., Lei, J. (eds.) AICI 2009. LNCS, vol. 5855, pp. 469–478. Springer, Heidelberg (2009)
Mizutani, T., Igarashi, S., Shio, M., Ikeda, Y.: Labeled Calculi Applied to Verification and Analysis of Time-Concerned Programs I, TENSOR, N. S. (to appear)
Mizutani, T., Igarashi, S., Shio, M. and Ikeda, Y.: Labeled Calculi Applied Verification and Analysis of Time-Concerned Programs II, TENSOR, N. S. (to appear)
Raphael, C.: Automated Rhythm Transcription. In: ISMIR 2001: International Symposium on Music Information Retrieval, pp. 99–107 (2001)
Suzuki, T.: Creation and Analysis of Expression on an Ensemble System, Master’s Thesis, Department of Computer Science, Graduate School of Systems and Information Engineering, University of Tsukuba (2009) (in Japanese)
Takeda, H., Nishimoto, T., Sagayama, S.: Joint Estimation of Rhythm and Tempo of Polyphonic MIDI Performance Using Tempo Curve and Hidden Markov Models. Journal of Information Processing 48, 237–247 (2007) (in Japanese)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mizutani, T., Igarashi, S., Suzuki, T., Ikeda, Y., Shio, M. (2010). A Realtime Human-Computer Ensemble System: Formal Representation and Experiments for Expressive Performance. In: Wang, F.L., Deng, H., Gao, Y., Lei, J. (eds) Artificial Intelligence and Computational Intelligence. AICI 2010. Lecture Notes in Computer Science(), vol 6319. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16530-6_31
Download citation
DOI: https://doi.org/10.1007/978-3-642-16530-6_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16529-0
Online ISBN: 978-3-642-16530-6
eBook Packages: Computer ScienceComputer Science (R0)