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...
محفوظ في:
المؤلف الرئيسي: | |
---|---|
التنسيق: | أطروحة |
اللغة: | English |
منشور في: |
2017
|
الموضوعات: | |
الوصول للمادة أونلاين: | http://eprints.usm.my/45423/1/MOHD.%20ASYRAF%20MANSOR.pdf |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
id |
my-usm-ep.45423 |
---|---|
record_format |
uketd_dc |
spelling |
my-usm-ep.454232019-09-17T01:54:07Z Enhanced Hopfield Neural Networks With Artificial Immune System Algorithm For Satisfiability Logic Programming 2017-08 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 http://eprints.usm.my/45423/ http://eprints.usm.my/45423/1/MOHD.%20ASYRAF%20MANSOR.pdf application/pdf en public phd doctoral Universiti Sains Malaysia Pusat Pengajian Sains Matematik |
institution |
Universiti Sains Malaysia |
collection |
USM Institutional Repository |
language |
English |
topic |
QA1-939 Mathematics |
spellingShingle |
QA1-939 Mathematics Mansor, Mohd. Asyraf Enhanced Hopfield Neural Networks With Artificial Immune System Algorithm For Satisfiability Logic Programming |
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. |
format |
Thesis |
qualification_name |
Doctor of Philosophy (PhD.) |
qualification_level |
Doctorate |
author |
Mansor, Mohd. Asyraf |
author_facet |
Mansor, Mohd. Asyraf |
author_sort |
Mansor, Mohd. Asyraf |
title |
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_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_sort |
enhanced hopfield neural networks with artificial immune system algorithm for satisfiability logic programming |
granting_institution |
Universiti Sains Malaysia |
granting_department |
Pusat Pengajian Sains Matematik |
publishDate |
2017 |
url |
http://eprints.usm.my/45423/1/MOHD.%20ASYRAF%20MANSOR.pdf |
_version_ |
1747821507924459520 |