Home|Journals|Articles by Year

Directory for Medical Articles

Original Research

JECAS. 2017; 4(1): 1-7

Solving Satisfiability Logic Programming Using Radial Basis Function Neural Networks

Nawaf Hamadneh, Saratha Sathasivam.


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

Full-text options

Share this Article

Online Article Submission
• ejmanager.com
• ojshosting.net

Do you want to use OJS for your journal ?
work with an experienced partner

Review(er)s Central
About BiblioMed
License Information
Terms & Conditions
Privacy Policy
Contact Us

The articles in Bibliomed are open access articles licensed under the terms of the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License (https://creativecommons.org/licenses/by-nc-sa/4.0/) which permits unrestricted, non-commercial use, distribution and reproduction in any medium, provided the work is properly cited.