Enhanced Hopfield Neural Networks With Artificial Immune System Algorithm For Satisfiability Logic Programming
The emergence of 3-Satisfiability (3-SAT) problem has produced a prolific number of works devoted to the field of logic and data mining. In this study, a new hybrid method in doing logic programming by incorporating 3-SAT logical rules as a computational tool will be presented. Hence, a robust intel...
| Main Author: | |
|---|---|
| Format: | Thesis |
| Language: | English |
| Published: |
2017
|
| Subjects: | |
| Online Access: | http://eprints.usm.my/45423/ |
| Abstract | Abstract here |
| _version_ | 1855629854184046592 |
|---|---|
| author | Mansor, Mohd. Asyraf |
| author_facet | Mansor, Mohd. Asyraf |
| author_sort | Mansor, Mohd. Asyraf |
| description | The emergence of 3-Satisfiability (3-SAT) problem has produced a prolific number of works devoted to the field of logic and data mining. In this study, a new hybrid method in doing logic programming by incorporating 3-SAT logical rules as a computational tool will be presented. Hence, a robust intelligence system that integrates the Hopfield neural network and metaheuristic paradigm is constructed to extract the data set hidden knowledge in the form of 3-Satisfiability logical rule. A hybrid network called HNN-3SATAIS is proposed by assimilating the Hopfield neural network with the enhanced artificial immune system (AIS) algorithm as a training tool in doing 3-Satisfiability logic programming. |
| first_indexed | 2025-10-17T08:27:10Z |
| format | Thesis |
| id | usm-45423 |
| institution | Universiti Sains Malaysia |
| language | English |
| last_indexed | 2025-10-17T08:27:10Z |
| publishDate | 2017 |
| record_format | EPrints |
| record_pdf | Restricted |
| spelling | usm-454232019-09-17T01:54:07Z http://eprints.usm.my/45423/ Enhanced Hopfield Neural Networks With Artificial Immune System Algorithm For Satisfiability Logic Programming Mansor, Mohd. Asyraf QA1-939 Mathematics The emergence of 3-Satisfiability (3-SAT) problem has produced a prolific number of works devoted to the field of logic and data mining. In this study, a new hybrid method in doing logic programming by incorporating 3-SAT logical rules as a computational tool will be presented. Hence, a robust intelligence system that integrates the Hopfield neural network and metaheuristic paradigm is constructed to extract the data set hidden knowledge in the form of 3-Satisfiability logical rule. A hybrid network called HNN-3SATAIS is proposed by assimilating the Hopfield neural network with the enhanced artificial immune system (AIS) algorithm as a training tool in doing 3-Satisfiability logic programming. 2017-08 Thesis NonPeerReviewed application/pdf en http://eprints.usm.my/45423/1/MOHD.%20ASYRAF%20MANSOR.pdf Mansor, Mohd. Asyraf (2017) Enhanced Hopfield Neural Networks With Artificial Immune System Algorithm For Satisfiability Logic Programming. PhD thesis, Universiti Sains Malaysia. |
| spellingShingle | QA1-939 Mathematics Mansor, Mohd. Asyraf Enhanced Hopfield Neural Networks With Artificial Immune System Algorithm For Satisfiability Logic Programming |
| thesis_level | PhD |
| title | Enhanced Hopfield Neural Networks With Artificial Immune System Algorithm For Satisfiability Logic Programming |
| title_full | Enhanced Hopfield Neural Networks With Artificial Immune System Algorithm For Satisfiability Logic Programming |
| title_fullStr | Enhanced Hopfield Neural Networks With Artificial Immune System Algorithm For Satisfiability Logic Programming |
| title_full_unstemmed | Enhanced Hopfield Neural Networks With Artificial Immune System Algorithm For Satisfiability Logic Programming |
| title_short | Enhanced Hopfield Neural Networks With Artificial Immune System Algorithm For Satisfiability Logic Programming |
| title_sort | enhanced hopfield neural networks with artificial immune system algorithm for satisfiability logic programming |
| topic | QA1-939 Mathematics |
| url | http://eprints.usm.my/45423/ |
| work_keys_str_mv | AT mansormohdasyraf enhancedhopfieldneuralnetworkswithartificialimmunesystemalgorithmforsatisfiabilitylogicprogramming |