Abstract
Although there are many voice systems that can act as user interfaces for visually impaired people, there is still a problem with explaining more complicated structures to these users (such as mathematical equations, logical proofs, chemical formulas etc.) through speech. The output of such an interface is then reduced to a text reader. The problem is that we have lost (graphic) information about the structure, which is 2-dimensional. Within this paper we will describe a solution to this problem. We will concentrate on the structure of expressions and on reading logical proofs. We will present a preliminary design for a new markup language to describe the structure of logical proof and a method of how to present it to users by using speech efficiently.
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
Pavel, Ž., Pavel, S.: Systems for Training Audio Perception. In: Proceedings of the 1st Cambridge Workshop on Universal Access and Assistive Technology, pp. 133–137. Cambridge University Press, Cambridge (2002) ISSN 963-5432
Tom, P.: Description of the meaning structure of the formal parts of logic texts and its normalization (in Czech). In: Znalosti, VŠB-TUO, Ostrava, pp. 374–379 (2002) ISBN 80-248-0229-5
Tom, P.: Description of the meaning structure of formal logic text (in Czech), Diploma thesis, FF UK, Dept. of Logic (2002)
W3C Recommendation: Mathematical Markup Language (MathMLTM) Version 2.0, http://www.w3.org/TR/MathML2
Karshmer Arthur, I., Enrico, P., Gopal, G.: Helping Visually Impaired Students in the Study of Mathematics, http://fie.engrng.pitt.edu/fie99/papers/1034.pdf
Gopal, G.: Building the Tower of Babel: Converting XML Documents to VoiceXML for Accessibility, http://www.cs.nmsu.edu/~gupta/assistive/vox.ps
Alan, D., et al.: Human-Computer Interaction. Prentice Hall, Europe ISBN 0-13-239864-8
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Žikovský, P., Pešina, T., Slavík, P. (2004). Processing of Logical Expressions for Visually Impaired Users. In: Sojka, P., Kopeček, I., Pala, K. (eds) Text, Speech and Dialogue. TSD 2004. Lecture Notes in Computer Science(), vol 3206. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30120-2_70
Download citation
DOI: https://doi.org/10.1007/978-3-540-30120-2_70
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23049-6
Online ISBN: 978-3-540-30120-2
eBook Packages: Springer Book Archive