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...

Full description

Saved in:
Bibliographic Details
Published inAIMS mathematics Vol. 8; no. 9; pp. 22447 - 22482
Main Authors Roslan, Muhammad Aqmar Fiqhi, Zamri, Nur Ezlin, Mansor, Mohd. Asyraf, Kasihmuddin, Mohd Shareduwan Mohd
Format Journal Article
LanguageEnglish
Published AIMS Press 01.01.2023
Subjects
Online AccessGet full text
ISSN2473-6988
2473-6988
DOI10.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