Skip to main content

DiaWOz-II – A Tool for Wizard-of-Oz Experiments in Mathematics

  • Conference paper
KI 2006: Advances in Artificial Intelligence (KI 2006)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4314))

Included in the following conference series:

Abstract

We present DiaWOz-II, a configurable software environment for Wizard-of-Oz studies in mathematics and engineering. Its interface is based on a structural wysiwyg editor which allows the input of complex mathematical formulae. This allows the collection of dialog corpora consisting of natural language interleaved with non-trivial mathematical expressions, which is not offered by other Wizard-of-Oz tools in the field. We illustrate the application of DiaWOz-II in an empirical study on tutorial dialogs about mathematical proofs, summarize our experience with DiaWOz-II and briefly present some preliminary observations on the collected dialogs.

This work has been funded by the DFG Collaborative Research Center on Resource-Adaptive Cognitive Processes, SFB 378 ( http://www.coli.uni-saarland.de/ projects/sfb378/ ).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Fraser, N.M., Gilbert, G.N.: Simulating speech systems. Computer Speech and Language 5, 81–99 (1991)

    Article  Google Scholar 

  2. Kim, J.H., Glass, M.: Evaluating dialogue schemata with the Wizard of Oz computer-assisted algebra tutor. In: Intelligent Tutoring Systems, pp. 358–367 (2004)

    Google Scholar 

  3. van der Hoeven, J.: GNU TeXmacs: A free, structured, wysiwyg and technical text editor. In: Flipo, D. (ed.) Le document au XXI-ième siècle, Actes du congrès GUTenberg, Metz, vol. 39-40, pp. 39–50 (2001)

    Google Scholar 

  4. Dahlbäck, N., Jönsson, A., Ahrenberg, L.: Wizard of Oz studies – Why and how. Knowledge-Based Systems 6(4), 258–266 (1993)

    Article  Google Scholar 

  5. Benzmüller, C., et al.: Tutorial dialogs on mathematical proofs. In: Proceedings of the IJCAI Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems, Acapulco, pp. 12–22 (2003)

    Google Scholar 

  6. Benzmüller, C., et al.: A Wizard of Oz experiment for tutorial dialogues in mathematics. In: Proceedings of AI in Education (AIED 2003) Workshop on Advanced Technologies for Mathematics Education, Sydney, Australia, pp. 471–481 (2003)

    Google Scholar 

  7. Fiedler, A., Gabsdil, M., Horacek, H.: A tool for supporting progressive refinement of wizard-of-oz experiments in natural language. In: Lester, J.C., Vicari, R.M., Paraguaçu, F. (eds.) ITS 2004. LNCS, vol. 3220, pp. 325–335. Springer, Heidelberg (2004)

    Google Scholar 

  8. Benzmüller, C., et al.: A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material. In: Proceedings of International Conference on Language Resources and Evaluation (LREC 2006), Genoa, Italy, ELDA, to appear (2006)

    Google Scholar 

  9. Klemmer, S.R., et al.: Suede: a wizard of oz prototyping tool for speech user interfaces. In: UIST, pp. 1–10 (2000), citeseer.ist.psu.edu/klemmer00suede.html

  10. Munteanu, C., Boldea, M.: MDWOZ: A Wizard of Oz environment for dialog systems development. In: Proceedings 2nd International Conference on Language Resources and Evaluation, Athens, Greece, pp. 1579–1582 (2000)

    Google Scholar 

  11. Anthony, L., et al.: Student question-asking patterns in an intelligent algebra tutor. In: Lester, J.C., Vicari, R.M., Paraguaçu, F. (eds.) ITS 2004. LNCS, vol. 3220, pp. 455–467. Springer, Heidelberg (2004)

    Google Scholar 

  12. van der Hoeven, J., et al.: The TeXmacs manual (1999-2006), http://www.texmacs.org/tmweb/manual/web-manual.en.html

  13. Billingsley, W., Robinson, P.: Towards an intelligent online textbook for discrete mathematics. In: Proceedings of the 2005 International Conference on Active Media Technology, Takamatsu, Japan, p. 291 (2005)

    Google Scholar 

  14. Rosé, C.P., et al.: A comparative evaluation of socratic versus didactic tutoring. In: 23rd Annual Conference of the Cognitive Science Society, Edinburgh, Scotland (2001)

    Google Scholar 

  15. Wolska, M., Kruijff-Korbayová, I.: Factors influencing input styles in tutoring systems: the case of the study-material presentation format. In: Proceedings of the ECAI-06 Workshop on Language-enabled Educational Technology, to Appear (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Christian Freksa Michael Kohlhase Kerstin Schill

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Benzmüller, C., Horacek, H., Kruijff-Korbayová, I., Lesourd, H., Schiller, M., Wolska, M. (2007). DiaWOz-II – A Tool for Wizard-of-Oz Experiments in Mathematics. In: Freksa, C., Kohlhase, M., Schill, K. (eds) KI 2006: Advances in Artificial Intelligence. KI 2006. Lecture Notes in Computer Science(), vol 4314. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69912-5_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-69912-5_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-69911-8

  • Online ISBN: 978-3-540-69912-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics