Meta-Petro: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies

Roanes–Lozano, Eugenio; García, Ramón Ferreiro; Roanes-Macı́as, Eugenio; Aparicio, A.; Laita, Luis M.

doi:10.1007/11555964_29

Cited by 1 publication

(1 citation statement)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…e work of Folorunso et al [20], at the undergraduate level too, involves the development of a mineral identification expert system so as to support this knowledge field education. Another example by one of the authors is [21], where a RBES is used to train undergraduates in metamorphic rocks recognition and classification.…”

Section: A Brief Overview Of Rbes Verificationmentioning

confidence: 99%

An Application of Knowledge Engineering to Mathematics Curricula Organization and Formal Verification

Roanes–Lozano

Martínez-Zarzuelo

Fernández-Díaz

2020

Mathematical Problems in Engineering

View full text Add to dashboard Cite

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.

show abstract

Section: A Brief Overview Of Rbes Verificationmentioning

confidence: 99%