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

Authors Info & Claims
Published:29 May 2023Publication 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://doi:10.1001/jama.2017.18391Google ScholarGoogle ScholarCross RefCross Ref
  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://doi: 10.1056/NEJMp1815418Google ScholarGoogle ScholarCross RefCross Ref
  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.4550070604Google ScholarGoogle ScholarCross RefCross Ref
  4. Sathasivam, S. “Upgrading logic programming in Hopfifield network,” Sains Malaysiana 2010, 39, 115–118.Google ScholarGoogle Scholar
  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).Google ScholarGoogle Scholar
  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/math7111133Google ScholarGoogle ScholarCross RefCross Ref
  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/ math10060915Google ScholarGoogle ScholarCross RefCross Ref
  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.05Google ScholarGoogle ScholarCross RefCross Ref
  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.103355Google ScholarGoogle ScholarDigital LibraryDigital Library
  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/math10111899Google ScholarGoogle ScholarCross RefCross Ref
  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.3068998Google ScholarGoogle ScholarCross RefCross Ref
  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.103169Google ScholarGoogle ScholarDigital LibraryDigital Library
  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-23Google ScholarGoogle ScholarCross RefCross Ref
  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.109312Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.1939870Google ScholarGoogle ScholarCross RefCross Ref
  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-6Google ScholarGoogle ScholarDigital LibraryDigital Library
  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/math10121963Google ScholarGoogle ScholarCross RefCross Ref
  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/math10071129Google ScholarGoogle ScholarCross RefCross Ref

Index Terms

  1. Genetic algorithm in hopfield neural network with probabilistic 2 satisfiability
            Index terms have been assigned to the content through auto-classification.

            Recommendations

            Comments

            Login options

            Check if you have access through your login credentials or your institution to get full access on this article.

            Sign in
            • 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

              Copyright © 2023 ACM

              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 about this article.

              Request Permissions

              Check for updates

              Qualifiers

              • research-article
              • Research
              • Refereed limited

              Acceptance Rates

              CACML '23 Paper Acceptance Rate93of241submissions,39%Overall Acceptance Rate93of241submissions,39%
            • Article Metrics

              • Downloads (Last 12 months)22
              • Downloads (Last 6 weeks)1

              Other Metrics

            PDF Format

            View or Download as a PDF file.

            PDF

            eReader

            View online with eReader.

            eReader

            HTML Format

            View this article in HTML Format .

            View HTML Format