Abstract
This paper describes the conception and implementation of a learning system on Euclidean Geometry demonstrations and its knowledge base. We use the formalism of finite automata with output to represent and ordain the statements that constitute a geometric demonstration in the knowledge base. The system is built on the MOSCA learning protocol, based on learning with the assistance of examples and interaction among five agents (Mestre, Oráculo, Sonda, Cliente and Aprendiz) involved in the learning process. We briefly revise the Hyper-Automaton concept as a structural model for hypertext and its use as the basis for the central core of the agents in a learning system is analyzed.
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
Euclid, (trad.) Thomas, H.: The Thirteen Books of Euclid’s Elements. Dover Publications, New York (1978)
Garzotto, F., Schwabe, D., Paolini, P.: HDM: A Model Based Approach to Hypertext Application Design. ACM Transactions on Information Systems, January 1993, Vol.11, Num.1. (1993) 1–26
Hein, J.L.: Discrete Structures, Logic and Computability. Jones and Bartlett, Boston (1995)
Hopcroft, J. E., Ullman, J. D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley (1979)
Joyce, D.E.: Euclid’s Elements. Clark University, USA (1998) URL http://aleph0.clarku.edu/~djoyce/java/elements/elements.html
Machado, J. P., Penczek, L., Morais, C. T. Q., Menezes, P. B.: Finite Automata: a formalism for web courses (in Portuguese, Autômatos Finitos: um formalismo para cursos na web). In: Nunes, D. J., Camargo, M. S.(eds.): 13 Brazilian Symposium on Software Engineering (in Portuguese, 13 Simpósio Brasileiro de Engenharia de Software). SBC, UFSC, Florianópolis, Brazil (1999) 213–223
Machado, J. P., Morais C. T. Q., Menezes, P. B., Reis, R.: StructuringWeb Course Pages as Automata: revising concepts. In: Mariani, J., Harman, D.(eds.): RIAO 2000, 6 Conference on Content-based Multimedia Information Access, Vol.1. CID, CASIS, Paris (2000) 150–159
Menezes, P. B., Sernadas, A., Costa, J. F.: Nonsequential Automata Semantics for a Concurrent Object-Based Language. In: Cleaveland, R., Mislove, M., Mulry, P.(eds.): First US-Brazil Workshop on Formal Foundations of Software Systems, ENTCS, Vol.14. Elsevier Science, Amsterdam (1998) 29 pp. URL http://www.elsevier.nl/locate/entcs/volume14.html
Menezes, P. B., Machado, J. P.: Hyper-Automaton: Hypertext Framework with Categorial Operations. In: Borba, P. H. M., Moura, H. P., Santos, A. L. M.(eds.): 4 Brazilian Symposium on Programming Languages. SBC, UFPE, Recife, Brazil (2000) 29–47 (to appear as an ENTCS volume)
Menezes, P. B., Machado, J. P.: Adaptative Web Courses: a categorical framework. In: CASYS’2000, Computing Anticipatory Systems, Dubois, D. (ed.): International Journal of Computing Anticipatory Systems. CHAOS, Liége (2001) (to appear)
Meyer, B.: What is Mathematics? In: An Introduction to Axiomatic Systems. Prindle, Weber & Schmidt, Boston (1974) chap.1
Reitz, P.: Contribution à l’étude des environnements d’apprentissage: Conceptualisation, Spécifications et Prototypage. Thése de Doctorat. Université des Sciences et Techniques du Languedoc Montpellier II, Montpellier (1992)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Machado, J.P., Notare, M.R., Costa, S.A., Diverio, T.A., Menezes, P.B. (2001). Hyper-Automation System Applied to Geometry Demonstration Environment. In: Moreno-Díaz, R., Buchberger, B., Luis Freire, J. (eds) Computer Aided Systems Theory — EUROCAST 2001. EUROCAST 2001. Lecture Notes in Computer Science, vol 2178. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45654-6_36
Download citation
DOI: https://doi.org/10.1007/3-540-45654-6_36
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42959-3
Online ISBN: 978-3-540-45654-4
eBook Packages: Springer Book Archive