Please use this identifier to cite or link to this item:
https://ptsldigital.ukm.my/jspui/handle/123456789/579105
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Mohd Shareduwan Mohd Kasihmuddin | |
dc.contributor.author | Mohd Asyraf Mansor (USM) | |
dc.contributor.author | Saratha Sathasivam (USM) | |
dc.date.accessioned | 2023-11-06T03:14:49Z | - |
dc.date.available | 2023-11-06T03:14:49Z | - |
dc.date.issued | 2017-01 | |
dc.identifier.issn | 0128-7680 | |
dc.identifier.other | ukmvital:116457 | |
dc.identifier.uri | https://ptsldigital.ukm.my/jspui/handle/123456789/579105 | - |
dc.description | In this study, a hybrid approach that employs Hopfield neural network and a genetic algorithm in doing k-SAT problems was proposed. The Hopfield neural network was used to minimise logical inconsistency in interpreting logic clauses or programme. Hybrid optimisation made use of the global convergence advantage of the genetic algorithm to deal with learning complexity in the Hopfield network. The simulation incorporated with genetic algorithm and exhaustive search method with different k-Satisfiability (k-SAT) problems, namely, the Horn-Satisfiability (HORN-SAT), 2-Satisfiability (2-SAT) and 3-Satisfiability (3-SAT) will be developed by using Microsoft Visual C++ 2010 Express Software. The performance of both searching techniques was evaluated based on global minima ratio, hamming distance and computation time. Simulated results suggested that the genetic algorithm outperformed exhaustive search in doing k-SAT logic programming in the Hopfield network | |
dc.language.iso | en | |
dc.publisher | Universiti Putra Malaysia Press | |
dc.relation.haspart | Pertanika Journals | |
dc.relation.uri | http://www.pertanika.upm.edu.my/regular_issues.php?jtype=2&journal=JST-25-1-1 | |
dc.rights | UKM | |
dc.subject | Genetic Algorithm | |
dc.subject | Exhaustive Search | |
dc.subject | Hopfield network | |
dc.subject | Satisfiability | |
dc.subject | Logic Programming | |
dc.subject | HORN-SAT | |
dc.subject | 3-SAT | |
dc.subject | 2-SAT | |
dc.title | Hybrid genetic algorithm in the hopfield network for logic satisfiability problem | |
dc.type | Journal Article | |
dc.format.volume | 25 | |
dc.format.pages | 139-152 | |
dc.format.issue | 1 | |
Appears in Collections: | Journal Content Pages/ Kandungan Halaman Jurnal |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
ukmvital_116457+Source01+Source010.PDF | 1.12 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.