An Application of Knowledge Engineering to Mathematics Curricula Organization and Formal Verification
المؤلفون المشاركون
Roanes-Lozano, Eugenio
Martínez-Zarzuelo, Angélica
Fernández-Díaz, María José
المصدر
Mathematical Problems in Engineering
العدد
المجلد 2020، العدد 2020 (31 ديسمبر/كانون الأول 2020)، ص ص. 1-12، 12ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2020-09-11
دولة النشر
مصر
عدد الصفحات
12
التخصصات الرئيسية
الملخص 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.
نمط استشهاد جمعية علماء النفس الأمريكية (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
نمط استشهاد الجمعية الأمريكية للغات الحديثة (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
نمط استشهاد الجمعية الطبية الأمريكية (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
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1194420
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر