E-ISSN 1658-7073 | ISSN 1658-6638
 

Original Research 


Solving Satisfiability Logic Programming Using Radial Basis Function Neural Networks

Nawaf Hamadneh, Saratha Sathasivam.

Abstract
We proposed a new technique to solve QBF based on Radial basis function neural networks (RBFNNs) and Prey-Predator algorithm (PPA). Prey-Predator algorithm (PPA) is a neural learning algorithm used to determine the parameters of the networks. We built the neural networks to represent the logic programming in Conjunctive Normal
Form (CNF), which has at most three variables in each clause (3-CNF). Then, these neural networks are developed to be recurrent neural networks to deal with universal variables in QBF problems. The neural networks models can be applied to solve a wide range of practical applications of Satisfiability logic programming, such as NP-complete decision problem, and computer network design.

Key words: logic programming; Satisfiability; Radial basis function neural network, Prey-Predator algorithm


 
ARTICLE TOOLS
Abstract
PDF Fulltext
How to cite this articleHow to cite this article
Citation Tools
Related Records
 Articles by Nawaf Hamadneh
Articles by Saratha Sathasivam
on Google
on Google Scholar
Article Statistics
 Viewed: 1
Downloaded: 0


How to Cite this Article
Pubmed Style

Hamadneh N, Sathasivam S. Solving Satisfiability Logic Programming Using Radial Basis Function Neural Networks. JECAS. 2017; 4(1): 1-7. doi:10.5455/jecas.2017050101


Web Style

Hamadneh N, Sathasivam S. Solving Satisfiability Logic Programming Using Radial Basis Function Neural Networks. http://jecasmu.org//?mno=91877 [Access: March 22, 2020]. doi:10.5455/jecas.2017050101


AMA (American Medical Association) Style

Hamadneh N, Sathasivam S. Solving Satisfiability Logic Programming Using Radial Basis Function Neural Networks. JECAS. 2017; 4(1): 1-7. doi:10.5455/jecas.2017050101



Vancouver/ICMJE Style

Hamadneh N, Sathasivam S. Solving Satisfiability Logic Programming Using Radial Basis Function Neural Networks. JECAS. (2017), [cited March 22, 2020]; 4(1): 1-7. doi:10.5455/jecas.2017050101



Harvard Style

Hamadneh, N. & Sathasivam, . S. (2017) Solving Satisfiability Logic Programming Using Radial Basis Function Neural Networks. JECAS, 4 (1), 1-7. doi:10.5455/jecas.2017050101



Turabian Style

Hamadneh, Nawaf, and Saratha Sathasivam. 2017. Solving Satisfiability Logic Programming Using Radial Basis Function Neural Networks. Journal of Engineering, Computing and Applied Sciences, 4 (1), 1-7. doi:10.5455/jecas.2017050101



Chicago Style

Hamadneh, Nawaf, and Saratha Sathasivam. "Solving Satisfiability Logic Programming Using Radial Basis Function Neural Networks." Journal of Engineering, Computing and Applied Sciences 4 (2017), 1-7. doi:10.5455/jecas.2017050101



MLA (The Modern Language Association) Style

Hamadneh, Nawaf, and Saratha Sathasivam. "Solving Satisfiability Logic Programming Using Radial Basis Function Neural Networks." Journal of Engineering, Computing and Applied Sciences 4.1 (2017), 1-7. Print. doi:10.5455/jecas.2017050101



APA (American Psychological Association) Style

Hamadneh, N. & Sathasivam, . S. (2017) Solving Satisfiability Logic Programming Using Radial Basis Function Neural Networks. Journal of Engineering, Computing and Applied Sciences, 4 (1), 1-7. doi:10.5455/jecas.2017050101