An application of knowledge Engineering to Mathematics curricula organization and formal verification
Loading...
Official URL
Full text at PDC
Publication date
2020
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
John Wiley & Sons
Citations
Exportar
Citation
Roanes-Lozano, E., Martínez-Zarzuelo, A., & Fernández-Díaz, M. J. (2020). An Application of Knowledge Engineering to Mathematics Curricula Organization and Formal Verification. Mathematical Problems in Engineering, 2020. https://doi.org/10.1155/2020/3485846
Abstract
The authors present a theoretical proposal for the organization of mathematical contents, more precisely to curricula development formalization and formal verification, inspired by knowledge engineering techniques. The situation addressed is the following: the starting point is a mathematical “official curriculum” (or part of it), not necessarily completely detailed. In our proposal, a group of experts would have to first build a detailed formulation of this curriculum (including the “prerequisite” relation between contents), which we will denominate “preprocessed official curriculum.” We detail how any “official curriculum development” could then be rigorously formalized and formally verified in a way inspired by rule-based expert system formal verification. We have defined the following terms: “contents soundness,” “contents completeness,” “relation soundness,” “relation completeness,” and “absence of cycles.” We believe that this is a completely new formalization within mathematics teaching theory that, once computer is implemented, would be very helpful. That would be the case, for instance, in countries where government sets the “official curricula” for Primary and Secondary Education and textbook contents have to be manually checked and approved by academic authorities: evaluators would “only” have to extract the textbook contents and set the “prerequisite” relation among them and let the computer do the rest.
Description
This work was partially supported by the Government of Spain under Grant PGC2018-096509-B-100.
Referencias bibliográficas:
• Solano Macías C., Vivas Moreno A., La cultura escrita en Extremadura a finales del siglo XVIII a través del interrogatorio de la Real Audiencia 2018, Gijón, Spain Trea
• Pearson R., The History of Astronomy 2020, Nottingham, UK Astro Publication
• Rubio J.-M., Palma W., Rodriguez N., Solving the balanced academic curriculum problem using the ACO metaheuristic. Mathematical Problems in Engineering 2013, 2013, 8, 793671, 10.1155/2013/793671, 2-s2.0-84893819386
• Zhao Y.-Q., Agent-based supernetworks model of university knowledge system. Mathematical Problems in Engineering 2015, 2015, 8, 320601, 10.1155/2015/320601, 2-s2.0-84945261298
• Baldoni M., Marengo E., Duval E., Klamma R., Wolpers M., Curriculum model checking: Declarative representation and verification of properties. Creating New Learning Experiences on a Global Scale. European Conference on Technology Enhanced Learning 2007, Heidelberg, Germany Springer 432, 437
• Brusilovsky P., Vassileva J., Course sequencing techniques for large-scale web-based education. International Journal of Continuing Engineering Education and Life Long Learning 2003, 13, 1-2, 75, 94, 10.1504/ijceell.2003.002154
• Roanes-Lozano E., Laita L. M., Hernando A., Roanes-Macías E., An algebraic approach to rule based expert systems. Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas 2010, 104, 1, 19, 40, 10.1007/bf03191879
• Drechsler R., Spencer R., Verification of multi-valued logic networks. Proceedings of the 26th International Symposium on Multiple-Valued Logic, 1996 May 1996 Santiago de Compostela, Spain IEEE Computer Society Press 10.1109/ismvl.1996.508329
• Laita L. M., de Ledesma L., Kent A., Williams J. G., Knowledge-based systems verification. Encyclopedia of Computer Science and Technology 1997, New York, NY, USA Marcel Dekker 253, 280
• Pérez-Carretero C., Laita L. M., Roanes-Lozano E., Lázaro L., González-Cajal J., Laita L., A logic and computer algebra-based expert system for diagnosis of anorexia. Mathematics and Computers in Simulation 2002, 58, 3, 183, 202, 10.1016/s0378-4754(01)00370-6, 2-s2.0-0037176757
• Jimenez M., Santamaría J., Barchino R., Knowledge representation for diagnosis of care problems through an expert system: model of the auto-care deficit situations. Expert Systems with Applications 2008, 34, 4, 2847, 2857, 10.1016/j.eswa.2007.05.039, 2-s2.0-38649113857
• Rodríguez-Solano C., Laita L. M., Roanes-Lozano E., López-Corral L., Laita L., A computational system for diagnosis of depressive situations. Expert Systems with Applications 2006, 31, 1, 47, 55, 10.1016/j.eswa.2005.09.011, 2-s2.0-33644769207
• Rodriguez-Daza I., Laita L. M., Roanes-Lozano E., Perner P., Brause R., Holzhütter H. G., An outline of an expert system for diagnosis and treatment of bronchogenic carcinoma. Medical Data Analysis. International Symposium on Medical Data Analysis 2003, Heidelberg, Germany Springer 118, 126
• Laita L. M., Roanes-Lozano E., Maojo V., Roanes-Macías E., De Ledesma L., Laita L., An expert system for managing medical appropriateness criteria based on computer algebra techniques. Computers and Mathematics with Applications 2001, 42, 12, 1505, 1522, 10.1016/s0898-1221(01)00258-9, 2-s2.0-0035576481
• Roanes-Lozano E., Galán-García J. L., Aguilera-Venegas G., A portable knowledge-based system for car breakdown evaluation. Applied Mathematics and Computation 2015, 267, 758, 770, 10.1016/j.amc.2014.12.001, 2-s2.0-84942991652
• Roanes-Lozano E., Galán-García J. L., Aguilera-Venegas G., A prototype of a RBES for personalized menus generation. Applied Mathematics and Computation 2017, 315, 615, 624, 10.1016/j.amc.2016.12.023, 2-s2.0-85009787173
• Clancey W. J., Letsinger R., NEOMYCIN: Reconfiguring a Rule-Based Expert System for Application to Teaching 1982, Stanford, CA, USA Department of Computer Science, Stanford University
• Shortliffe E. H., Computer-based Medical Consultations: MYCIN 1976, New York, NY, USA American Elsevier
• Meech J. A., Expert systems for teaching and training in the mineral industry. Minerals Engineering 1990, 3, 1-2, 129, 136, 10.1016/0892-6875(90)90086-q, 2-s2.0-0005578493
• Folorunso I. O., Abikoye O. C., Jimoh R. G., Raji K. S., A rule-based expert system for mineral identification. Journal of Emerging Trends in Computing and Information Sciences 2012, 3, 2, 205, 210
• Roanes-Lozano E., García R., Roanes-Macías E., Aparicio A., Laita L. M., Ganzha V. G., Mayr E. W., Vorozhtsov E. V., Meta-petro: an expert system for training undergraduates in metamorphic rocks recognition and classification using photomicrographies. Computer Algebra in Scientific Computing. CASC 2005. Lecture Notes in Computer Science 2005, Heidelberg, Germany Springer 344, 354
• Salekhova L, Nurgaliev A., Zaripova R., Khakimullina N., The Principles of Designing an Expert System in Teaching Mathematics. Universal Journal of Educational Research 2013, 1, 2, 42, 47
• Hatzilygeroudis I., Giannoulis C., Koutsojannis C., Combining expert systems and adaptive hypermedia technologies in a web based educational system. Proceedings of the Fifth IEEE International Conference on Advanced Learning Technologies (ICALT'05) July 2005 Kaohsiung, Taiwan IEEE 249, 253, 10.1109/icalt.2005.86, 2-s2.0-33749069299
• Hatzilygeroudis I., Chountis P., Giannoulis C., Koutsojannis C., Using expert systems technology for student evaluation in a web based educational system. Proceedings of the IASTED International Conference on Web-Based Education (WBE-2005) February 2005 grindelwald, Switzerland 21, 23
• Dunstan N., Vizureanu P., ET: an enrolment tool to generate expert systems for university courses. Expert Systems 2010, Croatia, Balkans IntechOpen 35, 46
• Al Ahmar M. A., A prototype student advising expert system supported with an object-oriented database. International Journal of Advanced Computer Science and Applications, Special Issue on Artificial Intelligence 2011, 1, 3, 100, 105, 10.14569/specialissue.2011.010316
• Al-Ghamdi A., Al-Ghuribi S., Fadel A., AL-Ruhaili F. A. A. T., An expert system for advising postgraduate students. International Journal of Computer Science and Information Technologies 2012, 3, 3, 4529, 4532
• Engin G., Aksoyer B., Avdagic M., Rule-based expert systems for supporting university students. Procedia Computer Science 2014, 31, 22, 31, 10.1016/j.procs.2014.05.241, 2-s2.0-84902294182
• Hossain S., Sarma D., Tuj-Johora F., Bushra J., Sen S., Taher M., A belief rule based expert system to predict student performance under uncertainty. Proceedings of the 2019 22nd International Conference on Computer and Information Technology (ICCIT) December 2019 Dhaka, Bangladesh IEEE 1, 6, 10.1109/iccit48885.2019.9038564
• Hye L. M., Nar E. S. Y., An expert system for the teaching of income tax in the accounting curriculum. Accounting Education 1993, 2, 1, 43, 52, 10.1080/09639289300000004, 2-s2.0-84953525237
• Sangster A., The integration of expert systems within the accounting curriculum. Accounting Education 1995, 4, 3, 211, 216, 10.1080/09639289500000025, 2-s2.0-71649095076
• Smith L. K., Southerland S. A., Reforming practice or modifying reforms?: elementary teachers' response to the tools of reform. Journal of Research in Science Teaching 2007, 44, 3, 396, 423, 10.1002/tea.20165, 2-s2.0-33947572703
• Thijs A., van den Akker J., Curriculum in Development 2009, Enschede, Netherlands SLO-Netherlands Institute for Curriculum Development
• Van den Akker J., Fraser B. J., Tobin K. G., The science curriculum: between ideals and outcomes. International Handbook of Science Education 2003, Dordrecht, Netherlands Kluwer Academic Publishers 421, 449
• Van den Akker J., van den Akker J., Kuiper W., Hameyer U., Curriculum perspectives: an introduction. Curriculum Landscapes and Trends 2010, London, UK Kluwer Academic 1, 10
• Kuiper W., Folmer E., Ottevanger W., Corrigan D., Gunstone R., Jones A., Aligning science curriculum renewal efforts and assessment practices. Valuing Assessment in Science Education: Pedagogy, Curriculum, Policy 2013, Dordrecht, Netherlands Springer 101, 118
• Novak J. D., Gowin D. B., Learning How to Learn 1984, Cambridge, UK Cambridge University Press
• Novak J. D., Learning, creating and using knowledge. Concept Maps as Facilitative Tools in Schools and Corporations 1998, Mahwah, NJ, USA Lawrence Erlbaum Associates
• Novak J. D., Cañas A. J., The Theory Underlying Concept Maps and How to Construct and Use Them 2008, Pensacola, FL, USA Florida Institute for Human and Machine Cognition. Technical Report IHMC CmapTools 2006-01 (Rev 2008-01)
• Schvaneveldt R. W., Pathfinder Associative Networks: Studies in Knowledge Organization 1990, Norwood, NJ, USA Ablex Publishing
• Casas L. M., El estudio de la estructura cognitiva de alumnos a través de Redes Asociativas Pathfinder. Aplicaciones y posibilidades en Geometría. 2002, Badajoz, Spain Universidad de Extremadura. Tesis Doctoral
• Casas L. M., Luengo R., Representación del conocimiento y aprendizaje. Teoría de los Conceptos Nucleares. Revista Española de Pedagogía 2004, 227, 59, 84
• Casas L. M., Luengo R., Castro E., Flores P., Ortega T., Rico L., Vallecillos A., Redes Asociativas Pathfinder y Teoría de los Conceptos Nucleares. Aportaciones a la investigación en Didáctica de las Matemáticas. Investigación en Educación Matemática: séptimo Simposio de la Sociedad Española de Investigación en Educación Matemática (SEIEM) 2003, Granada, Spain Universidad de Granada 179, 188
• Brinkmann A., Soro R., Mathematical networks conceptual foundation and graphical representation. Current State of Research on Mathematical Beliefs 2001, Turku, Finland University of Turku
• Buzan T., Buzan B., El libro de los mapas mentales: cómo utilizar al máximo las capacidades de la mente 1996, Barcelona, Spain Ediciones Urano
• Pearson P. D., Johnson D. D., Teaching Reading Comprehension 1978, San Diego, CA, USA Harcourt School
• Fisher K. M., Semantic networking: the new kid on the block. Journal of Research in Science Teaching 1990, 27, 10, 1001, 1018, 10.1002/tea.3660271008, 2-s2.0-84984059035
• Heimlich J. E., Pittelman S. D., Elaboración de Mapas Semánticos como Estrategia de Aprendizaje: Aplicaciones para el Salón de Clases 2001, México Trillas
• Sowa J. F., Principles of Semantic Networks: Explorations in the Representation of Knowledge 2014, Burlington, VT, USA Morgan Kaufmann
• Diekhoff G. M., Diekhoff K. B., Cognitive maps as a tool in communicating structural knowledge. Educational Technology 1982, 22, 4, 28, 30
• Kitchin R. M., Cognitive maps: what are they and why study them? Journal of Environmental Psychology 1994, 14, 1, 1, 19, 10.1016/s0272-4944(05)80194-x, 2-s2.0-1442297738
• de Castro C., Mapas cognitivos. qué son y cómo explorarlos. Scripta Nova: Revista Electrónica de Geografía Y Ciencias Sociales 1999, 33
• Hyerle D., Thinking maps: seeing is understanding. Educational Leadership 1996, 53, 4, 85, 89
• Hyerle D., Alper L., Student Successes with Thinking Maps: School-Based Research, Results, and Models for Achievement Using Visual Tools 2011, Thousand Oaks, CA, USA Corwin Press
• Howard R. A., Knowledge maps. Management Science 1989, 35, 8, 903, 922, 10.1287/mnsc.35.8.903
• O"Donnell A. M., Dansereau D. F., Hall R. H., Knowledge maps as scaffolds for cognitive processing. Educational Psychology Review 2002, 14, 1, 71, 86
• Armbruster B. B., Anderson T. H., Idea-mapping: the technique and its use in the classroom or simulating the "ups" and "downs" of reading comprehension. Reading Education Report 1982, 36, 1, 33
• Geva E., Mejora de la comprensión lectora mediante diagramas de flujo. Infancia Y Aprendizaje 1985, 8, 31-32, 45, 66, 10.1080/02103702.1985.10822084, 2-s2.0-79952325675
• Galagovsky L. R., Redes conceptuales: base teórica e implicaciones para el proceso de enseñanza-aprendizaje. Ensenanza de las Ciencias 1993, 11, 3, 301, 307
• Galagovsky L. R., Redes Conceptuales. Aprendizaje, Comunicación Y Memoria 1996, Buenos Aires, Argentina Lugar
• Martínez-Zarzuelo A., Roanes-Lozano E., Fernández-Díaz M. J., Cavalcante A., About organizing and structuring the contents of mathematical subjects using graph theory. Graph Theory: New Research 2013, New York, NY, USA Nova Science Publishers, Inc 185, 203
• Martínez-Zarzuelo A., Selección, organización y secuenciación del conocimiento matemático mediante teoría de grafos. 2015, Madrid, Spain Universidad Complutense de Madrid. Tesis Doctoral
• Martínez-Zarzuelo A., Roanes-Lozano E., Fernández-Díaz M. J., Grouping mathematical contents using network analysis software. An application to the Spanish Secondary Education case. The International Journal for Technology in Mathematics Education 2017, 24, 4, 199, 206
• Martínez-Zarzuelo A., Roanes-Lozano E., Fernández-Díaz M. J., A computer approach to mathematics curriculum developments debugging. Eurasia Journal of Mathematics, Science & Technology Education 2016, 12, 12, 2961, 2974, 10.12973/eurasia.2016.02316a, 2-s2.0-85008334926
• Aldrich P. R., The curriculum prerequisite network: modeling the curriculum as a complex system. Biochemistry and Molecular Biology Education 2015, 43, 3, 168, 180, 10.1002/bmb.20861, 2-s2.0-84929605592
• Eigenmannm J., El desarrollo secuencial del curriculum 1981, Madrid, Spain Anaya
• Gagné R. M., 1: learning and instructional sequence. Review of Research in Education 1973, 1, 1, 3, 33, 10.3102/0091732x001001003, 2-s2.0-84965538053
• Tennyson R. D., A review of experimental methodology in instructional task sequencing. AV Communication Review 1972, 20, 2, 147, 159
• Rodríguez J. L., La estructura del mensaje en el acto didáctico: revisión del problema y propuesta metodológica. Enseñanza & Teaching: Revista interuniversitaria de didáctica 1983, 1, 57, 76
• Zabalza M. A., Diseño Y Desarrollo Curricular 2009, Madrid, Spain Narcea Ediciones
• Leuders T., Barzel B., Hußmann S., Outcome standards and core curricula: a new orientation for mathematics teachers in Germany. Zentralblatt für Didaktik der Mathematik 2005, 37, 4, 275, 286, 10.1007/bf02655815, 2-s2.0-84867405914
• Goñi J. M., Goñi J. M., El currículo de Matemáticas en la educación secundaria obligatoria y el bachillerato. Matemáticas. Complementos de formación disciplinar 2011, Barcelona, Spain Graó 9, 28
• Buchberger B., Bruno Buchberger's PhD thesis 1965: an algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Journal of Symbolic Computation 2006, 41, 3-4, 475, 511, 10.1016/j.jsc.2005.09.007, 2-s2.0-30944454253
• Wu W. T., Mechanical Theorem Proving in Geometries 1994, Wien, Switzerland Springer-Verlag