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





Most Viewed Articles
  • Structural Investigation of Semi Crystalline LDPE Nano-polymer
    M. S. Gaafar, H. Afifi, Kh. Al Zenidy
    JEAS. 2016; 3(2): 24-29
    » Abstract

  • Automated Dental Identification based on Orthogonal Locality Preserving Projection
    Nourdin B. Alsherif, Guodong Guo, Hany H. Ammar
    JEAS. 2014; 1(1): 24-29
    » Abstract » doi: 10.12816/0004795

  • Concomitant Administration of Quercetin and α -tocopherol Protects Rats from Cadmium Chloride Induced Neural Apoptosis and Cognitive Dysfunction
    Ali A. Shati
    JEAS. 2016; 3(2): 14-23
    » Abstract

  • Analysis and Design of Viscoelastic Adhesively Bonded Tubular Joint
    Abouel-Kasem, A., Hassab -Allah, I. M., Nemat-Alla, M. M.
    JEAS. 2014; 1(1): 13-23
    » Abstract » doi: 10.12816/0004794

  • Reliability of Using Curvature TechniquesinStructural Damage Detection
    Mohamed Abdel-Basset Abdo
    JEAS. 2014; 1(1): 1-12
    » Abstract » doi: 10.12816/0004793

  • Most Downloaded
  • Solving Satisfiability Logic Programming Using Radial Basis Function Neural Networks
    Nawaf Hamadneh, Saratha Sathasivam
    JEAS. 2017; 4(1): 1-7
    » Abstract

  • Simulation Study on Charged Particle Discrimination Properties of CdTe Detectors
    T. Alharbi
    JEAS. 2018; 5(1): 7-11
    » Abstract

  • Concomitant Administration of Quercetin and α -tocopherol Protects Rats from Cadmium Chloride Induced Neural Apoptosis and Cognitive Dysfunction
    Ali A. Shati
    JEAS. 2016; 3(2): 14-23
    » Abstract

  • Heat Transfer from Moving Surfaces in a Micropolar Fluid with Internal Heat Generation
    M. A. El-Hakiem
    JEAS. 2014; 1(1): 30-36
    » Abstract » doi: 10.12816/0004796

  • Determination of Ultrasonic Velocities Theoretically for Tellurite Glasses Using Makishima and Mackenzie Model
    M. S. Gaafar
    JEAS. 2014; 1(2): 15-22
    » Abstract » doi: 10.12816/0026293

  • Most Cited Articles