Scholarlink

<p>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-RAN<i>k</i>SAT 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-RAN<i>k</i>SAT 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&#xa0;s at 1000 sample size, compared to LR with 20&#xa0;s, RF with 40&#xa0;s, and SVM with 50&#xa0;s. The BIC values for HNN-RAN<i>k</i>SAT 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 &lt; 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-RAN<i>k</i>SAT excels in high-precision tasks like pandemic surveillance.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Random Satisfiability Logic-Driven Approach in the Hopfield Neural Networks with Application to COVID-19 Datasets

  • 期刊论文

  • 发表日期：

    2025年6月3日

查看全文
  • Hamza Abubakar

摘要

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.