Artificial dragonfly algorithm in the Hopfield neural network for optimal Exact Boolean k satisfiability representation

PLoS One. 2023 Sep 25;18(9):e0286874. doi: 10.1371/journal.pone.0286874. eCollection 2023.

Abstract

This study proposes a novel hybrid computational approach that integrates the artificial dragonfly algorithm (ADA) with the Hopfield neural network (HNN) to achieve an optimal representation of the Exact Boolean kSatisfiability (EBkSAT) logical rule. The primary objective is to investigate the effectiveness and robustness of the ADA algorithm in expediting the training phase of the HNN to attain an optimized EBkSAT logic representation. To assess the performance of the proposed hybrid computational model, a specific Exact Boolean kSatisfiability problem is constructed, and simulated data sets are generated. The evaluation metrics employed include the global minimum ratio (GmR), root mean square error (RMSE), mean absolute percentage error (MAPE), and network computational time (CT) for EBkSAT representation. Comparative analyses are conducted between the results obtained from the proposed model and existing models in the literature. The findings demonstrate that the proposed hybrid model, ADA-HNN-EBkSAT, surpasses existing models in terms of accuracy and computational time. This suggests that the ADA algorithm exhibits effective compatibility with the HNN for achieving an optimal representation of the EBkSAT logical rule. These outcomes carry significant implications for addressing intricate optimization problems across diverse domains, including computer science, engineering, and business.

Publication types

  • Research Support, Non-U.S. Gov't

MeSH terms

  • Algorithms*
  • Benchmarking
  • Commerce
  • Engineering
  • Neural Networks, Computer*

Grants and funding

The authors are thankful to the Deanship of Scientific Research at Najran University, Kingdom of Saudi Arabia, for funding this work under the Distinguished Research Funding program grant code (NU/DRP/SERC/12/6). The funders did not play a role in study design, data collection and analysis, decision to publish, or preparation of the manuscript.