Solving Satisfiability Logic Programming Using Radial Basis Function Neural Networks

Nawaf Hamadneh; Saratha Sathasivam

doi:10.5455/jeas.2017050101

Journal of Engineering and Applied Sciences. 2017; 4(1): 1-7

doi: 10.5455/jeas.2017050101

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 article
	Citation Tools
	Related Records
	Articles by Nawaf Hamadneh Articles by Saratha Sathasivam
	on Google
	on Google Scholar

How to Cite this Article

Pubmed Style

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

Web Style

Hamadneh N, Sathasivam S. Solving Satisfiability Logic Programming Using Radial Basis Function Neural Networks. https://jecasmu.org/?mno=91877 [Access: September 12, 2024]. doi:10.5455/jeas.2017050101

AMA (American Medical Association) Style

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

Vancouver/ICMJE Style

Hamadneh N, Sathasivam S. Solving Satisfiability Logic Programming Using Radial Basis Function Neural Networks. Journal of Engineering and Applied Sciences. (2017), [cited September 12, 2024]; 4(1): 1-7. doi:10.5455/jeas.2017050101

Harvard Style

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

Turabian Style

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

Chicago Style

Hamadneh, Nawaf, and Saratha Sathasivam. "Solving Satisfiability Logic Programming Using Radial Basis Function Neural Networks." Journal of Engineering and Applied Sciences 4 (2017), 1-7. doi:10.5455/jeas.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 and Applied Sciences 4.1 (2017), 1-7. Print. doi:10.5455/jeas.2017050101

APA (American Psychological Association) Style

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