This work presents the intelligent tutoring system, EvoLogic, developed to assist students in problems of natural production in propositional logic. EvoLogic has been modeled as a multiagent system composed of three autonomous agents: interface, pedagogical and specialist agents. It supports pedagogical strategies inspired by the theory of…

At present, the construction of online courses is an important content in the process of educational informatization. At present, there are two problems in the construction of online courses: from the teaching point of view, the design of teaching activities and teaching processes in online courses is not enough, and the teaching effect is not…

The objective of this research is to investigate how AI-improved dynamic physical education materials impact middle school education in physical settings. Utilizing a randomized controlled crossover approach, a 16-week study involved 120 students aged 12 to 18 to evaluate the impact of AI-enhanced physical education courses against traditional…

In cyber security education, hands-on training is a common type of exercise to help raise awareness and competence, and improve students' cybersecurity skills. To be able to measure the impact of the design of the particular courses, the designers need methods that can reveal hidden patterns in trainee behavior. However, the support of the…

Logistic regression models have traditionally been used to identify the factors contributing to students' conceptual understanding. With the advancement of the machine learning-based research approach, there are reports that some machine learning algorithms outperform logistic regression models in terms of prediction. In this study, we collected…

This study investigated the impact of problematization-oriented scaffolding and structuring-oriented scaffolding, incorporated within instructional videos, on students' computational thinking and their performance in programming education. We recruited 86 participants from three senior classes at a high school. Each of the three classes was…

Mathematical and computational thinking (CT) are closely interrelated, yet CT integration into mathematics instruction remains limited. This study aims to analyze the effectiveness of the teaching process for straight-line equations in enhancing students' CT skills and to propose improvements based on the findings. A qualitative case study…

We report on an innovative design of algorithmic analysis that supports automatic online assessment of students' exploration of geometry propositions in a dynamic geometry environment. We hypothesized that difficulties with and misuse of terms or logic in conjectures are rooted in the early exploration stages of inquiry. We developed a generic…

In this paper, to handle the problem of the quick evolution of cyber-security attacks, we developed the iMonsters board game and proposed the attack and defense knowledge self-evolving algorithm. Three versions of the iMonsters were launched in 2013, 2017, and 2019, respectively. Accordingly, the cyber-security ontology can be refined by the…

The adaptive learning problem concerns how to create an individualized learning plan (also referred to as a learning policy) that chooses the most appropriate learning materials based on a learner's latent traits. In this article, we study an important yet less-addressed adaptive learning problem--one that assumes continuous latent traits.…

Digital education has recently become a mainstream education model. Despite digital education's increasing popularity, there remain issues when it comes to teacher-student interactions in digital space, which have made it impossible for this model to achieve the same teaching quality as traditional in-person education. Compared with other academic…

This research was triggered by the identified need in literature for large-scale studies about the kinds of designs that teachers create for mobile learning (m-learning). These studies require analyses of large datasets of learning designs. The common approach followed by researchers when analyzing designs has been to manually classify them…

An algorithm is defined here as an unambiguous procedure which will always produce the correct result when applied to any problem of a given class of problems. This paper gives an extended discussion of the definition of an algorithm. It also explores in detail the elements of an algorithm, the representation of algorithms in standard prose, flow…

Describes ways in which algorithms which refer to underlying procedures should be represented in order to improve communication in educational and/or training materials. Representations of linear procedures, decision rule procedures, and complex procedures are provided. (MER)

Proposes a criterion for selecting a sequence of objectives from a learning hierarchy and describes a sequence generating algorithm which is designed to generate a minimal memory load sequence from a learning tree. Its effectiveness in generating low memory load sequences from hierarchies that are not trees is also discussed. (RP)