Modified Artificial Immune System Algorithm with Elliot Hopfield Neural Network For 3-Satisfiability Programming

The modified artificial immune system algorithm, hybridized with the Elliot Hopfield Neural Network, is proposed in doing the 3-Satisfiability programming (EHNN-3SATAIS). The main impetus of this paper is to investigate the effectiveness and capability of the proposed approach in the 3-Satisfiability programming with different complexities based on the number of neurons. The performance analysis of the proposed technique is assessed by integrating the comprehensive simulation via Dev C++ Version 5.11 and compared with the state-of-the-art Elliot Hopfield networks. The Elliot Hopfield network is to be incorporated into the exhaustive search (EHNN-3SATES) and genetic algorithm (EHNN-3SATGA). The simulated results depicted the performance of the paradigms in terms of mean absolute error (MAE), Schwarz Bayesian Criterion (SBC) and CPU Time. The proposed approach, EHNN-3SATAIS outperformed its other two conventional counterparts in term of accuracy, sensitivity, and robustness during the simulation. Hence, the simulation has proven that the modified artificial immune system algorithm complied effectively in tandem with the Elliot Hopfield neural network in doing the 3-Satisfiability logic programming.

[1]  Gadi Pinkas,et al.  Symmetric Neural Networks and Propositional Logic Satisfiability , 1991, Neural Computation.

[2]  Simon Haykin,et al.  Neural Networks: A Comprehensive Foundation , 1998 .

[3]  Saratha Sathasivam,et al.  Accelerating Activation Function for 3- Satisfiability Logic Programming , 2016 .

[4]  J. J. Hopfield,et al.  “Neural” computation of decisions in optimization problems , 1985, Biological Cybernetics.

[5]  Fernando Niño,et al.  Recent Advances in Artificial Immune Systems: Models and Applications , 2011, Appl. Soft Comput..

[6]  Liu Xu-wang.  Global optimization algorithm for Hopfield network based on simulated annealing , 2009 .

[7]  James L. Johnson.  A Neural Network Approach to the 3-Satisfiability Problem , 1989, J. Parallel Distributed Comput..

[8]  C. Lee Giles,et al.  Routing in Random Multistage Interconnections Networks: Comparing Exhaustive Search, Greedy and Neural Network Approaches , 1992, Int. J. Neural Syst..

[9]  Jacek Mandziuk.  Optimization with the Hopfield network based on correlated noises: Experimental approach , 2000, Neurocomputing.

[10]  Carlos A. Coello Coello,et al.  Solving Multiobjective Optimization Problems Using an Artificial Immune System , 2005, Genetic Programming and Evolvable Machines.

[11]  Yao Liang,et al.  Combinatorial Optimization by Hopfield Networks Using Adjusting Neurons , 1996, Inf. Sci..

[12]  Ue-Pyng Wen,et al.  A review of Hopfield neural networks for solving mathematical programming problems , 2009, Eur. J. Oper. Res..

[13]  Jonathan Timmis,et al.  A resource limited artificial immune system for data analysis , 2001, Knowl. Based Syst..

[14]  Alan S. Perelson,et al.  The immune system, adaptation, and machine learning , 1986 .

[15]  U. Aiman,et al.  Genetic Algorithm Based Solution to SAT-3 Problem , 2015 .

[16]  Rakesh Kumar,et al.  Blending Roulette Wheel Selection & Rank Selection in Genetic Algorithms , 2012 .

[17]  Saratha Sathasivam,et al.  Bezier Curves Satisfiability Model in Enhanced Hopfield Network , 2016 .

[18]  Matthew Lamm,et al.  Graph Neural Networks and Boolean Satisfiability , 2017, ArXiv.

[19]  Walter Kern,et al.  An improved deterministic local search algorithm for 3-SAT , 2004, Theor. Comput. Sci..

[20]  Mohammad Hossein Anisi,et al.  Hybridisation of genetic algorithm with simulated annealing for vertical-handover in heterogeneous wireless networks , 2017, Int. J. Ad Hoc Ubiquitous Comput..

[21]  John J. Hopfield,et al.  Neural networks and physical systems with emergent collective computational abilities , 1999 .

[22]  Saratha Sathasivam,et al.  Mean Field Theory in Doing Logic Programming Using Hopfield Network , 2015 .

[23]  C. Willmott,et al.  Ambiguities inherent in sums-of-squares-based error statistics , 2009 .

[24]  C. Willmott,et al.  Advantages of the mean absolute error (MAE) over the root mean square error (RMSE) in assessing average model performance , 2005 .

[25]  Augustine Pwasong,et al.  Forecasting Performance of Random Walk with Drift and Feed Forward Neural Network Models , 2015 .

[26]  Konstantin Kutzkov,et al.  New upper bound for the #3-SAT problem , 2007, Inf. Process. Lett..

[27]  G. Schwarz.  Estimating the Dimension of a Model , 1978 .

[28]  Jonathan Timmis,et al.  Theoretical advances in artificial immune systems , 2008, Theor. Comput. Sci..

[29]  Saratha Sathasivam,et al.  Upgrading logic programming in hopfield network , 2010 .

[30]  Abdesslem Layeb,et al.  A Clonal Selection Algorithm Based Tabu Search for Satisfiability Problems , 2012 .

[31]  Kenneth E. Iverson,et al.  A programming language , 1899, AIEE-IRE '62 (Spring).

[32]  Roland R. Draxler,et al.  Root mean square error (RMSE) or mean absolute error (MAE) , 2014 .

[33]  Bing‐Zhong Wang,et al.  An Efficient Hybrid Method of Iterative MoM-PO and Equivalent Dipole-Moment for Scattering From Electrically Large Objects , 2017, IEEE Antennas and Wireless Propagation Letters.

[34]  Wan Ahmad Tajuddin Wan Abdullah,et al.  Logic programming on a neural network , 1992, Int. J. Intell. Syst..

[35]  Shiv Prakash,et al.  A hybrid immune genetic algorithm for scheduling in computational grid , 2014, Int. J. Bio Inspired Comput..

[36]  Yanyan Hou,et al.  Automatic welding quality classification for the spot welding based on the Hopfield associative memory neural network and Chernoff face description of the electrode displacement signal features , 2017 .

[37]  Tianxiang Yue,et al.  Surface modelling of soil pH , 2009 .