封面圖片

Discrete hopfield neural network in restricted maximum k-satisfiability logic programming

Maximum k-Satisfiability (MAX-kSAT) consists of the most consistent interpretation that generate the maximum number of satisfied clauses. MAX-kSAT is an important logic representation in logic programming since not all combinatorial problem is satisfiable in nature. This paper presents Hopfield Neur...

全面介紹

Saved in:
書目詳細資料
Main Authors: Mohd Shareduwan Mohd Kasihmuddin,, Mohd Asyraf Mansor,, Saratha Sathasivam,
格式: Article
語言:English
出版: Penerbit Universiti Kebangsaan Malaysia 2018
在線閱讀:http://journalarticle.ukm.my/12139/1/30%20Mohd%20Shareduwan%20Mohd%20Kasihmuddin.pdf
http://journalarticle.ukm.my/12139/
http://www.ukm.my/jsm/english_journals/vol47num6_2018/contentsVol47num6_2018.html
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!
id my-ukm.journal.12139
record_format eprints
spelling my-ukm.journal.121392018-09-25T01:34:20Z http://journalarticle.ukm.my/12139/ Discrete hopfield neural network in restricted maximum k-satisfiability logic programming Mohd Shareduwan Mohd Kasihmuddin, Mohd Asyraf Mansor, Saratha Sathasivam, Maximum k-Satisfiability (MAX-kSAT) consists of the most consistent interpretation that generate the maximum number of satisfied clauses. MAX-kSAT is an important logic representation in logic programming since not all combinatorial problem is satisfiable in nature. This paper presents Hopfield Neural Network based on MAX-kSAT logical rule. Learning of Hopfield Neural Network will be integrated with Wan Abdullah method and Sathasivam relaxation method to obtain the correct final state of the neurons. The computer simulation shows that MAX-kSAT can be embedded optimally in Hopfield Neural Network. Penerbit Universiti Kebangsaan Malaysia 2018-06 Article PeerReviewed application/pdf en http://journalarticle.ukm.my/12139/1/30%20Mohd%20Shareduwan%20Mohd%20Kasihmuddin.pdf Mohd Shareduwan Mohd Kasihmuddin, and Mohd Asyraf Mansor, and Saratha Sathasivam, (2018) Discrete hopfield neural network in restricted maximum k-satisfiability logic programming. Sains Malaysiana, 47 (6). pp. 1327-1335. ISSN 0126-6039 http://www.ukm.my/jsm/english_journals/vol47num6_2018/contentsVol47num6_2018.html
institution Universiti Kebangsaan Malaysia
building Perpustakaan Tun Sri Lanang Library
collection Institutional Repository
continent Asia
country Malaysia
content_provider Universiti Kebangsaan Malaysia
content_source UKM Journal Article Repository
url_provider http://journalarticle.ukm.my/
language English
description Maximum k-Satisfiability (MAX-kSAT) consists of the most consistent interpretation that generate the maximum number of satisfied clauses. MAX-kSAT is an important logic representation in logic programming since not all combinatorial problem is satisfiable in nature. This paper presents Hopfield Neural Network based on MAX-kSAT logical rule. Learning of Hopfield Neural Network will be integrated with Wan Abdullah method and Sathasivam relaxation method to obtain the correct final state of the neurons. The computer simulation shows that MAX-kSAT can be embedded optimally in Hopfield Neural Network.
format Article
author Mohd Shareduwan Mohd Kasihmuddin,
Mohd Asyraf Mansor,
Saratha Sathasivam,
spellingShingle Mohd Shareduwan Mohd Kasihmuddin,
Mohd Asyraf Mansor,
Saratha Sathasivam,
Discrete hopfield neural network in restricted maximum k-satisfiability logic programming
author_facet Mohd Shareduwan Mohd Kasihmuddin,
Mohd Asyraf Mansor,
Saratha Sathasivam,
author_sort Mohd Shareduwan Mohd Kasihmuddin,
title Discrete hopfield neural network in restricted maximum k-satisfiability logic programming
title_short Discrete hopfield neural network in restricted maximum k-satisfiability logic programming
title_full Discrete hopfield neural network in restricted maximum k-satisfiability logic programming
title_fullStr Discrete hopfield neural network in restricted maximum k-satisfiability logic programming
title_full_unstemmed Discrete hopfield neural network in restricted maximum k-satisfiability logic programming
title_sort discrete hopfield neural network in restricted maximum k-satisfiability logic programming
publisher Penerbit Universiti Kebangsaan Malaysia
publishDate 2018
url http://journalarticle.ukm.my/12139/1/30%20Mohd%20Shareduwan%20Mohd%20Kasihmuddin.pdf
http://journalarticle.ukm.my/12139/
http://www.ukm.my/jsm/english_journals/vol47num6_2018/contentsVol47num6_2018.html
_version_ 1643738704232054784
score 13.250246

相似書籍