S-Type Random k Satisfiability Logic in Discrete Hopfield Neural Network Using Probability Distribution: Performance Optimization and Analysis

被引:10
作者
Abdeen, Suad [1 ,2 ]
Kasihmuddin, Mohd Shareduwan Mohd [1 ]
Zamri, Nur Ezlin [3 ]
Manoharam, Gaeithry [1 ]
Mansor, Mohd. Asyraf [3 ]
Alshehri, Nada [2 ]
机构
[1] Univ Sains Malaysia, Sch Math Sci, Usm 11800, Penang, Malaysia
[2] King Saud Univ, Coll Sci, Riyadh 11451, Saudi Arabia
[3] Univ Sains Malaysia, Sch Distance Educ, Usm 11800, Penang, Malaysia
关键词
discrete hopfield neural network; non-systematic satisfiability; probability distribution; binomial distribution; statistical learning; optimization problems; travelling salesman problem; evolutionary computation; ALGORITHM;
D O I
10.3390/math11040984
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
Recently, a variety of non-systematic satisfiability studies on Discrete Hopfield Neural Networks have been introduced to overcome a lack of interpretation. Although a flexible structure was established to assist in the generation of a wide range of spatial solutions that converge on global minima, the fundamental problem is that the existing logic completely ignores the probability dataset's distribution and features, as well as the literal status distribution. Thus, this study considers a new type of non-systematic logic termed S-type Random k Satisfiability, which employs a creative layer of a Discrete Hopfield Neural Network, and which plays a significant role in the identification of the prevailing attribute likelihood of a binomial distribution dataset. The goal of the probability logic phase is to establish the logical structure and assign negative literals based on two given statistical parameters. The performance of the proposed logic structure was investigated using the comparison of a proposed metric to current state-of-the-art logical rules; consequently, was found that the models have a high value in two parameters that efficiently introduce a logical structure in the probability logic phase. Additionally, by implementing a Discrete Hopfield Neural Network, it has been observed that the cost function experiences a reduction. A new form of synaptic weight assessment via statistical methods was applied to investigate the effect of the two proposed parameters in the logic structure. Overall, the investigation demonstrated that controlling the two proposed parameters has a good effect on synaptic weight management and the generation of global minima solutions.
引用
收藏
页数:46
相关论文
共 58 条
[1]   LOGIC PROGRAMMING ON A NEURAL NETWORK [J].
ABDULLAH, WATW .
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1992, 7 (06) :513-519
[2]   Major 2 Satisfiability Logic in Discrete Hopfield Neural Network [J].
Alway, Alyaa ;
Zamri, Nur Ezlin ;
Karim, Syed Anayet ;
Mansor, Mohd Asyraf ;
Kasihmuddin, Mohd Shareduwan Mohd ;
Bazuhair, Muna Mohammed .
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 2022, 99 (05) :924-948
[3]   Easy cases of probabilistic satisfiability [J].
Andersen, KA ;
Pretolani, D .
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2001, 33 (01) :69-91
[4]   Artificial neural networks: fundamentals, computing, design, and application [J].
Basheer, IA ;
Hajmeer, M .
JOURNAL OF MICROBIOLOGICAL METHODS, 2000, 43 (01) :3-31
[5]   Novel Hopfield Neural Network Model with Election Algorithm for Random 3 Satisfiability [J].
Bazuhair, Muna Mohammed ;
Jamaludin, Siti Zulaikha Mohd ;
Zamri, Nur Ezlin ;
Kasihmuddin, Mohd Shareduwan Mohd ;
Mansor, Mohd. Asyraf ;
Alway, Alyaa ;
Karim, Syed Anayet .
PROCESSES, 2021, 9 (08)
[6]  
Boole G., 1854, An investigation of the laws of thought: on which are founded the mathematical theories of logic and probabilities
[7]   A GENERALIZED CONVERGENCE THEOREM FOR NEURAL NETWORKS [J].
BRUCK, J ;
GOODMAN, JW .
IEEE TRANSACTIONS ON INFORMATION THEORY, 1988, 34 (05) :1089-1092
[8]   Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability [J].
Cai, Shaowei ;
Lei, Zhendong .
ARTIFICIAL INTELLIGENCE, 2020, 287 (287)
[9]   Generalized Probabilistic Satisfiability [J].
Caleiro C. ;
Casal F. ;
Mordido A. .
Electronic Notes in Theoretical Computer Science, 2017, 332 :39-56
[10]   A-WEAR Bracelet for Detection of Hand Tremor and Bradykinesia in Parkinson's Patients [J].
Channa, Asma ;
Ifrim, Rares-Cristian ;
Popescu, Decebal ;
Popescu, Nirvana .
SENSORS, 2021, 21 (03) :1-23