Major 3 Satisfiability logic in Discrete Hopfield Neural Network integrated with multi-objective Election Algorithm
Discrete Hopfield Neural Network is widely used in solving various optimization problems and logic mining. Boolean algebras are used to govern the Discrete Hopfield Neural Network to produce final neuron states that possess a global minimum energy solution. Non-systematic satisfiability logic is pop...
Saved in:
Published in | AIMS mathematics Vol. 8; no. 9; pp. 22447 - 22482 |
---|---|
Main Authors | , , , |
Format | Journal Article |
Language | English |
Published |
AIMS Press
01.01.2023
|
Subjects | |
Online Access | Get full text |
ISSN | 2473-6988 2473-6988 |
DOI | 10.3934/math.20231145 |
Cover
Abstract | Discrete Hopfield Neural Network is widely used in solving various optimization problems and logic mining. Boolean algebras are used to govern the Discrete Hopfield Neural Network to produce final neuron states that possess a global minimum energy solution. Non-systematic satisfiability logic is popular due to the flexibility that it provides to the logical structure compared to systematic satisfiability. Hence, this study proposed a non-systematic majority logic named Major 3 Satisfiability logic that will be embedded in the Discrete Hopfield Neural Network. The model will be integrated with an evolutionary algorithm which is the multi-objective Election Algorithm in the training phase to increase the optimality of the learning process of the model. Higher content addressable memory is proposed rather than one to extend the measure of this work capability. The model will be compared with different order logical combinations $ k = \mathrm{3, 2} $, $ k = \mathrm{3, 2}, 1 $ and $ k = \mathrm{3, 1} $. The performance of those logical combinations will be measured by Mean Absolute Error, Global Minimum Energy, Total Neuron Variation, Jaccard Similarity Index and Gower and Legendre Similarity Index. The results show that $ k = \mathrm{3, 2} $ has the best overall performance due to its advantage of having the highest chances for the clauses to be satisfied and the absence of the first-order logic. Since it is also a non-systematic logical structure, it gains the highest diversity value during the learning phase. |
---|---|
AbstractList | Discrete Hopfield Neural Network is widely used in solving various optimization problems and logic mining. Boolean algebras are used to govern the Discrete Hopfield Neural Network to produce final neuron states that possess a global minimum energy solution. Non-systematic satisfiability logic is popular due to the flexibility that it provides to the logical structure compared to systematic satisfiability. Hence, this study proposed a non-systematic majority logic named Major 3 Satisfiability logic that will be embedded in the Discrete Hopfield Neural Network. The model will be integrated with an evolutionary algorithm which is the multi-objective Election Algorithm in the training phase to increase the optimality of the learning process of the model. Higher content addressable memory is proposed rather than one to extend the measure of this work capability. The model will be compared with different order logical combinations $ k = \mathrm{3, 2} $, $ k = \mathrm{3, 2}, 1 $ and $ k = \mathrm{3, 1} $. The performance of those logical combinations will be measured by Mean Absolute Error, Global Minimum Energy, Total Neuron Variation, Jaccard Similarity Index and Gower and Legendre Similarity Index. The results show that $ k = \mathrm{3, 2} $ has the best overall performance due to its advantage of having the highest chances for the clauses to be satisfied and the absence of the first-order logic. Since it is also a non-systematic logical structure, it gains the highest diversity value during the learning phase. |
Author | Zamri, Nur Ezlin Roslan, Muhammad Aqmar Fiqhi Kasihmuddin, Mohd Shareduwan Mohd Mansor, Mohd. Asyraf |
Author_xml | – sequence: 1 givenname: Muhammad Aqmar Fiqhi surname: Roslan fullname: Roslan, Muhammad Aqmar Fiqhi organization: School of Mathematical Sciences, Universiti Sains Malaysia, 11800 USM, Penang, Malaysia – sequence: 2 givenname: Nur Ezlin surname: Zamri fullname: Zamri, Nur Ezlin organization: School of Distance Education, Universiti Sains Malaysia, 11800 USM, Penang, Malaysia – sequence: 3 givenname: Mohd. Asyraf surname: Mansor fullname: Mansor, Mohd. Asyraf organization: School of Distance Education, Universiti Sains Malaysia, 11800 USM, Penang, Malaysia – sequence: 4 givenname: Mohd Shareduwan Mohd surname: Kasihmuddin fullname: Kasihmuddin, Mohd Shareduwan Mohd organization: School of Mathematical Sciences, Universiti Sains Malaysia, 11800 USM, Penang, Malaysia |
BookMark | eNp9kc1u2zAQhIkiAeo6PvbOF5DDP1HiMUjcJIDTHpqciRW1sunSokHRNfz2kesmKAq0px0s5psFdj6Riz72SMhnzubSSHW9hbyeCyYk56r8QCZCVbLQpq4v_tAfyWwYNowxwYUSlZqQ4Qk2MVFJv0P2Q-eh8cHnIw1x5R31Pb3zg0uYkT7EXecxtPQr7hOEceRDTD9GT8ZVgowtPfi8ptt9yL6IzQZd9j-RLsJJxJ7ehFVMo2N7RS47CAPOfs8pefmyeL59KJbf7h9vb5aFkzXPhcTaScRGtp1WxkmhVMdQa9eUJTAnurYUjWlqwaEC07ZaNVxXrVBOl9pUXE7J4zm3jbCxu-S3kI42gre_FjGtLKTsXUBbylIJLpUSxigEAM6AVQ5ko2qjFYxZ83PWvt_B8QAhvAdyZk8N2FMD9q2BEZBnwKU4DAk763yG0yNyAh_-SRV_Uf-_8goLbJyC |
CitedBy_id | crossref_primary_10_3934_math_2024591 crossref_primary_10_3934_math_20241444 |
Cites_doi | 10.1109/access.2021.3068998 10.1016/j.advengsoft.2022.103355 10.1007/s10661-020-08726-z 10.3390/pr8050568 10.32604/cmc.2022.017789 10.1007/bf00339943 10.1063/1.4995911 10.1016/j.heliyon.2023.e13034 10.1016/j.wasman.2020.04.057 10.1109/TITS.2021.3115153 10.1016/j.tins.2022.12.008 10.1016/j.enbuild.2012.04.012 10.1109/TNNLS.2020.2979920 10.3390/en16031434 10.1016/j.anucene.2023.109684 10.3390/math10060915 10.1016/j.jksuci.2022.08.026 10.31577/cai_2019_6_1444 10.1016/j.advengsoft.2022.103169 10.3390/pr9081292 10.3390/math10071129 10.1080/00207160.2021.1939870 10.3390/math10121963 10.3390/e23010040 10.1016/j.swevo.2023.101256 10.1186/s13638-020-01692-7 10.1002/int.4550070604 10.1016/j.cma.2020.113609 10.1016/s0731-7085(99)00272-1 10.3390/e22060596 10.1016/j.jclepro.2022.135738 10.3233/aic-140652 |
ContentType | Journal Article |
DBID | AAYXX CITATION ADTOC UNPAY DOA |
DOI | 10.3934/math.20231145 |
DatabaseName | CrossRef Unpaywall for CDI: Periodical Content Unpaywall DOAJ Directory of Open Access Journals |
DatabaseTitle | CrossRef |
DatabaseTitleList | CrossRef |
Database_xml | – sequence: 1 dbid: DOA name: DOAJ Directory of Open Access Journals url: https://www.doaj.org/ sourceTypes: Open Website – sequence: 2 dbid: UNPAY name: Unpaywall url: https://proxy.k.utb.cz/login?url=https://unpaywall.org/ sourceTypes: Open Access Repository |
DeliveryMethod | fulltext_linktorsrc |
Discipline | Mathematics |
EISSN | 2473-6988 |
EndPage | 22482 |
ExternalDocumentID | oai_doaj_org_article_5354213442994eaaa10a07ca3b48964a 10.3934/math.20231145 10_3934_math_20231145 |
GroupedDBID | AAYXX ADBBV ALMA_UNASSIGNED_HOLDINGS AMVHM BCNDV CITATION EBS FRJ GROUPED_DOAJ IAO ITC M~E OK1 RAN ADTOC UNPAY |
ID | FETCH-LOGICAL-c381t-3e8c3eeb3df649c3244f0e66cb55a0c2fd52b9b821a7a9dd64b167d24c6569713 |
IEDL.DBID | DOA |
ISSN | 2473-6988 |
IngestDate | Wed Aug 27 01:29:11 EDT 2025 Mon Sep 15 10:20:56 EDT 2025 Thu Apr 24 23:02:38 EDT 2025 Tue Jul 01 03:57:04 EDT 2025 |
IsDoiOpenAccess | true |
IsOpenAccess | true |
IsPeerReviewed | true |
IsScholarly | true |
Issue | 9 |
Language | English |
License | cc-by |
LinkModel | DirectLink |
MergedId | FETCHMERGED-LOGICAL-c381t-3e8c3eeb3df649c3244f0e66cb55a0c2fd52b9b821a7a9dd64b167d24c6569713 |
OpenAccessLink | https://doaj.org/article/5354213442994eaaa10a07ca3b48964a |
PageCount | 36 |
ParticipantIDs | doaj_primary_oai_doaj_org_article_5354213442994eaaa10a07ca3b48964a unpaywall_primary_10_3934_math_20231145 crossref_citationtrail_10_3934_math_20231145 crossref_primary_10_3934_math_20231145 |
ProviderPackageCode | CITATION AAYXX |
PublicationCentury | 2000 |
PublicationDate | 2023-01-01 |
PublicationDateYYYYMMDD | 2023-01-01 |
PublicationDate_xml | – month: 01 year: 2023 text: 2023-01-01 day: 01 |
PublicationDecade | 2020 |
PublicationTitle | AIMS mathematics |
PublicationYear | 2023 |
Publisher | AIMS Press |
Publisher_xml | – name: AIMS Press |
References | key-10.3934/math.20231145-12 key-10.3934/math.20231145-34 key-10.3934/math.20231145-11 key-10.3934/math.20231145-33 key-10.3934/math.20231145-10 key-10.3934/math.20231145-32 key-10.3934/math.20231145-31 key-10.3934/math.20231145-30 key-10.3934/math.20231145-19 key-10.3934/math.20231145-18 key-10.3934/math.20231145-17 key-10.3934/math.20231145-16 key-10.3934/math.20231145-15 key-10.3934/math.20231145-14 key-10.3934/math.20231145-36 key-10.3934/math.20231145-13 key-10.3934/math.20231145-35 key-10.3934/math.20231145-23 key-10.3934/math.20231145-22 key-10.3934/math.20231145-21 key-10.3934/math.20231145-20 key-10.3934/math.20231145-1 key-10.3934/math.20231145-29 key-10.3934/math.20231145-28 key-10.3934/math.20231145-5 key-10.3934/math.20231145-27 key-10.3934/math.20231145-4 key-10.3934/math.20231145-26 key-10.3934/math.20231145-3 key-10.3934/math.20231145-25 key-10.3934/math.20231145-2 key-10.3934/math.20231145-24 key-10.3934/math.20231145-9 key-10.3934/math.20231145-8 key-10.3934/math.20231145-7 key-10.3934/math.20231145-6 |
References_xml | – ident: key-10.3934/math.20231145-11 doi: 10.1109/access.2021.3068998 – ident: key-10.3934/math.20231145-23 doi: 10.1016/j.advengsoft.2022.103355 – ident: key-10.3934/math.20231145-33 doi: 10.1007/s10661-020-08726-z – ident: key-10.3934/math.20231145-16 doi: 10.3390/pr8050568 – ident: key-10.3934/math.20231145-31 doi: 10.32604/cmc.2022.017789 – ident: key-10.3934/math.20231145-3 doi: 10.1007/bf00339943 – ident: key-10.3934/math.20231145-8 doi: 10.1063/1.4995911 – ident: key-10.3934/math.20231145-17 doi: 10.1016/j.heliyon.2023.e13034 – ident: key-10.3934/math.20231145-1 doi: 10.1016/j.wasman.2020.04.057 – ident: key-10.3934/math.20231145-12 – ident: key-10.3934/math.20231145-36 doi: 10.1109/TITS.2021.3115153 – ident: key-10.3934/math.20231145-35 – ident: key-10.3934/math.20231145-26 doi: 10.1016/j.tins.2022.12.008 – ident: key-10.3934/math.20231145-28 doi: 10.1016/j.enbuild.2012.04.012 – ident: key-10.3934/math.20231145-32 doi: 10.1109/TNNLS.2020.2979920 – ident: key-10.3934/math.20231145-21 doi: 10.3390/en16031434 – ident: key-10.3934/math.20231145-25 doi: 10.1016/j.anucene.2023.109684 – ident: key-10.3934/math.20231145-19 doi: 10.3390/math10060915 – ident: key-10.3934/math.20231145-18 doi: 10.1016/j.jksuci.2022.08.026 – ident: key-10.3934/math.20231145-15 doi: 10.31577/cai_2019_6_1444 – ident: key-10.3934/math.20231145-20 doi: 10.1016/j.advengsoft.2022.103169 – ident: key-10.3934/math.20231145-7 doi: 10.3390/pr9081292 – ident: key-10.3934/math.20231145-27 doi: 10.3390/math10071129 – ident: key-10.3934/math.20231145-5 doi: 10.1080/00207160.2021.1939870 – ident: key-10.3934/math.20231145-6 doi: 10.3390/math10121963 – ident: key-10.3934/math.20231145-22 doi: 10.3390/e23010040 – ident: key-10.3934/math.20231145-13 doi: 10.1016/j.swevo.2023.101256 – ident: key-10.3934/math.20231145-9 – ident: key-10.3934/math.20231145-34 doi: 10.1186/s13638-020-01692-7 – ident: key-10.3934/math.20231145-4 doi: 10.1002/int.4550070604 – ident: key-10.3934/math.20231145-29 doi: 10.1016/j.cma.2020.113609 – ident: key-10.3934/math.20231145-2 doi: 10.1016/s0731-7085(99)00272-1 – ident: key-10.3934/math.20231145-10 doi: 10.3390/e22060596 – ident: key-10.3934/math.20231145-30 doi: 10.1016/j.jclepro.2022.135738 – ident: key-10.3934/math.20231145-24 – ident: key-10.3934/math.20231145-14 doi: 10.3233/aic-140652 |
SSID | ssj0002124274 |
Score | 2.230812 |
Snippet | Discrete Hopfield Neural Network is widely used in solving various optimization problems and logic mining. Boolean algebras are used to govern the Discrete... |
SourceID | doaj unpaywall crossref |
SourceType | Open Website Open Access Repository Enrichment Source Index Database |
StartPage | 22447 |
SubjectTerms | discrete hopfield neural network election algorithm flexible logical rule major 3 satisfiability logic non-systematic logic |
SummonAdditionalLinks | – databaseName: Unpaywall dbid: UNPAY link: http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1Lb9QwELagPUAPtLzE0od8QOWCSxKPnfi4faxWSLtCKiuVU-RX0JaQrLa7QuXXM06yUQEVuEXROLH82TOf7fFnQt4AOjyuXMy4jDIG3iuWOVkw0EIlOEJM1qjzT6ZyPIMPV-KqS6IJZ2Hu7N9zxeE90rawZYAsJAbxkGxLDNDYnbdn04_Dz-HiOEg5kyrLWv3MP8v8Em8aWf4d8mhdLfTtd12Wd2LJaJeMNrVoU0i-nqxX5sT--E2g8Z_V3CNPOjZJhy38T8kDXz0jO5NeivXmObmZ6Ot6STm9bM4xzFtd7lva-Dw6r-j5HD0HUmc6rhdNPhsNgh341WmbIU57RQlHw6otbXIQWW2uW19JL8omnauiw_JLvUSLby_IbHTx6WzMupsWmMWIvWLcZ5Z7nFe7QoKySLKgiLyU1gihI5sUTiQGcUtinWrlnAQTy9QlYJEOKkT7Jdmq6sq_IjTROAEsMsTFOyi4M6CD4ksE1qdCi2JA3m3wyG0nQx5uwyhznI6EtsxDW-abthyQ49580epv3Gd4GsDtjYJsdvMCYcq7UZgLLiBI2IUgDF5rHUc6Sq3mBjIlQQ_I275r_P13r__bcp88Do_tss0B2Vot1_4QiczKHHXd-CcVyO8O priority: 102 providerName: Unpaywall |
Title | Major 3 Satisfiability logic in Discrete Hopfield Neural Network integrated with multi-objective Election Algorithm |
URI | https://doi.org/10.3934/math.20231145 https://doaj.org/article/5354213442994eaaa10a07ca3b48964a |
UnpaywallVersion | publishedVersion |
Volume | 8 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
journalDatabaseRights | – providerCode: PRVAON databaseName: DOAJ Directory of Open Access Journals customDbUrl: eissn: 2473-6988 dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0002124274 issn: 2473-6988 databaseCode: DOA dateStart: 20160101 isFulltext: true titleUrlDefault: https://www.doaj.org/ providerName: Directory of Open Access Journals – providerCode: PRVHPJ databaseName: ROAD: Directory of Open Access Scholarly Resources customDbUrl: eissn: 2473-6988 dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0002124274 issn: 2473-6988 databaseCode: M~E dateStart: 20160101 isFulltext: true titleUrlDefault: https://road.issn.org providerName: ISSN International Centre |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV1Na-MwEBWle2hzWHb7wWY_ig6lvdTEtkaydcxuW0IhodAG2pORJXlJ8NohSVn673ckpSaXdi-9mkEyM-OnN_LoiZBTQMBj0iQRE3EegbUyyo2oIlBcpviFlLlX5x9PxGgKNw_8YeuqL9cTFuSBg-MGnHFwqmMON8EqpZJYxZlWrIRcCvDUKJbxVjHlMBgBGbDeCqKaTDIYIP9z_x6QziTu6NLWIuS1-ntk76lZqOe_qq63FpjrT-TjhhnSYXijz2THNgekN-5kVVeHZDVW83ZJGb3zZxJmQWP7mXr8orOGXs4QBZAG01G78L1p1Ilv4KiT0O1NO3UIQ90OLPX9hFFbzgPu0avat2Y1dFj_bpdo8eeITK-v7n-Nos2tCZHG1XcdMZtrZrFGNpUAqZEwQRVbIXTJuYp1WhmelhiDNFGZksYIKBORmRQ0UjuJkTsmu03b2C-EpgqLuSpPIbMGKmZKUE69JQZtM6541ScXL24s9EZS3N1sURdYWjivF87rxYvX--SsM18ELY3XDH-6mHRGTgLbP8DEKDaJUfwvMfrkvIvo29N9fY_pvpF9N17YnflOdtfLJ_sD-cq6PPGpeUI-TCe3w8d_WZro4A |
linkProvider | Directory of Open Access Journals |
linkToUnpaywall | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1Lb9QwELagPUAPtLzE0od8QOWCSxKPnfi4faxWSLtCKiuVU-RX0JaQrLa7QuXXM06yUQEVuEXROLH82TOf7fFnQt4AOjyuXMy4jDIG3iuWOVkw0EIlOEJM1qjzT6ZyPIMPV-KqS6IJZ2Hu7N9zxeE90rawZYAsJAbxkGxLDNDYnbdn04_Dz-HiOEg5kyrLWv3MP8v8Em8aWf4d8mhdLfTtd12Wd2LJaJeMNrVoU0i-nqxX5sT--E2g8Z_V3CNPOjZJhy38T8kDXz0jO5NeivXmObmZ6Ot6STm9bM4xzFtd7lva-Dw6r-j5HD0HUmc6rhdNPhsNgh341WmbIU57RQlHw6otbXIQWW2uW19JL8omnauiw_JLvUSLby_IbHTx6WzMupsWmMWIvWLcZ5Z7nFe7QoKySLKgiLyU1gihI5sUTiQGcUtinWrlnAQTy9QlYJEOKkT7Jdmq6sq_IjTROAEsMsTFOyi4M6CD4ksE1qdCi2JA3m3wyG0nQx5uwyhznI6EtsxDW-abthyQ49580epv3Gd4GsDtjYJsdvMCYcq7UZgLLiBI2IUgDF5rHUc6Sq3mBjIlQQ_I275r_P13r__bcp88Do_tss0B2Vot1_4QiczKHHXd-CcVyO8O |
openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Major+3+Satisfiability+logic+in+Discrete+Hopfield+Neural+Network+integrated+with+multi-objective+Election+Algorithm&rft.jtitle=AIMS+mathematics&rft.au=Roslan%2C+Muhammad+Aqmar+Fiqhi&rft.au=Zamri%2C+Nur+Ezlin&rft.au=Mansor%2C+Mohd.+Asyraf&rft.au=Kasihmuddin%2C+Mohd+Shareduwan+Mohd&rft.date=2023-01-01&rft.issn=2473-6988&rft.eissn=2473-6988&rft.volume=8&rft.issue=9&rft.spage=22447&rft.epage=22482&rft_id=info:doi/10.3934%2Fmath.20231145&rft.externalDBID=n%2Fa&rft.externalDocID=10_3934_math_20231145 |
thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2473-6988&client=summon |
thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2473-6988&client=summon |
thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2473-6988&client=summon |