Abubakar, Hamza (2025) Random satisfiability logic-driven approach in the hopfield neural networks with application to COVID-19 datasets. International Journal of Applied and Computational Mathematics, 11 (117). pp. 1-25. ISSN 2349-5103

Preview

PDF - Published Version Available under License Attribution 4.0 International (CC BY 4.0). Download (3MB) | Preview

Abstract

This study proposes a logic-driven satisfiability approach integrated with Hopfield Neural Networks (HNNs) for classifying the COVID-19 Surveillance Data Set (CSDS). The HNN-RANkSAT model combines Boolean logic-based satisfiability with the Lyapunov energy function of HNNs to extract logical relationships and identify critical features for COVID-19 dataset classification. Evaluated against Logistic Regression (LR), Random Forest (RF), and Support Vector Machine (SVM), the model’s performance was assessed using Accuracy, Hamming Loss, Cross-Entropy Loss, CPU Time, and Bayesian Information Criterion (BIC). HNN-RANkSAT achieves the highest accuracy of 95.0% at sample size=500, outperforming RF with 95.0%, SVM with 94.0%, and LR with 93.0% accuracy. It also exhibits the lowest Hamming Loss of 0.04 and Cross-Entropy Loss of 0.16, demonstrating superior classification performance and probabilistic calibration. The model’s logical constraints refine the search space, reducing misclassification errors and improving confidence estimation. However, this comes at the cost of higher computational complexity, with CPU Time increasing to 60 s at 1000 sample size, compared to LR with 20 s, RF with 40 s, and SVM with 50 s. The BIC values for HNN-RANkSAT at 170 sample size is 1000 reflect its greater model complexity, justified by its robustness in structured problem domains. Statistical tests, including McNemar’s test and Wilcoxon Rank test, confirm the model’s significant improvements (p-values<0.05), with a large Cohen’s d effect size of 1.21. The hybrid architecture, integrating logic-based reasoning with neural network learning, enables HNN-RANkSAT to handle noisy, incomplete, and high-dimensional data effectively, making it ideal for medical classification tasks. While Random Forest offers a balanced alternative for large-scale problems, HNN-RANkSAT excels in high-precision tasks like pandemic surveillance.

Item Type:	Article
Uncontrolled Keywords:	Hopfield Neural Network · Satisfiability · Boolean Logic Integration · Logic Mining · COVID-19 Surveillance Data Set
Subjects:	H Social Sciences > HV Social pathology. Social and public welfare
Divisions:	School of Quantitative Sciences
Depositing User:	Mdm. Rozana Zakaria
Date Deposited:	03 Nov 2026 12:06
Last Modified:	03 Nov 2026 12:10
URI:	https://repo.uum.edu.my/id/eprint/34444

Actions (login required)

View Item