LAPSE:2020.0358
Published Article
LAPSE:2020.0358
Systematic Boolean Satisfiability Programming in Radial Basis Function Neural Network
April 14, 2020
Radial Basis Function Neural Network (RBFNN) is a class of Artificial Neural Network (ANN) that contains hidden layer processing units (neurons) with nonlinear, radially symmetric activation functions. Consequently, RBFNN has extensively suffered from significant computational error and difficulties in approximating the optimal hidden neuron, especially when dealing with Boolean Satisfiability logical rule. In this paper, we present a comprehensive investigation of the potential effect of systematic Satisfiability programming as a logical rule, namely 2 Satisfiability (2SAT) to optimize the output weights and parameters in RBFNN. The 2SAT logical rule has extensively applied in various disciplines, ranging from industrial automation to the complex management system. The core impetus of this study is to investigate the effectiveness of 2SAT logical rule in reducing the computational burden for RBFNN by obtaining the parameters in RBFNN. The comparison is made between RBFNN and the existing method, based on the Hopfield Neural Network (HNN) in searching for the optimal neuron state by utilizing different numbers of neurons. The comparison was made with the HNN as a benchmark to validate the final output of our proposed RBFNN with 2SAT logical rule. Note that the final output in HNN is represented in terms of the quality of the final states produced at the end of the simulation. The simulation dynamic was carried out by using the simulated data, randomly generated by the program. In terms of 2SAT logical rule, simulation revealed that RBFNN has two advantages over HNN model: RBFNN can obtain the correct final neuron state with the lowest error and does not require any approximation for the number of hidden layers. Furthermore, this study provides a new paradigm in the field feed-forward neural network by implementing a more systematic propositional logic rule.
Keywords
Hopfield Neural Network, logic programming, Optimization, Radial Basis Function Neural Network, satisfiability
Suggested Citation
Mansor MA, Mohd Jamaludin SZ, Mohd Kasihmuddin MS, Alzaeemi SA, Md Basir MF, Sathasivam S. Systematic Boolean Satisfiability Programming in Radial Basis Function Neural Network. (2020). LAPSE:2020.0358
Author Affiliations
Mansor MA: School of Distance Education, Universiti Sains Malaysia, Penang 11800 USM, Malaysia [ORCID]
Mohd Jamaludin SZ: School of Mathematical Sciences, Universiti Sains Malaysia, Penang 11800 USM, Malaysia [ORCID]
Mohd Kasihmuddin MS: School of Mathematical Sciences, Universiti Sains Malaysia, Penang 11800 USM, Malaysia [ORCID]
Alzaeemi SA: School of Mathematical Sciences, Universiti Sains Malaysia, Penang 11800 USM, Malaysia
Md Basir MF: Department of Mathematical Sciences, Faculty of Science, Universiti Teknologi Malaysia, Johor Bahru 81310, Malaysia [ORCID]
Sathasivam S: School of Mathematical Sciences, Universiti Sains Malaysia, Penang 11800 USM, Malaysia [ORCID]
Journal Name
Processes
Volume
8
Issue
2
Article Number
E214
Year
2020
Publication Date
2020-02-10
Published Version
ISSN
2227-9717
Version Comments
Original Submission
Other Meta
PII: pr8020214, Publication Type: Journal Article
Record Map
Published Article

LAPSE:2020.0358
This Record
External Link

doi:10.3390/pr8020214
Publisher Version
Download
Files
[Download 1v1.pdf] (1.8 MB)
Apr 14, 2020
Main Article
License
CC BY 4.0
Meta
Record Statistics
Record Views
405
Version History
[v1] (Original Submission)
Apr 14, 2020
 
Verified by curator on
Apr 14, 2020
This Version Number
v1
Citations
Most Recent
This Version
URL Here
https://psecommunity.org/LAPSE:2020.0358
 
Original Submitter
Calvin Tsay
Links to Related Works
Directly Related to This Work
Publisher Version