Hybrid Ant Colony Optimization For Two Satisfiability Programming In Hopfield Neural Network
The representation of 2 Satisfiability problem or 2SAT is increasingly viewed as a significant logical rule in order to synthesize many real life applications. Although there were many researchers proposed the solution of 2SAT, little attention has been paid to the significance of the 2SAT logical r...
| Main Author: | |
|---|---|
| Format: | Thesis |
| Language: | English |
| Published: |
2019
|
| Subjects: | |
| Online Access: | http://eprints.usm.my/55729/ http://eprints.usm.my/55729/1/24%20Pages%20from%20Kho%20Liew%20Ching.pdf |
| _version_ | 1848883162270138368 |
|---|---|
| author | Kho, Liew Ching |
| author_facet | Kho, Liew Ching |
| author_sort | Kho, Liew Ching |
| building | USM Institutional Repository |
| collection | Online Access |
| description | The representation of 2 Satisfiability problem or 2SAT is increasingly viewed as a significant logical rule in order to synthesize many real life applications. Although there were many researchers proposed the solution of 2SAT, little attention has been paid to the significance of the 2SAT logical rule itself. It can be hypothesized that 2SAT property can be used as a logical rule in the intelligent system. To verify this claim, 2 Satisfiability logic programming was embedded to Hopfield neural network (HNN) as a single unit. Learning in HNN will be inspired by Wan Abdullah method since the conventional Hebbian learning is inefficient when dealing with large number of constraints. As the number of 2SAT clauses increased, the efficiency and effectiveness of the learning phase in HNN deteriorates. Swarm intelligence metaheuristic algorithm has been introduced to reduce the learning complexity of the network. The newly proposed metaheuristic algorithm was enhanced ant colony optimization (ACO) algorithm. |
| first_indexed | 2025-11-15T18:46:25Z |
| format | Thesis |
| id | usm-55729 |
| institution | Universiti Sains Malaysia |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-15T18:46:25Z |
| publishDate | 2019 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | usm-557292022-11-23T04:34:16Z http://eprints.usm.my/55729/ Hybrid Ant Colony Optimization For Two Satisfiability Programming In Hopfield Neural Network Kho, Liew Ching QA1 Mathematics (General) The representation of 2 Satisfiability problem or 2SAT is increasingly viewed as a significant logical rule in order to synthesize many real life applications. Although there were many researchers proposed the solution of 2SAT, little attention has been paid to the significance of the 2SAT logical rule itself. It can be hypothesized that 2SAT property can be used as a logical rule in the intelligent system. To verify this claim, 2 Satisfiability logic programming was embedded to Hopfield neural network (HNN) as a single unit. Learning in HNN will be inspired by Wan Abdullah method since the conventional Hebbian learning is inefficient when dealing with large number of constraints. As the number of 2SAT clauses increased, the efficiency and effectiveness of the learning phase in HNN deteriorates. Swarm intelligence metaheuristic algorithm has been introduced to reduce the learning complexity of the network. The newly proposed metaheuristic algorithm was enhanced ant colony optimization (ACO) algorithm. 2019-12 Thesis NonPeerReviewed application/pdf en http://eprints.usm.my/55729/1/24%20Pages%20from%20Kho%20Liew%20Ching.pdf Kho, Liew Ching (2019) Hybrid Ant Colony Optimization For Two Satisfiability Programming In Hopfield Neural Network. Masters thesis, Universiti Sains Malaysia. |
| spellingShingle | QA1 Mathematics (General) Kho, Liew Ching Hybrid Ant Colony Optimization For Two Satisfiability Programming In Hopfield Neural Network |
| title | Hybrid Ant Colony Optimization For Two Satisfiability Programming In Hopfield Neural Network |
| title_full | Hybrid Ant Colony Optimization For Two Satisfiability Programming In Hopfield Neural Network |
| title_fullStr | Hybrid Ant Colony Optimization For Two Satisfiability Programming In Hopfield Neural Network |
| title_full_unstemmed | Hybrid Ant Colony Optimization For Two Satisfiability Programming In Hopfield Neural Network |
| title_short | Hybrid Ant Colony Optimization For Two Satisfiability Programming In Hopfield Neural Network |
| title_sort | hybrid ant colony optimization for two satisfiability programming in hopfield neural network |
| topic | QA1 Mathematics (General) |
| url | http://eprints.usm.my/55729/ http://eprints.usm.my/55729/1/24%20Pages%20from%20Kho%20Liew%20Ching.pdf |