Application of the Data-Driven Educational Decision-Making System to Curriculum Optimization of Higher Education

Advancement in information technology has given a tremendous change in the education system. The traditional classroom education system is slowly getting transferred to the modernized system. In this conversion, the students choose to select the courses to learn in their higher education. The selection will aid the student in learning advanced technologies through theoretical and practical methods. In this research work, a data-driven educational decision-making system with the support of a course curriculum is analyzed with student’s response after the course. The educational decision-making is implemented with the help of the mobile learning technology designed and maintained by the colleges and universities. For performing the analysis, the student response dataset is given as input to the fuzzy logic system to perform the analysis. The research shows that mobile learning technology with the fuzzy logic system has provided better decision-making analysis to curriculum optimization for the student and teachers.

Quantum Hoare Logic with Classical Variables

Hoare logic provides a syntax-oriented method to reason about program correctness and has been proven effective in the verification of classical and probabilistic programs. Existing proposals for quantum Hoare logic either lack completeness or support only quantum variables, thus limiting their capability in practical use. In this article, we propose a quantum Hoare logic for a simple while language that involves both classical and quantum variables. Its soundness and relative completeness are proven for both partial and total correctness of quantum programs written in the language. Remarkably, with novel definitions of classical-quantum states and corresponding assertions, the logic system is quite simple and similar to the traditional Hoare logic for classical programs. Furthermore, to simplify reasoning in real applications, auxiliary proof rules are provided that support standard logical operation in the classical part of assertions and super-operator application in the quantum part. Finally, a series of practical quantum algorithms, in particular the whole algorithm of Shor’s factorisation, are formally verified to show the effectiveness of the logic.

Membership Function Optimization of Fuzzy Inference System Using Cuckoo Search Algorithm for Peak Load Forecasting in National Holiday

This study aims to analysis peak load prediction of Indonesian national holidays for Jawa-Bali electricity system. Forecasting applied using the Fuzzy Logic System (FLS) method combined with the Cuckoo Search Algorithm (CSA). CSA is used to determine the optimal membership function in fuzzy logic. Cuckoo search algorithm has a very good performance in terms of optimization. This method is applied for short-term load estimates on holidays/special days on the Jawa-Bali electricity system, Indonesia. The study used data from daily peak loads during Indonesian national holidays in 2014 on the Jawa-Bali electricity system. The data analyzed is the daily peak load documentation data for 4 days before national holidays and during national holidays in 2014. Testing the simulation results, it was found that the Fuzzy Logic System - Cuckoo Search Algorithm (FLS-CSA) method gives good forecasting results, this is evidenced by using the mean absolute percentage error (MAPE). Forecasting results using the Cuckoo Search Algorithm (CSA) optimization method on fuzzy logic membership functions for peak loads on national holidays on the Java-Bali 500kV electrical system give satisfactory results with an average forecasting error of 1.511314562%.

On Formalizing Logical Modalities

This paper is in the scope of the philosophy of modal logic; more precisely, it concerns the semantics of modal logic, when the modal elements are interpreted as logical modalities. Most authors have thought that the logic for logical modality—that is, the one to be used to formalize the notion of logical truth (and other related notions)—is to be found among logical systems in which modalities are allowed to be iterated. This has raised the problem of the adequacy, to that formalization purpose, of some modal schemes, such as S4 and S5 . It has been argued that the acceptance of S5 leads to non-normal modal systems, in which the uniform substitution rule fails. The thesis supported in this paper is that such a failure is rather to be attributed to what will be called “Condition of internalization.” If this is correct, there seems to be no normal modal logic system capable of formalizing logical modality, even when S5 is rejected in favor of a weaker system such as S4, as recently proposed by McKeon.

A Hybrid Predictive Type-3 Fuzzy Control for Time-Delay Multi-Agent Systems

In this paper, the consensus problem is addressed for multi-agent systems. The dynamics of each agent contain unknown uncertain/nonlinear terms and unknown time delays. A type-3 fuzzy logic system is developed to tackle the effect of unknown dynamics and design a hybrid controller. The policy scheme involves two control signals for the stabilization of the approximation and consensus error of each agent dynamic. To this end, based on the concept of the model predictive control approach, the constrained control laws are designed and updated at each time step. The simulations results portray the error signals. Feasibility, appropriate convergence, and proper transient response are the main merits of the suggested method.