An Application of Knowledge Engineering to Mathematics Curricula Organization and Formal Verification
Joint Authors
Roanes-Lozano, Eugenio
Martínez-Zarzuelo, Angélica
Fernández-Díaz, María José
Source
Mathematical Problems in Engineering
Issue
Vol. 2020, Issue 2020 (31 Dec. 2020), pp.1-12, 12 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2020-09-11
Country of Publication
Egypt
No. of Pages
12
Main Subjects
Abstract EN
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.
American Psychological Association (APA)
Roanes-Lozano, Eugenio& Martínez-Zarzuelo, Angélica& Fernández-Díaz, María José. 2020. An Application of Knowledge Engineering to Mathematics Curricula Organization and Formal Verification. Mathematical Problems in Engineering،Vol. 2020, no. 2020, pp.1-12.
https://search.emarefa.net/detail/BIM-1194420
Modern Language Association (MLA)
Roanes-Lozano, Eugenio…[et al.]. An Application of Knowledge Engineering to Mathematics Curricula Organization and Formal Verification. Mathematical Problems in Engineering No. 2020 (2020), pp.1-12.
https://search.emarefa.net/detail/BIM-1194420
American Medical Association (AMA)
Roanes-Lozano, Eugenio& Martínez-Zarzuelo, Angélica& Fernández-Díaz, María José. An Application of Knowledge Engineering to Mathematics Curricula Organization and Formal Verification. Mathematical Problems in Engineering. 2020. Vol. 2020, no. 2020, pp.1-12.
https://search.emarefa.net/detail/BIM-1194420
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1194420