Author:
Abubakar Hamza,Idris Muntari
Abstract
The Boolean Satisfiability Problem (BSAT) is one of the crucial decision problems in the fields of computing science, operation research, and mathematical logic that is resolved by deciding whether or not a solution to a Boolean formula exists. When there is a Boolean variable allocation that induces the Boolean formula to yield TRUE, then the SAT instance is satisfiable. The main purpose of this chapter is to utilize the optimization capacity of the Lyapunov energy function of Hopfield neural network (HNN) for optimal representation of the Random Satistibaility for COVID-19 Surveillance Data Set (CSDS) classification with the aim of extracting the relationship of dominant attributes that contribute to COVID-19 detections based on the COVID-19 Surveillance Data Set (CSDS). The logical mining task was carried based on the data mining technique of the energy minimization technique of HNN. The computational simulations have been carried using the different number of clauses in validating the efficiency of the proposed model in the training of COVID-19 Surveillance Data Set (CSDS) for classification. The findings reveals the effectiveness and robustness of k satisfiability reverse analysis with Hopfield neural network in extracting the dominant attributes toward COVID-19 Surveillance Data Set (CSDS) logic.