Higher order Weighted Random k Satisfiability (k = 1,3 ) in Discrete Hopfield Neural Network

被引:0
|
作者
Liu, Xiaoyan [1 ,2 ]
Kasihmuddin, Mohd Shareduwan Mohd [2 ]
Zamri, Nur Ezlin [3 ]
Chang, Yunjie [2 ,4 ]
Abdeen, Suad [2 ]
Gao, Yuan [2 ,5 ]
机构
[1] Guangzhou Coll Technol & Business, Sch Gen Educ, Guangzhou 510850, Peoples R China
[2] Univ Sains Malaysia, Sch Math Sci, George Town 11800, Malaysia
[3] Univ Putra Malaysia, Fac Sci, Dept Math & Stat, Serdang 43400, Selangor, Malaysia
[4] Hunan Inst Technol, Sch Comp Sci & Engn, Hengyang 421002, Peoples R China
[5] Chengdu Univ Tradit Chinese Med, Sch Med Informat Engn, Chengdu 610037, Peoples R China
来源
AIMS MATHEMATICS | 2025年 / 10卷 / 01期
关键词
Weighted Random k Satisfiability; non-systematic satisfiability; Discrete Hopfield Neural Network; optimization problem; global solution; EXHAUSTIVE SEARCH; OPTIMIZATION; CONSTRAINTS;
D O I
10.3934/math.2025009
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
Researchers have explored various non-systematic satisfiability approaches to enhance the interpretability of Discrete Hopfield Neural Networks. A flexible framework for non-systematic satisfiability has been developed to investigate diverse logical structures across dimensions and has improved the lack of neuron variation. However, the logic phase of this approach tends to overlook the distribution and characteristics of literal states, and the ratio of negative literals has not been mentioned with higher-order clauses. In this paper, we propose a new non-systematic logic named Weighted Random k Satisfiability (k =1, 3 ), which implements the ratio of negative literals in higher-order clauses. The proposed logic, integrated into the Discrete Hopfield Neural Network, established a logical structure by incorporating the ratio of negative literals during the logic phase. This enhancement increased the network's storage capacity, improving its ability to handle complex, high-dimensional problems. The advanced logic was evaluated in the learning phase by various metrics. When the values of the ratio were r = 0.2, 0.4, 0.6, and 0.8, the logic demonstrated the potential for better performances and smaller errors. Furthermore, the performance of the proposed logical structure demonstrated a positive impact on the management of synaptic weights. The results indicated that the optimal global minimum solutions are achieved when the ratio of negative literals was set to r = 0.8. Compared to the state-of-the-art logical structures, this novel approach has a more significant impact on achieving global minimum solutions, particularly in terms of the ratio of negative literals.
引用
收藏
页码:159 / 194
页数:36
相关论文
共 50 条
  • [21] Developing Random Satisfiability Logic Programming in Hopfield Neural Network
    Abubakar, Hamza
    Sathasivam, Saratha
    PROCEEDINGS OF THE 27TH NATIONAL SYMPOSIUM ON MATHEMATICAL SCIENCES (SKSM27), 2020, 2266
  • [22] Binary ant colony optimization algorithm in learning random satisfiability logic for discrete hopfield neural network
    Gao, Yuan
    Kasihmuddin, Mohd Shareduwan Mohd
    Chen, Ju
    Zheng, Chengfeng
    Romli, Nurul Atiqah
    Asyraf Mansor, Mohd.
    Zamri, Nur Ezlin
    Applied Soft Computing, 2024, 166
  • [23] Random Maximum 2 Satisfiability Logic in Discrete Hopfield Neural Network Incorporating Improved Election Algorithm
    Someetheram, Vikneswari
    Marsani, Muhammad Fadhil
    Mohd Kasihmuddin, Mohd Shareduwan
    Zamri, Nur Ezlin
    Muhammad Sidik, Siti Syatirah
    Mohd Jamaludin, Siti Zulaikha
    Mansor, Mohd. Asyraf
    MATHEMATICS, 2022, 10 (24)
  • [24] Artificial dragonfly algorithm in the Hopfield neural network for optimal Exact Boolean k satisfiability representation
    Ali, Ghassan Ahmed
    Abubakar, Hamza
    Alzaeemi, Shehab Abdulhabib Saeed
    Almawgani, Abdulkarem H. M.
    Sulaiman, Adel
    Tay, Kim Gaik
    PLOS ONE, 2023, 18 (09):
  • [25] YRAN2SAT: A novel flexible random satisfiability logical rule in discrete hopfield neural network
    Guo, Yueling
    Kasihmuddin, Mohd Shareduwan Mohd
    Gao, Yuan
    Mansor, Mohd Asyraf
    Wahab, Habibah A.
    Zamri, Nur Ezlin
    Chen, Ju
    ADVANCES IN ENGINEERING SOFTWARE, 2022, 171
  • [26] Genetic Algorithm for Restricted Maximum k-Satisfiability in the Hopfield Network
    Kasihmuddin, Mohd Shareduwan Bin Mohd
    Bin Mansor, Mohd Asyraf
    Sathasivam, Saratha
    INTERNATIONAL JOURNAL OF INTERACTIVE MULTIMEDIA AND ARTIFICIAL INTELLIGENCE, 2016, 4 (02): : 52 - 60
  • [27] Non-Systematic Weighted Satisfiability in Discrete Hopfield Neural Network Using Binary Artificial Bee Colony Optimization
    Sidik, Siti Syatirah Muhammad
    Zamri, Nur Ezlin
    Kasihmuddin, Mohd Shareduwan Mohd
    Wahab, Habibah A.
    Guo, Yueling
    Mansor, Mohd Asyraf
    MATHEMATICS, 2022, 10 (07)
  • [28] Artificial Bee Colony in the Hopfield Network for Maximum k-Satisfiability Problem
    Shareduwan, Mohd
    Kasihmuddin, Mohd
    Mansor, Mohd Asyraf
    Sathasivam, Saratha
    JOURNAL OF INFORMATICS AND MATHEMATICAL SCIENCES, 2016, 8 (05): : 317 - 334
  • [29] Robust Artificial Immune System in the Hopfield network for Maximum k-Satisfiability
    Bin Mansor, Mohd Asyraf
    Kasihmuddin, Mohd Shareduwan Bin Mohd
    Sathasivam, Saratha
    INTERNATIONAL JOURNAL OF INTERACTIVE MULTIMEDIA AND ARTIFICIAL INTELLIGENCE, 2017, 4 (04): : 63 - 71
  • [30] Optimal Performance Evaluation Metrics For Satisfiability Logic Representation In Discrete Hopfield Neural Network
    Mansor, Mohd Asyraf
    Sathasivam, Saratha
    INTERNATIONAL JOURNAL OF MATHEMATICS AND COMPUTER SCIENCE, 2021, 16 (03): : 963 - 976