2 satisfiability logic programming in radial basis function neural networks

The training of a radial basis function neural network (RBFNN) involves finding the optimal number of hidden neurons in the hidden layer and finding the RBFNN parameters such as center, width, and the output weight. 2 Satisfiability logic programming will be embedded in RBFNN during the training phase. Two training techniques, no-training, and half-training are proposed in this paper. The experiment of both techniques has been examined by using Microsoft Visual Studio 2008 C# Express software. The detailed comparison of the performance of two different techniques in performing 2SAT is discussed in term of root mean square error (RMSE), the number of the hidden neurons and CPU time. The results obtained from the computer simulation have shown that RBFNN-2SAT in half-training technique outperforms than RBFNN-2SAT in no-training technique due to the terms of RMSE, the number of hidden neurons and CPU time are typically much less than the number of data points, and the centers are not restricted to be data points.The training of a radial basis function neural network (RBFNN) involves finding the optimal number of hidden neurons in the hidden layer and finding the RBFNN parameters such as center, width, and the output weight. 2 Satisfiability logic programming will be embedded in RBFNN during the training phase. Two training techniques, no-training, and half-training are proposed in this paper. The experiment of both techniques has been examined by using Microsoft Visual Studio 2008 C# Express software. The detailed comparison of the performance of two different techniques in performing 2SAT is discussed in term of root mean square error (RMSE), the number of the hidden neurons and CPU time. The results obtained from the computer simulation have shown that RBFNN-2SAT in half-training technique outperforms than RBFNN-2SAT in no-training technique due to the terms of RMSE, the number of hidden neurons and CPU time are typically much less than the number of data points, and the centers are not restricted to be data po...

[1]  John Moody,et al.  Fast Learning in Networks of Locally-Tuned Processing Units , 1989, Neural Computation.

[2]  Gaurang Panchal,et al.  Behaviour Analysis of Multilayer Perceptrons with Multiple Hidden Neurons and Hidden Layers , 2011 .

[3]  Stephen A. Billings,et al.  Radial basis function network configuration using genetic algorithms , 1995, Neural Networks.

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

[5]  Junfei Qiao,et al.  Nonlinear system modeling using a self-organizing recurrent radial basis function neural network , 2017, Appl. Soft Comput..

[6]  Peng Kang,et al.  Neural Network Sliding Mode based Current Decoupled Control for Induction Motor Drive , 2010 .

[7]  Nawaf N. Hamadneh,et al.  Optimization of Microchannel Heat Sinks Using Prey-Predator Algorithm and Artificial Neural Networks , 2018, Machines.

[8]  Mario Cantú-Sifuentes,et al.  Multivariate statistical inference in a radial basis function neural network , 2018, Expert Syst. Appl..

[9]  Wan Ahmad Tajuddin Wan Abdullah,et al.  The Logic of Neural Networks , 1993 .

[10]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

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

[12]  Steffen Hölldobler,et al.  Approximating the Semantics of Logic Programs by Recurrent Neural Networks , 1999, Applied Intelligence.

[13]  Nikola Pavesic,et al.  Training RBF networks with selective backpropagation , 2004, Neurocomputing.

[14]  Krishna Kant Singh,et al.  Satellite image classification using Genetic Algorithm trained radial basis function neural network, application to the detection of flooded areas , 2017, J. Vis. Commun. Image Represent..

[15]  S. K. Nandy,et al.  A Hardware Architecture for Radial Basis Function Neural Network Classifier , 2018, IEEE Transactions on Parallel and Distributed Systems.

[16]  Saratha Sathasivam,et al.  Learning Logic Programming in Radial Basis Function Network via Genetic Algorithm , 2012 .