Skip to main content

Design of Automation Systems for Web Based Courseware Using XML and XSLT

  • Conference paper
Databases in Networked Information Systems (DNIS 2005)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 3433))

Included in the following conference series:

Abstract

Reported is our approach for Web based mathematical courseware generation. To decrease development costs of the courseware, we have developed a system – e-Math Interaction Agent – that automatically generates learning materials using Semantic Web technologies, such as XML and XSLT. Knowledge databases containing math formulas and basic economic knowledge form the core mechanism of the system. Given the necessary mathematical problem definition data, the system can automate the target courseware by using these knowledge bases. The system differs from existing courseware automation systems in that it features (1) interactive dialogues with a virtual character that are pre-programmed into the XSL stylesheets, (2) a solution plan and calculations that are automated from a knowledge base of mathematical formulas and economic rules, and (3) mathematical software that generates mathematical expressions in MathML format and image files. My final goal is to formalize a teaching model for a wide range of mathematical problems that includes how to solve the problems and interactively and visually guide students.

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. Daconta, M.C., Obrst, L.J., Smith, K.T.: The Semantic Web: A Guide to the Future of XML, Web Services, and Knowledge Management. John Wiley & Sons Inc., Chichester (2003)

    Google Scholar 

  2. Geroimenko, V.: Dictionary of XML Technologies and the Semantic Web. Springer, Heidelberg (2003)

    Google Scholar 

  3. Davies, J., Fensel, D., Van Harmelen, F.: Towards the Semantic Web: Ontol-ogy-Driven Knowledge Management. John Wiley & Sons Inc., Chichester (2003)

    Google Scholar 

  4. XML, http://www.w3c.org/TR/xmlschema-2/

  5. Brickley, D., Guha, R.V.: RDF Vocabulary Description Language 1.0: RDF Schema, 2002-04-30, W3C Working Draft (2002), http://www.w3.org/TR/rdf-schema

  6. Resource Description Framework, http://www.w3c.org/RDF/

  7. W3C: XSL Transformations (XSLT) Version 1.0, W3C Recommendation, November 16 (1999), http://www.w3.org/TR/xslt

  8. ActiveMath, http://www.activemath.org/

  9. WME Efforts and Related Systems, http://icm.mcs.kent.edu/research/wme.html

  10. Shirota, Y.: Knowledge-Based Automation of Web-Based Learning Materials Using Semantic Web Technologies. In: Proc. of The Second International Conference on Creating, Connecting and Collaborating through Computing (C5), Kyoto, Japan, January 29-30, pp. 26–33 (2004)

    Google Scholar 

  11. Shirota, Y.: A Semantic Explanation and Symbolic Computation Approach for Design-ing Mathematical Courseware. In: Proc. of The Third International Conference on Creating, Connecting and Collaborating through Computing (C5), Kyoto, Japan, January 28-29 (2005) (to appear)

    Google Scholar 

  12. W3C Math Home, http://www.w3.org/Math/

  13. IBM: Hypermedia Browser Techexplorer, http://www-3.ibm.com/software/network/techexplorer/

  14. Yuan, M.J.: Building dynamic Web sites with mathematical content, http://www-106.ibm.com/developerworks/java/library/j-jspmath/?loc=j

  15. Design Science Inc.: MathType and WebEQ, http://www.dessci.com/en/products/mathtype/

  16. Dalmas, S., Gaëtano, M., Watt, S.M.: AnOpenMath 1.0 Implementation. In: Proc. of ISSAC 1997, pp. 241–248 (1997)

    Google Scholar 

  17. Strotmann, A.: The Categorial Type of OpenMath Objects. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol. 3119, pp. 378–392. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  18. Kohlhase, M.: OMDoC: Towards an internet standard for the administration, distribution, and teaching of mathematical knowledge. In: Campbell, J., Roanes-Lozano, E. (eds.) AISC 2000. LNCS (LNAI), vol. 1930, p. 32. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  19. The OpenMath Society: The OpenMath website at http://www.openmath.org/cocoon/openmath/overview/index.html

  20. The OpenMath Society: The OpenMath Standard (2004), http://www.openmath.org/cocoon/openmath//standard/om20/index.html

  21. Worldwide Web Consortium: W3C Math Home at http://www.w3.org/Math/

  22. OMDoc, http://www.mathweb.org/omdoc/

  23. Kohlhase, M.: OMDoc: An Open Markup Format for Mathematical Documents (Ver-sion1.1), June 5 (2003), at http://www.mathweb.org/omdoc/

  24. Kohlhase, M.: OMDoc: an infrastructure for OpenMath content dictionary information. ACM SIGSAM Bulletin 34(2), 43–48 (2000)

    Article  MathSciNet  Google Scholar 

  25. MapleSoft: Maple, http://www.maplesoft.com/

  26. Wolfram Research: Mahtematica, http://www.wolfram.com/products/webmathematica/index.html

  27. White, J.E.: Mathwrite, http://www.mathwright.com/hr_default.html

  28. Wang, P.S., Kajler, N., Zhou, Y., Zou, X.: WME: towards a web for mathematics education. In: Proc. of ISSAC 2003, pp. 258–265 (2003)

    Google Scholar 

  29. Melis, E., Büdenbender, J., Goguadze, G., Libbrecht, P., Ullrich, C. (The ActiveMath group): Knowledge Representation and Management in ActiveMath. Annals of Mathematics and Artificial Intelligence 38(1-3), 47–64 (2003)

    Google Scholar 

  30. Wang, P.S., Zhou, Y., Zou, X.: Web-based Mathematics Education: MeML Design and Implementation. In: Proc. of ITCC (1) 2004, pp. 169–175 (2004)

    Google Scholar 

  31. Walsh, N., et al.: DocBook XML 4.2, at http://www.oasis-open.org/docbook/xml/4.2/index.shtml

  32. Cuypers, H., Sterk, H.: Mathbook, web-technology for mathematical documents. In: Electronic Proceedings of the BITE conference 2001, Eindhoven, Nederland (2001), http://www.riaca.win.tue.nl

  33. ADL (Advanced Distributed Learning): Sharable Content Object Reference Model at http://www.adlnet.org/

  34. ADL (Advanced Distributed Learning): SCORM ContetnAggregation Model Version 1.3 (2004)

    Google Scholar 

  35. Melis, E., Siekmann, J.H.: Knowledge-Based Proof Planning. Artififitial Intelligence 115(1), 65–105 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  36. MuPAD home page, http://hpc.cs.ehime-u.ac.jp/MuPAD/

  37. Pólya, G.: Induction and Analogy in Mathematics. Mathematics and Plausible Reasoning, vol. 1. Princeton University Press, Princeton (1968)

    Google Scholar 

  38. Pólya, G.: Patterns of Plausible Inference. Mathematics and Plausible Reasoning, vol. 2. Princeton University Press, Princeton (1968)

    MATH  Google Scholar 

  39. Pólya, G.: How to Solve It, 2nd edn. Penguin Books (1957)

    Google Scholar 

  40. Pólya, G.: Mathematical Discovery on Understanding, Learning, and Teaching Problem Solving, vol. 1, 2. John Wiley & Sons, New York (1962)

    MATH  Google Scholar 

  41. Schoenfeld, H.: Learning to Think Mathematically: Problem Solving, Metacognition, and Sense Making in Mathematics, ch. 15. McMillan Publ. Company, New York (1992)

    Google Scholar 

  42. Cairns, P.A., Gow, J.: On Dynamically Presenting a Topology course. Ann. Math. Artif. Intell. 38(1-3), 91–104 (2003)

    Article  MATH  Google Scholar 

  43. Melis, E., Ullrich, C.: How to teach it - Polya-scenarios in ActiveMath. In: Hoppe, U., Verdejo, F., Kay, J. (eds.) Artificial Intelligence in Education, pp. 141–147. IOS Press, Amsterdam (2003)

    Google Scholar 

  44. Goguadze, G., Melis, E., Ullrich, C., Cairns, P.A.: Problems and Solutions for Markup for Mathematical Examples and Exercises. In: Asperti, A., Buchberger, B., Davenport, J.H. (eds.) MKM 2003. LNCS, vol. 2594, pp. 80–92. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  45. Maplesoft: Maple, http://www.maplesoft.com/

  46. Design Science: WebEQ, http://www.dessci.com/en/products/webeq/

  47. Microsoft Corporation: Microsoft Agent, http://www.microsoft.com/msagent/default.htm

  48. Hayashi, M.: Image Compositing Based on Virtual Cameras. IEEE Multi Media 5(1), 36–48 (1998)

    Article  Google Scholar 

  49. NHK: TVML, http://www.strl.nhk.or.jp/TVML/

  50. Microsoft Corporation: Microsoft Agent, http://www.microsoft.com/msagent/default.htm

  51. Edward, T.D.: Theory and Problems of Introduction to Mathematical Economics, 3rd edn. McGraw-Hill, New York (1980)

    Google Scholar 

  52. Downing, D.: Calculus, The Easy Way, 3rd edn. Barron’s Educational Series Inc. (1996)

    Google Scholar 

  53. Ebner, D.: Math Word Problems, The Easy Way. Barron’s Educational Series Inc. (2002)

    Google Scholar 

  54. Bleau, B.L.: Forgotten Calculus, 3rd edn. Barron’s Educational Series Inc. (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Shirota, Y. (2005). Design of Automation Systems for Web Based Courseware Using XML and XSLT. In: Bhalla, S. (eds) Databases in Networked Information Systems. DNIS 2005. Lecture Notes in Computer Science, vol 3433. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31970-2_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-31970-2_15

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-25361-7

  • Online ISBN: 978-3-540-31970-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics