Election algorithm (EA) is a novel metaheuristics optimization model motivated by phenomena of the socio-political mechanism of presidential election conducted in many countries. The capability and robustness EA in finding an optimal solution to optimization has been proven by various researchers. In this paper, modified version of EA has been utilized in accelerating the searching capacity of Hopfield neural network (HNN) learning phase for optimal random-kSAT logical representation (HNN-R2SATEA). The utility of the proposed approach has been contrasted with the current standard exhaustive search algorithm (HNN-R2SATES) and the newly developed algorithm HNN-R2SATICA. From the analysis obtained, it has been clearly shown that the proposed hybrid computational model HNN-R2SATEA outperformed other existing model in terms of global minima ratio (Zm), mean absolute error (MAE), Bayesian information criterion (BIC) and execution time (ET). The finding portrays that the MEA algorithm surpassed the other two algorithms for optimal random-kSAT logical representation.
Boolean satisfiability logical representation is a programming paradigm that has its foundations in mathematical logic. It has been classified as an NP-complete problem that difficult practical combinatorial optimization and search problems can be easily converted into it. Random Maximum kSatisfiability (MAX-RkSAT) composed of the most consistent mapping in a Boolean formula that generates a maximum number of random satisfied clauses. Many optimization and search problems can be easily expressed by mapping the problem into a Hopfield neural network (HNN) to minimize the optimal configuration of the corresponding Lyapunov energy function. In this paper, a hybrid computational model hs been proposed that incorporates the Random Maximum kSatisfiability (MAX-RkSAT) into the Hopfield neural network (HNN) for optimal Random Maximum kSatisfiability representation (HNN-MAX-RkSAT). Hopfield neural network learning will be integrated with the random maximum satisfiability to enhance the correct neural state of the network model representation. The computer simulation using C++++ has been used to demonstrate the ability of MAX-RkSAT to be embedded optimally in Hopfield neural network to serve as Neuro-symbolic integration. The performance of the proposed hybrid HNN-MAXRkSAT model has been explored and compared with the existing model. The proposed HNN-MAXRkSAT demonstrates good agreement with the existing models measured in terms of Global minimum Ratio (Gm), Hamming Distance (HD), Mean Absolute Error (MAE) and network computation Time CPU time). The proposed framework explored that MAX-RkSAT can be optimally represented in HNN and subsequently provides an additional platform for neural-symbolic integration, representing the various types of satisfiability logic.
This study proposed a hybridization of higher-order Random Boolean kSatisfiability (RANkSAT) with the Hopfield neural network (HNN) as a neuro-dynamical model designed to reflect knowledge efficiently. The learning process of the Hopfield neural network (HNN) has undergone significant changes and improvements according to various types of optimization problems. However, the HNN model is associated with some limitations which include storage capacity and being easily trapped to the local minimum solution. The Election algorithm (EA) is proposed to improve the learning phase of HNN for optimal Random Boolean kSatisfiability (RANkSAT) representation in higher order. The main source of inspiration for the Election Algorithm (EA) is its ability to extend the power and rule of political parties beyond their borders when seeking endorsement. The main purpose is to utilize the optimization capacity of EA to accelerate the learning phase of HNN for optimal random k Satisfiability representation. The global minima ratio (mR) and statistical error accumulations (SEA) during the training process were used to evaluate the proposed model performance. The result of this study revealed that our proposed EA-HNN-RANkSAT outperformed ABC-HNN-RANkSAT and ES-HNN-RANkSAT models in terms of mR and SEA.This study will further be extended to accommodate a novel field of Reverse analysis (RA) which involves data mining techniques to analyse real-life problems.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.