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.
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
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)
Geroimenko, V.: Dictionary of XML Technologies and the Semantic Web. Springer, Heidelberg (2003)
Davies, J., Fensel, D., Van Harmelen, F.: Towards the Semantic Web: Ontol-ogy-Driven Knowledge Management. John Wiley & Sons Inc., Chichester (2003)
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
Resource Description Framework, http://www.w3c.org/RDF/
W3C: XSL Transformations (XSLT) Version 1.0, W3C Recommendation, November 16 (1999), http://www.w3.org/TR/xslt
ActiveMath, http://www.activemath.org/
WME Efforts and Related Systems, http://icm.mcs.kent.edu/research/wme.html
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)
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)
W3C Math Home, http://www.w3.org/Math/
IBM: Hypermedia Browser Techexplorer, http://www-3.ibm.com/software/network/techexplorer/
Yuan, M.J.: Building dynamic Web sites with mathematical content, http://www-106.ibm.com/developerworks/java/library/j-jspmath/?loc=j
Design Science Inc.: MathType and WebEQ, http://www.dessci.com/en/products/mathtype/
Dalmas, S., Gaëtano, M., Watt, S.M.: AnOpenMath 1.0 Implementation. In: Proc. of ISSAC 1997, pp. 241–248 (1997)
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)
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)
The OpenMath Society: The OpenMath website at http://www.openmath.org/cocoon/openmath/overview/index.html
The OpenMath Society: The OpenMath Standard (2004), http://www.openmath.org/cocoon/openmath//standard/om20/index.html
Worldwide Web Consortium: W3C Math Home at http://www.w3.org/Math/
Kohlhase, M.: OMDoc: An Open Markup Format for Mathematical Documents (Ver-sion1.1), June 5 (2003), at http://www.mathweb.org/omdoc/
Kohlhase, M.: OMDoc: an infrastructure for OpenMath content dictionary information. ACM SIGSAM Bulletin 34(2), 43–48 (2000)
MapleSoft: Maple, http://www.maplesoft.com/
Wolfram Research: Mahtematica, http://www.wolfram.com/products/webmathematica/index.html
White, J.E.: Mathwrite, http://www.mathwright.com/hr_default.html
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)
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)
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)
Walsh, N., et al.: DocBook XML 4.2, at http://www.oasis-open.org/docbook/xml/4.2/index.shtml
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
ADL (Advanced Distributed Learning): Sharable Content Object Reference Model at http://www.adlnet.org/
ADL (Advanced Distributed Learning): SCORM ContetnAggregation Model Version 1.3 (2004)
Melis, E., Siekmann, J.H.: Knowledge-Based Proof Planning. Artififitial Intelligence 115(1), 65–105 (1999)
MuPAD home page, http://hpc.cs.ehime-u.ac.jp/MuPAD/
Pólya, G.: Induction and Analogy in Mathematics. Mathematics and Plausible Reasoning, vol. 1. Princeton University Press, Princeton (1968)
Pólya, G.: Patterns of Plausible Inference. Mathematics and Plausible Reasoning, vol. 2. Princeton University Press, Princeton (1968)
Pólya, G.: How to Solve It, 2nd edn. Penguin Books (1957)
Pólya, G.: Mathematical Discovery on Understanding, Learning, and Teaching Problem Solving, vol. 1, 2. John Wiley & Sons, New York (1962)
Schoenfeld, H.: Learning to Think Mathematically: Problem Solving, Metacognition, and Sense Making in Mathematics, ch. 15. McMillan Publ. Company, New York (1992)
Cairns, P.A., Gow, J.: On Dynamically Presenting a Topology course. Ann. Math. Artif. Intell. 38(1-3), 91–104 (2003)
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)
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)
Maplesoft: Maple, http://www.maplesoft.com/
Design Science: WebEQ, http://www.dessci.com/en/products/webeq/
Microsoft Corporation: Microsoft Agent, http://www.microsoft.com/msagent/default.htm
Hayashi, M.: Image Compositing Based on Virtual Cameras. IEEE Multi Media 5(1), 36–48 (1998)
NHK: TVML, http://www.strl.nhk.or.jp/TVML/
Microsoft Corporation: Microsoft Agent, http://www.microsoft.com/msagent/default.htm
Edward, T.D.: Theory and Problems of Introduction to Mathematical Economics, 3rd edn. McGraw-Hill, New York (1980)
Downing, D.: Calculus, The Easy Way, 3rd edn. Barron’s Educational Series Inc. (1996)
Ebner, D.: Math Word Problems, The Easy Way. Barron’s Educational Series Inc. (2002)
Bleau, B.L.: Forgotten Calculus, 3rd edn. Barron’s Educational Series Inc. (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)