Maximum 2-satisfiability in radial basis function neural network
Maximum k-Satisfiability (MAX-kSAT) is the logic to determine the maximum number of satisfied clauses. Correctly, this logic plays a prominent role in numerous applications as a combinatorial optimization logic. MAX2SAT is a case of MAX-kSAT and is written in Conjunctive Normal Form (CNF) with two v...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Penerbit Universiti Kebangsaan Malaysia
2020
|
| Online Access: | http://journalarticle.ukm.my/15097/1/jqma-16-1-paper11.pdf |
| _version_ | 1796932189588291584 |
|---|---|
| author | Shehab Abdulhabib Alzaeemi, Saratha Sathasivam, Mohd Shareduwan Mohd Kasihmuddin, Mohd. Asyraf Mansor, |
| author_facet | Shehab Abdulhabib Alzaeemi, Saratha Sathasivam, Mohd Shareduwan Mohd Kasihmuddin, Mohd. Asyraf Mansor, |
| author_sort | Shehab Abdulhabib Alzaeemi, |
| collection | UKM |
| description | Maximum k-Satisfiability (MAX-kSAT) is the logic to determine the maximum number of satisfied clauses. Correctly, this logic plays a prominent role in numerous applications as a combinatorial optimization logic. MAX2SAT is a case of MAX-kSAT and is written in Conjunctive Normal Form (CNF) with two variables in each clause. This paper presents a new paradigm in using MAX2SAT by implementing in Radial Basis Function Neural Network (RBFNN). Hence, we restrict the analysis to MAX2SAT clauses. We utilize Dev C++ as the platform of training and testing our proposed algorithm. In this study, the effectiveness of RBFNN-MAX2SAT can be estimated by evaluating the proposed models with testing data sets. The results obtained are analysed using the ratio of satisfied clause (RSC), the root means square error (RMSE), and CPU time. The simulated results suggest that the proposed algorithm is effective in doing MAX2SAT logic programming by analysing the performance by obtaining lower Root Mean Square Error, high ratio of satisfied clauses and lesser CPU time. |
| first_indexed | 2024-03-06T04:29:10Z |
| format | Article |
| id | ukm.eprints-15097 |
| institution | Universiti Kebangsaan Malaysia |
| language | English |
| last_indexed | 2024-03-06T04:29:10Z |
| publishDate | 2020 |
| publisher | Penerbit Universiti Kebangsaan Malaysia |
| record_format | dspace |
| spelling | ukm.eprints-150972020-08-25T01:00:19Z http://journalarticle.ukm.my/15097/ Maximum 2-satisfiability in radial basis function neural network Shehab Abdulhabib Alzaeemi, Saratha Sathasivam, Mohd Shareduwan Mohd Kasihmuddin, Mohd. Asyraf Mansor, Maximum k-Satisfiability (MAX-kSAT) is the logic to determine the maximum number of satisfied clauses. Correctly, this logic plays a prominent role in numerous applications as a combinatorial optimization logic. MAX2SAT is a case of MAX-kSAT and is written in Conjunctive Normal Form (CNF) with two variables in each clause. This paper presents a new paradigm in using MAX2SAT by implementing in Radial Basis Function Neural Network (RBFNN). Hence, we restrict the analysis to MAX2SAT clauses. We utilize Dev C++ as the platform of training and testing our proposed algorithm. In this study, the effectiveness of RBFNN-MAX2SAT can be estimated by evaluating the proposed models with testing data sets. The results obtained are analysed using the ratio of satisfied clause (RSC), the root means square error (RMSE), and CPU time. The simulated results suggest that the proposed algorithm is effective in doing MAX2SAT logic programming by analysing the performance by obtaining lower Root Mean Square Error, high ratio of satisfied clauses and lesser CPU time. Penerbit Universiti Kebangsaan Malaysia 2020 Article PeerReviewed application/pdf en http://journalarticle.ukm.my/15097/1/jqma-16-1-paper11.pdf Shehab Abdulhabib Alzaeemi, and Saratha Sathasivam, and Mohd Shareduwan Mohd Kasihmuddin, and Mohd. Asyraf Mansor, (2020) Maximum 2-satisfiability in radial basis function neural network. Journal of Quality Measurement and Analysis, 16 (1). pp. 107-115. ISSN 1823-5670 http://www.ukm.my/jqma/current.html |
| spellingShingle | Shehab Abdulhabib Alzaeemi, Saratha Sathasivam, Mohd Shareduwan Mohd Kasihmuddin, Mohd. Asyraf Mansor, Maximum 2-satisfiability in radial basis function neural network |
| title | Maximum 2-satisfiability in radial basis function neural network |
| title_full | Maximum 2-satisfiability in radial basis function neural network |
| title_fullStr | Maximum 2-satisfiability in radial basis function neural network |
| title_full_unstemmed | Maximum 2-satisfiability in radial basis function neural network |
| title_short | Maximum 2-satisfiability in radial basis function neural network |
| title_sort | maximum 2 satisfiability in radial basis function neural network |
| url | http://journalarticle.ukm.my/15097/1/jqma-16-1-paper11.pdf |
| work_keys_str_mv | AT shehababdulhabibalzaeemi maximum2satisfiabilityinradialbasisfunctionneuralnetwork AT sarathasathasivam maximum2satisfiabilityinradialbasisfunctionneuralnetwork AT mohdshareduwanmohdkasihmuddin maximum2satisfiabilityinradialbasisfunctionneuralnetwork AT mohdasyrafmansor maximum2satisfiabilityinradialbasisfunctionneuralnetwork |