{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T13:45:16Z","timestamp":1767015916537,"version":"3.40.4"},"reference-count":57,"publisher":"Oxford University Press (OUP)","issue":"4","license":[{"start":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T00:00:00Z","timestamp":1744156800000},"content-version":"vor","delay-in-days":11,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62162006"],"award-info":[{"award-number":["62162006"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Guangxi University Young and Middle-aged Teachers\u2019 Research Capacity Enhancement Project","award":["2021KY0907","2021KY0378","2023KY1293"],"award-info":[{"award-number":["2021KY0907","2021KY0378","2023KY1293"]}]},{"name":"Guangxi Key Laboratory of Seaward Economic Intelligent System Analysis and Decision-making","award":["2024C013"],"award-info":[{"award-number":["2024C013"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,3,29]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>This study introduces a novel non-systematic logical structure, termed B-type Random 2-Satisfiability, which incorporates non-redundant first- and second-order clauses, as well as redundant second-order clauses. The proposed logical rule is implemented in the discrete Hopfield neural network using the Wan Abdullah method, with the corresponding cost function minimized through an exhaustive search algorithm to reduce the inconsistency of the logical rules. The inclusion of redundant literals is intended to enhance the capacity of the model to extract overlapping knowledge. Additionally, the performance of B-type Random 2-Satisfiability with varying clause proportions in the discrete Hopfield neural network is evaluated using various metrics, including learning error, retrieval error, weight error, energy analysis, and similarity analysis. Experimental results indicate that the model demonstrates superior efficiency in synaptic weight management and offers a broader solution space when the number of the three types of clauses is selected randomly.<\/jats:p>","DOI":"10.1093\/jcde\/qwaf039","type":"journal-article","created":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T02:57:43Z","timestamp":1744167463000},"page":"185-204","source":"Crossref","is-referenced-by-count":1,"title":["BRAN2SAT: Redundant satisfiability logic in Lyapunov-based discrete Hopfield neural network"],"prefix":"10.1093","volume":"12","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-6516-4733","authenticated-orcid":false,"given":"Binbin","family":"Yang","sequence":"first","affiliation":[{"name":"Guangxi Key Laboratory of Big Data in Finance and Economics, Guangxi University of Finance and Economics , Nanning 530003 ,","place":["China"]},{"name":"School of Big Data and Artificial Intelligence, Guangxi University of Finance and Economics , Nanning 530003 ,","place":["China"]},{"name":"School of Mathematical Sciences, Universiti Sains Malaysia , Penang, 11800, USM ,","place":["Malaysia"]}]},{"given":"Guoxiang","family":"Li","sequence":"additional","affiliation":[{"name":"Network and Information Technology Center, Guangxi University of Finance and Economics , Nanning 530007 ,","place":["China"]},{"name":"Key Lab of Education Blockchain and Intelligent Technology, Ministry of Education, Guangxi Normal University , Guilin 541004 ,","place":["China"]}]},{"given":"Adila Aida","family":"Azahar","sequence":"additional","affiliation":[{"name":"School of Mathematical Sciences, Universiti Sains Malaysia , Penang, 11800, USM ,","place":["Malaysia"]}]},{"given":"Mohd Shareduwan Mohd","family":"Kasihmuddin","sequence":"additional","affiliation":[{"name":"School of Mathematical Sciences, Universiti Sains Malaysia , Penang, 11800, USM ,","place":["Malaysia"]}]},{"given":"Yuan","family":"Gao","sequence":"additional","affiliation":[{"name":"School of Mathematical Sciences, Universiti Sains Malaysia , Penang, 11800, USM ,","place":["Malaysia"]},{"name":"School of Medical Information Engineering, Chengdu University of Traditional Chinese Medicine , Chengdu 610037 ,","place":["China"]}]},{"given":"Suad","family":"Abdeen","sequence":"additional","affiliation":[{"name":"School of Mathematical Sciences, Universiti Sains Malaysia , Penang, 11800, USM ,","place":["Malaysia"]}]},{"given":"Baorong","family":"Yu","sequence":"additional","affiliation":[{"name":"School of Economics and Finance, Guangxi International Business Vocational College , Nanning, 530007 ,","place":["China"]}]}],"member":"286","published-online":{"date-parts":[[2025,4,8]]},"reference":[{"key":"2025042305121239600_bib1","doi-asserted-by":"publisher","first-page":"984","DOI":"10.3390\/math11040984","article-title":"S-type random k satisfiability logic in discrete hopfield neural network using probability distribution: performance optimization and analysis","volume":"11","author":"Abdeen","year":"2023","journal-title":"Mathematics"},{"key":"2025042305121239600_bib2","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1002\/int.4550070604","article-title":"Logic programming on a neural network","volume":"7","author":"Abdullah","year":"1992","journal-title":"International Journal of Intelligent Systems"},{"key":"2025042305121239600_bib3","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1006\/jcph.1994.1029","article-title":"Seeking global minima","volume":"110","author":"Abdullah","year":"1994","journal-title":"Journal of Computational Physics"},{"key":"2025042305121239600_bib4","doi-asserted-by":"publisher","first-page":"110296","DOI":"10.1016\/j.asoc.2023.110296","article-title":"Genetic algorithms as classical optimizer for the quantum approximate optimization algorithm","volume":"142","author":"Acampora","year":"2023","journal-title":"Applied Soft Computing"},{"key":"2025042305121239600_bib5","doi-asserted-by":"publisher","first-page":"106842","DOI":"10.1016\/j.knosys.2021.106842","article-title":"Enhancing recommendation systems performance using highly-effective similarity measures","volume":"217","author":"Amer","year":"2021","journal-title":"Knowledge-Based Systems"},{"key":"2025042305121239600_bib6","first-page":"39","article-title":"Long-term electricity load forecasting based on cascade forward backpropagation neural network","volume":"12","author":"Aribowo","year":"2020","journal-title":"Journal of Telecommunication, Electronic and Computer Engineering (JTEC)"},{"key":"2025042305121239600_bib7","doi-asserted-by":"publisher","first-page":"10076","DOI":"10.1109\/TPAMI.2024.3435571","article-title":"Medical image segmentation review: the success of u-net","volume":"46(12)","author":"Azad","year":"2024","journal-title":"IEEE Transactions on Pattern Analysis and Machine Intelligence"},{"key":"2025042305121239600_bib8","doi-asserted-by":"publisher","first-page":"103355","DOI":"10.1016\/j.advengsoft.2022.103355","article-title":"Pro2sat: Systematic probabilistic satisfiability logic in discrete hopfield neural network","volume":"175","author":"Chen","year":"2023","journal-title":"Advances in Engineering Software"},{"key":"2025042305121239600_bib9","doi-asserted-by":"publisher","first-page":"6629","DOI":"10.1007\/s11071-024-09384-3","article-title":"Chaotic dynamical system of hopfield neural network influenced by neuron activation threshold and its image encryption","volume":"112","author":"Deng","year":"2024","journal-title":"Nonlinear Dynamics"},{"key":"2025042305121239600_bib10","doi-asserted-by":"publisher","first-page":"106547","DOI":"10.1016\/j.agwat.2020.106547","article-title":"Estimation of daily maize transpiration using support vector machines, extreme gradient boosting, artificial and deep neural networks models","volume":"245","author":"Fan","year":"2021","journal-title":"Agricultural Water Management"},{"key":"2025042305121239600_bib11","doi-asserted-by":"publisher","first-page":"102839","DOI":"10.1016\/j.rcim.2024.102839","article-title":"Time-series classification in smart manufacturing systems: An experimental evaluation of state-of-the-art machine learning algorithms","volume":"91","author":"Farahani","year":"2025","journal-title":"Robotics and Computer-Integrated Manufacturing"},{"key":"2025042305121239600_bib12","doi-asserted-by":"publisher","first-page":"120868","DOI":"10.1016\/j.ins.2024.120868","article-title":"Stochastic configuration networks with particle swarm optimisation search","volume-title":"Information Sciences","author":"Felicetti","year":"2024"},{"key":"2025042305121239600_bib13","doi-asserted-by":"publisher","first-page":"1899","DOI":"10.3390\/math10111899","article-title":"Gran3sat: Creating flexible higher-order logic satisfiability in the discrete hopfield neural network","volume":"10","author":"Gao","year":"2022","journal-title":"Mathematics"},{"key":"2025042305121239600_bib14","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1039\/C9SC03854J","article-title":"Impression\u2013prediction of nmr parameters for 3-dimensional chemical structures using machine learning with near quantum chemical accuracy","volume":"11","author":"Gerrard","year":"2020","journal-title":"Chemical Science"},{"key":"2025042305121239600_bib15","doi-asserted-by":"publisher","first-page":"103537","DOI":"10.1016\/j.artint.2021.103537","article-title":"Popularity-similarity random sat formulas","volume":"299","author":"Gir\u00e1ldez-Cru","year":"2021","journal-title":"Artificial Intelligence"},{"key":"2025042305121239600_bib16","doi-asserted-by":"publisher","first-page":"103169","DOI":"10.1016\/j.advengsoft.2022.103169","article-title":"Yran2sat: a novel flexible random satisfiability logical rule in discrete hopfield neural network","volume":"171","author":"Guo","year":"2022","journal-title":"Advances in Engineering Software"},{"key":"2025042305121239600_bib17","first-page":"41","article-title":"Encoding redundancy for satisfaction-driven clause learning","volume-title":"Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems","author":"Heule","year":"2019"},{"key":"2025042305121239600_bib18","doi-asserted-by":"publisher","first-page":"2554","DOI":"10.1073\/pnas.79.8.2554","article-title":"Neural networks and physical systems with emergent collective computational abilities","volume":"79","author":"Hopfield","year":"1982","journal-title":"Proceedings of the National Academy of Sciences"},{"key":"2025042305121239600_bib19","doi-asserted-by":"publisher","first-page":"S431","DOI":"10.1103\/RevModPhys.71.S431","article-title":"Brain, neural networks, and computation","volume":"71","author":"Hopfield","year":"1999","journal-title":"Reviews of Modern Physics"},{"key":"2025042305121239600_bib20","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BF00339943","article-title":"\u201cneural\u201d computation of decisions in optimization problems","volume":"52","author":"Hopfield","year":"1985","journal-title":"Biological Cybernetics"},{"key":"2025042305121239600_bib21","doi-asserted-by":"publisher","first-page":"50831","DOI":"10.1109\/ACCESS.2021.3068998","article-title":"Random satisfiability: a higher-order logical approach in discrete hopfield neural network","volume":"9","author":"Karim","year":"2021","journal-title":"IEEE Access"},{"key":"2025042305121239600_bib24","doi-asserted-by":"publisher","first-page":"1133","DOI":"10.3390\/math7111133","article-title":"Discrete mutation hopfield neural network in propositional satisfiability","volume":"7","author":"Kasihmuddin","year":"2019","journal-title":"Mathematics"},{"key":"2025042305121239600_bib22","first-page":"139","article-title":"Hybrid genetic algorithm in the hopfield network for logic satisfiability problem","volume":"25","author":"Kasihmuddin","year":"2017","journal-title":"Pertanika Journal of Science & Technology"},{"key":"2025042305121239600_bib23","doi-asserted-by":"publisher","first-page":"1327","DOI":"10.17576\/jsm-2018-4706-30","article-title":"Discrete hopfield neural network in restricted maximum k-satisfiability logic programming","volume":"47","author":"Kasihmuddin","year":"2018","journal-title":"Sains Malaysiana"},{"key":"2025042305121239600_bib25","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1016\/j.asoc.2009.07.012","article-title":"Comparing the performance of the genetic and local search algorithms for solving the satisfiability problems","volume":"10","author":"Kilani","year":"2010","journal-title":"Applied Soft Computing"},{"key":"2025042305121239600_bib26","doi-asserted-by":"publisher","first-page":"2384","DOI":"10.1093\/jcde\/qwad106","article-title":"Brepgat: Graph neural network to segment machining feature faces in a b-rep model","volume":"10","author":"Lee","year":"2023","journal-title":"Journal of Computational Design and Engineering"},{"key":"2025042305121239600_bib27","doi-asserted-by":"publisher","first-page":"1547","DOI":"10.1093\/jcde\/qwad071","article-title":"Adaptive neural network ensemble using prediction frequency","volume":"10","author":"Lee","year":"2023","journal-title":"Journal of Computational Design and Engineering"},{"key":"2025042305121239600_bib28","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/j.artint.2007.06.003","article-title":"Redundancy in logic ii: 2cnf and horn propositional formulae","volume":"172","author":"Liberatore","year":"2008","journal-title":"Artificial Intelligence"},{"key":"2025042305121239600_bib29","doi-asserted-by":"publisher","first-page":"171387","DOI":"10.1016\/j.ijleo.2023.171387","article-title":"A 4d discrete hopfield neural network-based image encryption scheme with multiple diffusion modes","volume":"291","author":"Ma","year":"2023","journal-title":"Optik"},{"key":"2025042305121239600_bib31","first-page":"1173","article-title":"Artificial immune system paradigm in the hopfield network for 3-satisfiability problem","volume":"25","author":"Mansor","year":"2017","journal-title":"Pertanika Journal of Science & Technology"},{"key":"2025042305121239600_bib30","first-page":"963","article-title":"Optimal performance evaluation metrics for satisfiability logic representation in discrete hopfield neural network","volume":"16","author":"Mansor","year":"2021","journal-title":"International Journal of Mathematics and Computer Science"},{"key":"2025042305121239600_bib32","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/A:1006326723002","article-title":"Logical cryptanalysis as a sat problem","volume":"24","author":"Massacci","year":"2000","journal-title":"Journal of Automated Reasoning"},{"key":"2025042305121239600_bib33","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1126\/science.1073287","article-title":"Analytic and algorithmic solution of random satisfiability problems","volume":"297","author":"M\u00e9zard","year":"2002","journal-title":"Science"},{"key":"2025042305121239600_bib34","doi-asserted-by":"publisher","first-page":"1110","DOI":"10.1093\/jcde\/qwad039","article-title":"Hybrid neural network-based metaheuristics for prediction of financial markets: a case study on global gold market","volume":"10","author":"Mousapour\u00a0Mamoudan","year":"2023","journal-title":"Journal of Computational Design and Engineering"},{"key":"2025042305121239600_bib35","doi-asserted-by":"publisher","first-page":"1429","DOI":"10.1016\/S0893-6080(96)00044-5","article-title":"Notions of associative memory and sparse coding","volume":"9","author":"Okada","year":"1996","journal-title":"Neural Networks"},{"key":"2025042305121239600_bib36","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1109\/TEVC.2011.2163638","article-title":"Maximum satisfiability: Anatomy of the fitness landscape for a hard combinatorial optimization problem","volume":"16","author":"Prugel-Bennett","year":"2011","journal-title":"IEEE Transactions on Evolutionary Computation"},{"key":"2025042305121239600_bib37","doi-asserted-by":"publisher","first-page":"121542","DOI":"10.1016\/j.eswa.2023.121542","article-title":"Nbias: A natural language processing framework for bias identification in text","volume":"237","author":"Raza","year":"2024","journal-title":"Expert Systems with Applications"},{"key":"2025042305121239600_bib38","doi-asserted-by":"crossref","first-page":"380","DOI":"10.1093\/sysbio\/45.3.380","article-title":"The probabilistic basis of jaccard\u2019s index of similarity","volume":"45","author":"Real","year":"1996","journal-title":"Systematic Biology"},{"key":"2025042305121239600_bib39","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1037\/h0042519","article-title":"The perceptron: a probabilistic model for information storage and organization in the brain","volume":"65","author":"Rosenblatt","year":"1958","journal-title":"Psychological Review"},{"key":"2025042305121239600_bib40","doi-asserted-by":"publisher","first-page":"3911","DOI":"10.3934\/math.2024193","article-title":"Conditional random k satisfiability modeling for k= 1, 2 (cran2sat) with non-monotonic smish activation function in discrete hopfield neural network","volume":"9","author":"Roslan","year":"2024","journal-title":"AIMS Mathematics"},{"key":"2025042305121239600_bib41","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1038\/323533a0","article-title":"Learning representations by back-propagating errors","volume":"323","author":"Rumelhart","year":"1986","journal-title":"Nature"},{"key":"2025042305121239600_bib42","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1093\/jcde\/qwae086","article-title":"Entropy optimization in casson tetra-hybrid nanofluid flow over a rotating disk with nonlinear thermal radiation: a levenberg\u2013marquardt neural network approach","volume":"11","author":"Sakkaravarthi","year":"2024","journal-title":"Journal of Computational Design and Engineering"},{"key":"2025042305121239600_bib43","first-page":"115","article-title":"Upgrading logic programming in hopfield network","volume":"39","author":"Sathasivam","year":"2010","journal-title":"Sains Malaysiana"},{"key":"2025042305121239600_bib44","doi-asserted-by":"crossref","first-page":"2847","DOI":"10.17576\/jsm-2020-4911-23","article-title":"Novel random k satisfiability for k \u2264 2 in hopfield neural network","volume":"49","author":"Sathasivam","year":"2020","journal-title":"Sains Malays"},{"key":"2025042305121239600_bib45","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0004-3702(01)00151-5","article-title":"Local search characteristics of incomplete sat procedures","volume":"132","author":"Schuurmans","year":"2001","journal-title":"Artificial Intelligence"},{"key":"2025042305121239600_bib46","doi-asserted-by":"publisher","first-page":"4734","DOI":"10.3390\/math10244734","article-title":"Random maximum 2 satisfiability logic in discrete hopfield neural network incorporating improved election algorithm","volume":"10","author":"Someetheram","year":"2022","journal-title":"Mathematics"},{"key":"2025042305121239600_bib47","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1016\/S0893-6080(99)00038-6","article-title":"The basins of attraction of a new hopfield learning rule","volume":"12","author":"Storkey","year":"1999","journal-title":"Neural Networks"},{"key":"2025042305121239600_bib48","doi-asserted-by":"publisher","first-page":"115471","DOI":"10.1016\/j.chaos.2024.115471","article-title":"Dynamics analysis and fpga implementation of discrete memristive cellular neural network with heterogeneous activation functions","volume":"187","author":"Wang","year":"2024","journal-title":"Chaos, Solitons & Fractals"},{"key":"2025042305121239600_bib49","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/s10462-024-10723-4","article-title":"Black-winged kite algorithm: a nature-inspired meta-heuristic for solving benchmark functions and engineering problems","volume":"57","author":"Wang","year":"2024","journal-title":"Artificial Intelligence Review"},{"key":"2025042305121239600_bib50","doi-asserted-by":"publisher","first-page":"121275","DOI":"10.1016\/j.energy.2021.121275","article-title":"A novel combined model for wind speed prediction\u2013combination of linear model, shallow neural networks, and deep learning approaches","volume":"234","author":"Wang","year":"2021","journal-title":"Energy"},{"key":"2025042305121239600_bib51","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/BF00276493","article-title":"Dissipative dynamical systems part I: General theory","volume":"45","author":"Willems","year":"1972","journal-title":"Archive for Rational Mechanics and Analysis"},{"key":"2025042305121239600_bib52","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1109\/4235.585893","article-title":"No free lunch theorems for optimization","volume":"1","author":"Wolpert","year":"1997","journal-title":"IEEE Transactions on Evolutionary Computation"},{"key":"2025042305121239600_bib53","doi-asserted-by":"publisher","first-page":"8186","DOI":"10.1109\/LRA.2024.3440097","article-title":"Drivegpt4: interpretable end-to-end autonomous driving via large language model","volume":"9","author":"Xu","year":"2024","journal-title":"IEEE Robotics and Automation Letters"},{"key":"2025042305121239600_bib54","doi-asserted-by":"publisher","first-page":"2450068","DOI":"10.1142\/S0218127424500688","article-title":"Dynamic analysis, image encryption application and fpga implementation of a discrete memristor-coupled neural network","volume":"34","author":"Yu","year":"2024","journal-title":"International Journal of Bifurcation and Chaos"},{"key":"2025042305121239600_bib55","first-page":"983","article-title":"Modified imperialistic competitive algorithm in hopfield neural network for boolean three satisfiability logic mining","volume":"28","author":"Zamri","year":"2020","journal-title":"Pertanika Journal of Science & Technology"},{"key":"2025042305121239600_bib56","doi-asserted-by":"publisher","first-page":"109312","DOI":"10.1016\/j.asoc.2022.109312","article-title":"Weighted random k satisfiability for k= 1, 2 (r2sat) in discrete hopfield neural network","volume":"126","author":"Zamri","year":"2022","journal-title":"Applied Soft Computing"},{"key":"2025042305121239600_bib57","doi-asserted-by":"publisher","first-page":"115996","DOI":"10.1016\/j.envres.2023.115996","article-title":"Application of machine learning and deep learning methods for hydrated electron rate constant prediction","volume":"231","author":"Zheng","year":"2023","journal-title":"Environmental Research"}],"container-title":["Journal of Computational Design and Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/jcde\/advance-article-pdf\/doi\/10.1093\/jcde\/qwaf039\/62892614\/qwaf039.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/jcde\/article-pdf\/12\/4\/185\/62892614\/qwaf039.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/jcde\/article-pdf\/12\/4\/185\/62892614\/qwaf039.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T09:12:19Z","timestamp":1745399539000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jcde\/article\/12\/4\/185\/8108820"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,29]]},"references-count":57,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,3,29]]}},"URL":"https:\/\/doi.org\/10.1093\/jcde\/qwaf039","relation":{},"ISSN":["2288-5048"],"issn-type":[{"type":"electronic","value":"2288-5048"}],"subject":[],"published-other":{"date-parts":[[2025,4]]},"published":{"date-parts":[[2025,3,29]]}}}