Hybridised Intelligent Dynamic Model of 3-Satisfiability Fuzzy Logic Hopfield Neural Network

Farah Liyana Azizan,Saratha Sathasivam,Majid Khan Majahar Ali
DOI: https://doi.org/10.47836/pjst.31.4.06
2023-05-24
Pertanika Journal of Science and Technology
Abstract:This study presents a new way of increasing 3SAT logic programming’s efficiency in the Hopfield network. A new model of merging fuzzy logic with 3SAT in the Hopfield network is presented called HNN-3SATFuzzy. The hybridised dynamic model can avoid locally minimal solutions and lessen the computing burden by utilising fuzzification and defuzzification techniques in fuzzy logic. In addressing the 3SAT issue, the proposed hybrid approach can select neuron states between zero and one. Aside from that, unsatisfied neuron clauses will be changed using the alpha-cut method as a defuzzifier step until the correct neuron state is determined. The defuzzification process is a mapping stage that converts a fuzzy value into a crisp output. The corrected neuron state using alpha-cut in the defuzzification stage is either sharpening up to one or sharpening down to zero. A simulated data collection was utilised to evaluate the hybrid techniques’ performance. In the training phase, the network for HNN-3SATFuzzy was weighed using RMSE, SSE, MAE and MAPE metrics. The energy analysis also considers the ratio of global minima and processing period to assess its robustness. The findings are significant because this model considerably impacts Hopfield networks’ capacity to handle 3SAT problems with less complexity and speed. The new information and ideas will aid in developing innovative ways to gather knowledge for future research in logic programming. Furthermore, the breakthrough in dynamic learning is considered a significant step forward in neuro-symbolic integration.
What problem does this paper attempt to address?