2 Satisfiability (2SAT) logic programming has been a prominent logical rule that defines the structure of Radial Basis Function Neural Network. Training Radial Basis Function Neural Network with logic 2 Satisfiability is an optimization task since it is desired to find the optimal output weights during the training process. In this paper, artificial immune system (AIS) algorithm will be introduced to facilitate the training of RBFNN-2SAT. AIS is used for updating the output weights during training RBFNN-2SAT. In this study, the effectiveness of our hybrid computing paradigm, namely RBFNN-2SATAIS can be estimated by evaluating its testing data result using the root mean square error (RMSE) and computation time (CT). The obtained findings show that the proposed method was effective for achieving acceptable results for 2SAT logic rule.

1.
R.
Rojas
,
Neural networks: a systematic introduction.
Springer Science & Business Media
, (
2013
).
2.
H.
de Leon-Delgado
,
R. J.
Praga-Alejo
,
D. S.
Gonzalez-Gonzalez
, &
M.
Cantú-Sifuentes
,
Expert Systems with Applications
,
93
,
313
321
(
2018
).
3.
M. H.
Horng
,
Y. X.
Lee
,
M. C.
Lee
, &
R. J.
Liou
,
IntechOpen
,
10
(
19
):
7
28
(
2012
).
4.
N.
Hamadneh
,
S.
Sathasivam
,
S. L.
Tilahun
, &
O. H.
Choon
,
Journal of Applied Sciences(Faisalabad)
,
12
(
9
),
840
847
(
2012
).
5.
N.
Hamadneh
,
S.
Sathasivam
,
S. L.
Tilahun
, &
O. H.
Choon
, In
AIP Conference Proceedings
(
2014
, July), Vol.
1605
, No.
1
, pp.
547
550
. AIP.
6.
H. V. H.
Ayala
, &
L.
dos Santos Coelho
.
Mechanical Systems and Signal Processing
,
68
,
378
393
, (
2016
).
7.
M. S. M.
Kasihmuddin
,
M. A.
Mansor
, &
S.
Sathasivam
.
Pertanika Journal of Science & Technology
,
25
(
1
), (
2017
).
8.
J.
Moody
, and
C. J.
Darken
,
Neural computation
, vol.
1
(
2
), pp.
281
294
,
1989
.
9.
A.
Idri
,
A.
Zakrani
, &
A.
Zahi
,
IJCSI International Journal of Computer Science Issues
,
7
(
4
).
A.
Idri
,
A.
Zakrani
, &
A.
Zahi
,
Journal of intelligent systems
,
7
(
6
):
513
519
, (
2010
).
10.
J. D.
Farmer
,
N. H.
Packard
, &
A. S.
Perelson
,
Physica D: Nonlinear Phenomena
,
22
(
1-3
),
187
204
, (
1986
).
11.
F.
Afshinmanesh
,
A.
Marandi
, &
A.
Rahim-Kian
,
In EUROCON 2005-The International Conference on“ Computer as a Tool”
, (
2005
, November), Vol.
1
, pp.
217
220
. IEEE.
12.
Z.
Tang
,
T.
Yamaguchi
,
K.
Tashima
,
O.
Ishizuka
, &
K.
Tanno
,
In Proceedings 1997 27th International Symposium on Multiple-Valued Logic
(pp.
233
238
), (
1997, May). IEEE
.
13.
A.
Layeb
,
Journal of Advances in Information Technology
,
3
(
2
),
138
146
, (
2012
).
14.
P. D.
Castro
,
G. P.
Coelho
,
M. F.
Caetano
, &
F. J.
Von Zuben
,
In International Conference on Artificial Immune Systems
, pp.
469
482
. (
2005
, August).
Springer
,
Berlin, Heidelberg
.
15.
J.
Timmis
, &
M.
Neal
,
In Research and Development in Intelligent Systems
XVII
, pp.
19
32
, (
2001
).
Springer
,
London
.
16.
M. A.
Mansor
,
M. S. M.
Kasihmuddin
, &
S.
Sathasivam
,
Pertanika Journal of Science & Technology
,
25
(
4
), (
2017
).
17.
S.
Alzaeemi
,
M. A.
Mansor
,
M. S. M.
Kasihmuddin
,
S.
Sathasivam
, &
M.
Mamat
,
Indonesian Journal of Electrical Engineering and Computer Science
,
18
(
1
),
459
469
, (
2020
).
This content is only available via PDF.