Optimal Performance Evaluation Metrics For Satisfiability Logic Representation In Discrete Hopfield Neural Network

被引:0
|
作者
Mansor, Mohd Asyraf [1 ]
Sathasivam, Saratha [2 ]
机构
[1] Univ Sains Malaysia, Sch Distance Educ, Usm 11800, Penang, Malaysia
[2] Univ Sains Malaysia, Sch Math Sci, Usm 11800, Penang, Malaysia
关键词
Performance Evaluation Metrics; Satisfiability Logic; Discrete Hopfield Neural Network; Similarity Index; ALGORITHM; ERROR;
D O I
暂无
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
The performance measures and the quality assessment of the solutions for Satis fiability logic in Discrete Hopfield Neural Network (DHNN) are significantly dependent on the selection of the optimal performance evaluation metrics. The current performance measures were mostly leveraging the computational time, absolute error, mean squared error, and goodness of fit measures. To assess the learning capability of a neural network model, the optimal performance metrics are adopted in measuring the quality of the solutions and interpretations obtained by the network especially when dealing with the different number of clauses of Satisfiability logic. The core impetus of this study is to investigate the effects of various performance evaluations metrics towards the models performance analysis based on the learning error, similarity analysis, and energy analysis. Overall, the simulation results have revealed the significant impact of various performance evaluation metrics in terms of learning error, energy evaluation, and similarity analysis for k Satisfiability logic in Discrete Hopfield Neural Network, when k = 3 with different complexities. This finding will reveal the ideal performance metrics that comply with Satisfiability logic and neural network model evaluation.
引用
收藏
页码:963 / 976
页数:14
相关论文
共 50 条
  • [1] Major 2 Satisfiability Logic in Discrete Hopfield Neural Network
    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
  • [2] An optimal representation to Random Maximum k Satisfiability on the Hopfield Neural Network for High order logic(k ≤ 3)
    Abubakar, Hamza
    KUWAIT JOURNAL OF SCIENCE, 2022, 49 (02)
  • [3] Discrete Hopfield Neural Network in Restricted Maximum k-Satisfiability Logic Programming
    Kasihmuddin, Mohd Shareduwan Mohd
    Mansor, Mohd Asy Raf
    Sathasivam, Saratha
    SAINS MALAYSIANA, 2018, 47 (06): : 1327 - 1335
  • [4] Discrete Mutation Hopfield Neural Network in Propositional Satisfiability
    Kasihmuddin, Mohd Shareduwan Mohd
    Mansor, Mohd Asyraf
    Basir, Md Faisal Md
    Sathasivam, Saratha
    MATHEMATICS, 2019, 7 (11)
  • [5] Modified election algorithm in hopfield neural network for optimal random k satisfiability representation
    Abubakar H.
    Sabri S.R.M.
    Abdu Masanawa S.
    Yusuf S.
    International Journal for Simulation and Multidisciplinary Design Optimization, 2020, 11
  • [6] PRO2SAT: Systematic Probabilistic Satisfiability logic in Discrete Hopfield Neural Network
    Chen, Ju
    Kasihmuddin, Mohd Shareduwan Mohd
    Gao, Yuan
    Guo, Yueling
    Mansor, Mohd. Asyraf
    Romli, Nurul Atiqah
    Chen, Weixiang
    Zheng, Chengfeng
    ADVANCES IN ENGINEERING SOFTWARE, 2023, 175
  • [7] 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
  • [8] 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):
  • [9] 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)
  • [10] 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