[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/3590003.3590024acmotherconferencesArticle/Chapter ViewAbstractPublication PagescacmlConference Proceedingsconference-collections
research-article

Genetic algorithm in hopfield neural network with probabilistic 2 satisfiability

Published: 29 May 2023 Publication History

Abstract

Genetic Algorithm (GA) is to convert the problem-solving process into a process similar to the chromosomal changes in biological evolution using the mathematical method and computer simulation operation. This meta-heuristic algorithm has been successfully applied to system logic and non-system logic programming. In this study, we will explore the role of the Bipolar Genetic Algorithm (GA) in enhancing the learning process of the Hopfield neural network based on the previous study of PRO2SAT, and generate global solutions of the Probabilistic 2 Satisfiability model. The main purpose of the learning phase of the PRO2SAT model is to obtain consistent interpretations and calculate the optimal prominence weights, and the GA algorithm is introduced to improve the ability of PRO2SAT to obtain consistent interpretation using its selection, crossover, and mutation operators, and thus to improve the ability of the logic programming model to get a global solution. In the experimental phase, simulation data are used for result testing, and three performance metrics are used to test the consistency interpretation and global solution acquisition ability of the proposed model, including mean absolute error, logic formula satisfaction ratio, and global minimum ratio. Experimental results show that GA, as a meta-heuristic algorithm, has better searching ability for optimal solution and can effectively assist logic programming.

References

[1]
Beam, A. L.; Kohane, I. S. Big Data and Machine Learning in Health Care. JAMA 2018, 319, 1317-1318. https://
[2]
Vigilante, K.; Escaravage, S.; Mc Connell, M. Big Data and the Intelligence Community-Lessons for Health Care . N Engl J Med 2019, 380, 1888-1890. https://
[3]
Abdullah, W. A. T. W. 1992. Logic programming on a neural network. International journal of intelligent systems, 7(6), 513-519. https://doi.org/10.1002/int.4550070604
[4]
Sathasivam, S. “Upgrading logic programming in Hopfifield network,” Sains Malaysiana 2010, 39, 115–118.
[5]
Kasihmuddin, M. S. M., Mansor, M. A., & Sathasivam, S. (2017). Hybrid Genetic Algorithm in the Hopfield Network for Logic Satisfiability Problem. Pertanika Journal of Science & Technology, 25(1).
[6]
Mohd Kasihmuddin, Mohd Shareduwan, Mohd. Asyraf Mansor, Md Faisal Md Basir, and Saratha Sathasivam. 2019. "Discrete Mutation Hopfield Neural Network in Propositional Satisfiability" Mathematics 7, no. 11: 1133. https://doi.org/10.3390/math7111133
[7]
Kasihmuddin, Mohd Shareduwan Mohd, Siti Zulaikha Mohd Jamaludin, Mohd. Asyraf Mansor, Habibah A. Wahab, and Siti Maisharah Sheikh Ghadzi. 2022. "Supervised Learning Perspective in Logic Mining" Mathematics 10, no. 6: 915. https://doi.org/10.3390/ math10060915
[8]
Mansor,M. A.; Sathasivam, S. Accelerating activation function for 3-satisfiability logic programming. International Journal of Intelligent Systems and Applications 2016, 8, 44-50. https://doi.org/10.5815/ijisa.2016.10.05
[9]
Chen, Ju, "PRO2SAT: Systematic Probabilistic Satisfiability logic in Discrete Hopfield Neural Network." Advances in Engineering Software 175 (2023): 103355. https://doi.org/10.1016/j.advengsoft.2022.103355
[10]
Gao, Yuan, Yueling Guo, Nurul Atiqah Romli, Mohd Shareduwan Mohd Kasihmuddin, Weixiang Chen, Mohd. Asyraf Mansor, and Ju Chen. 2022. "GRAN3SAT: Creating Flexible Higher-Order Logic Satisfiability in the Discrete Hopfield Neural Network" Mathematics 10, no. 11: 1899. https://doi.org/10.3390/math10111899
[11]
Karim, S. A., Zamri, N. E., Alway, A., Kasihmuddin, M. S. M., Ismail, A. I. M., Mansor, M. A., Hassan, N. F. A. 2021. Random satisfiability: A higher-order logical approach in discrete Hopfield Neural Network. IEEE Access, 9, 50831-50845. https://doi.org/10.1109/ACCESS.2021.3068998
[12]
Guo, Y., Kasihmuddin, M. S. M., Gao, Y., Mansor, M. A., Wahab, H. A., Zamri, N. E., & Chen, J. (2022). YRAN2SAT: A novel flexible random satisfiability logical rule in discrete hopfield neural network. Advances in Engineering Software, 171, 103169. https://doi.org/10.1016/j.advengsoft.2022.103169
[13]
Sathasivam, S., Mansor, M. A., Ismail, A. I. M., Jamaludin, S. Z. M., Kasihmuddin, M. S. M., & Mamat, M. (2020). Novel Random k Satisfiability for k≤ 2 in Hopfield Neural Network. Sains Malays, 49, 2847-2857. http://dx.doi.org/10.17576/jsm-2020-4911-23
[14]
Zamri, N. E., Azhar, S. A., Mansor, M. A., Alway, A., & Kasihmuddin, M. S. M. (2022). Weighted Random k Satisfiability for k= 1, 2 (r2SAT) in Discrete Hopfield Neural Network. Applied Soft Computing, 109312. https://doi.org/10.1016/j.asoc.2022.109312
[15]
Alway, A., Zamri, N. E., Karim, S. A., Mansor, M. A., Mohd Kasihmuddin, M. S., & Mohammed Bazuhair, M. (2022). Major 2 satisfiability logic in discrete Hopfield neural network. International Journal of Computer Mathematics, 99(5), 924-948. https://doi.org/10.1080/ 00207160.2021.1939870
[16]
Zamri, Nur Ezlin, "Multi-discrete genetic algorithm in hopfield neural network with weighted random k satisfiability." Neural Computing and Applications 34.21 (2022): 19283-19311. https://doi.org/10.1007/s00521-022-07541-6
[17]
Karim, Syed Anayet, Mohd Shareduwan Mohd Kasihmuddin, Saratha Sathasivam, Mohd. Asyraf Mansor, Siti Zulaikha Mohd Jamaludin, and Md Rabiol Amin. 2022. "A Novel Multi-Objective Hybrid Election Algorithm for Higher-Order Random Satisfiability in Discrete Hopfield Neural Network" Mathematics 10, no. 12: 1963. https://doi.org/10.3390/math10121963
[18]
Muhammad Sidik, Siti Syatirah, Nur Ezlin Zamri, Mohd Shareduwan Mohd Kasihmuddin, Habibah A. Wahab, Yueling Guo, and Mohd. Asyraf Mansor. 2022. "Non-Systematic Weighted Satisfiability in Discrete Hopfield Neural Network Using Binary Artificial Bee Colony Optimization" Mathematics 10, no. 7: 1129. https://doi.org/10.3390/math10071129

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences
CACML '23: Proceedings of the 2023 2nd Asia Conference on Algorithms, Computing and Machine Learning
March 2023
598 pages
ISBN:9781450399449
DOI:10.1145/3590003
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 29 May 2023

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article
  • Research
  • Refereed limited

Funding Sources

  • Chengdu University of Traditional Chinese Medicine Xinglin Scholar Project

Conference

CACML 2023

Acceptance Rates

CACML '23 Paper Acceptance Rate 93 of 241 submissions, 39%;
Overall Acceptance Rate 93 of 241 submissions, 39%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 29
    Total Downloads
  • Downloads (Last 12 months)18
  • Downloads (Last 6 weeks)0
Reflects downloads up to 20 Dec 2024

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

HTML Format

View this article in HTML Format.

HTML Format

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media