scholarly journals Hybrid Imperialistic Competitive Algorithm Incorporated with Hopfield Neural Network for Robust 3 Satisfiability Logic Programming

Author(s):  
Vigneshwer Kathirvel ◽  
Mohd. Asyraf Mansor ◽  
Mohd Shareduwan Mohd Kasihmuddin ◽  
Saratha Sathasivam

Imperialist Competitive algorithm (ICA) is a robust training algorithm inspired by the socio-politically motivated strategy. This paper focuses on utilizing a hybridized ICA with Hopfield Neural Network on a 3-Satisfiability (3-SAT) logic programming. Eventually the performance of the proposed algorithm will be compared to other 2 algorithms, which are HNN-3SATES (ES) and HNN-3SATGA (GA). The performance shall be evaluated with the Root Mean Square Error (RMSE), Mean Absolute Error (MAE), Sum of Squares Error (SSE), Schwarz Bayesian Criterion (SBC), Global Minima Ratio and Computation Time (CPU time). The expected outcome will portray that the IC algorithm will outperform the other two algorithms in doing 3-SAT logic programming.

Author(s):  
Hamza Abubakar ◽  
Sagir Abdu Masanawa ◽  
Surajo Yusuf 

Boolean satisfiability logical representation is a programming paradigm that has its foundations in mathematical logic. It has been classified as an NP-complete problem that difficult practical combinatorial optimization and search problems can be easily converted into it. Random Maximum kSatisfiability (MAX-RkSAT) composed of the most consistent mapping in a Boolean formula that generates a maximum number of random satisfied clauses. Many optimization and search problems can be easily expressed by mapping the problem into a Hopfield neural network (HNN) to minimize the optimal configuration of the corresponding Lyapunov energy function. In this paper, a hybrid computational model hs been proposed that incorporates the Random Maximum kSatisfiability (MAX-RkSAT) into the Hopfield neural network (HNN) for optimal Random Maximum kSatisfiability representation (HNN-MAX-RkSAT). Hopfield neural network learning will be integrated with the random maximum satisfiability to enhance the correct neural state of the network model representation. The computer simulation using C+++⁣+ has been used to demonstrate the ability of MAX-RkSAT to be embedded optimally in Hopfield neural network to serve as Neuro-symbolic integration. The performance of the proposed hybrid HNN-MAXRkSAT model has been explored and compared with the existing model. The proposed HNN-MAXRkSAT demonstrates good agreement with the existing models measured in terms of Global minimum Ratio (Gm), Hamming Distance (HD), Mean Absolute Error (MAE) and network computation Time CPU time). The proposed framework explored that MAX-RkSAT can be optimally represented in HNN and subsequently provides an additional platform for neural-symbolic integration, representing the various types of satisfiability logic.


Author(s):  
Hamza Abubakar ◽  
Saratha Sathasivam ◽  
Mohd. Asyraf Mansor ◽  
Mohd Shareduwan Mohd Kasihmuddin

Election Algorithm (EA) is a powerful metaheuristics model motivated by phenomena of the socio-political mechanism of the presidential election conducted in many countries. EA is selected as a topic of discussion due to its capability and robustness to carry out complex problems in the random-2SAT logic program. This paper utilizes a hybridized EA assimilated with the Hopfield neural network (HNN) in carrying out random logic program (HNN-R2SATEA). The efficiency of the proposed method was compared with the existing traditional exhaustive search (HNN-R2SATES) model and the recently introduced HNN-R2SATICA model. From the result obtained, clearly proven that based on our proposed hybrid model outperformed other existing model based on the Global Minima Ratio (ZM), Mean Absolute Error (MAE), Bayesian Information Criterion (BIC) and Execution Time (ET). The expected outcome portrays that the EA algorithm outperformed the other two algorithms in doing random-kSAT logic program. The results proved the robustness, effectiveness, and compatibility of the HNN-R2SATEA model.


2017 ◽  
Vol 11 (4) ◽  
pp. 522-540 ◽  
Author(s):  
Isham Alzoubi ◽  
Mahmoud Delavar ◽  
Farhad Mirzaei ◽  
Babak Nadjar Arrabi

Purpose This work aims to determine the best linear model using an artificial neural network (ANN) with the imperialist competitive algorithm (ICA-ANN) and ANN to predict the energy consumption for land leveling. Design/methodology/approach Using ANN, integrating artificial neural network and imperialist competitive algorithm (ICA-ANN) and sensitivity analysis (SA) can lead to a noticeable improvement in the environment. In this research, effects of various soil properties such as embankment volume, soil compressibility factor, specific gravity, moisture content, slope, sand per cent and soil swelling index on energy consumption were investigated. Findings According to the results, 10-8-3-1, 10-8-2-5-1, 10-5-8-10-1 and 10-6-4-1 multilayer perceptron network structures were chosen as the best arrangements and were trained using the Levenberg–Marquardt method as the network training function. Sensitivity analysis revealed that only three variables, namely, density, soil compressibility factor and cut-fill volume (V), had the highest sensitivity on the output parameters, including labor energy, fuel energy, total machinery cost and total machinery energy. Based on the results, ICA-ANN had a better performance in the prediction of output parameters in comparison with conventional methods such as ANN or particle swarm optimization (PSO)-ANN. Statistical factors of root mean square error (RMSE) and correlation coefficient (R2) illustrate the superiority of ICA-ANN over other methods by values of about 0.02 and 0.99, respectively. Originality/value A limited number of research studies related to energy consumption in land leveling have been done on energy as a function of volume of excavation and embankment. However, in this research, energy and cost of land leveling are shown to be functions of all the properties of the land, including the slope, coefficient of swelling, density of the soil, soil moisture and special weight dirt. Therefore, the authors believe that this paper contains new and significant information adequate for justifying publication in an international journal.


Author(s):  
Shehab Abdulhabib Saeed Alzaeemi ◽  
◽  
Saratha Sathasivam ◽  
Muraly Velavan

2018 ◽  
Vol 35 (4) ◽  
pp. 1774-1787 ◽  
Author(s):  
Katayoun Behzadafshar ◽  
Fahimeh Mohebbi ◽  
Mehran Soltani Tehrani ◽  
Mahdi Hasanipanah ◽  
Omid Tabrizi

PurposeThe purpose of this paper is to propose three imperialist competitive algorithm (ICA)-based models for predicting the blast-induced ground vibrations in Shur River dam region, Iran.Design/methodology/approachFor this aim, 76 data sets were used to establish the ICA-linear, ICA-power and ICA-quadratic models. For comparison aims, artificial neural network and empirical models were also developed. Burden to spacing ratio, distance between shot points and installed seismograph, stemming, powder factor and max charge per delay were used as the models’ input, and the peak particle velocity (PPV) parameter was used as the models’ output.FindingsAfter modeling, the various statistical evaluation criteria such as coefficient of determination (R2) were applied to choose the most precise model in predicting the PPV. The results indicate the ICA-based models proposed in the present study were more acceptable and reliable than the artificial neural network and empirical models. Moreover, ICA linear model with theR2 of 0.939 was the most precise model for predicting the PPV in the present study.Originality/valueIn the present paper, the authors have proposed three novel prediction methods based on ICA to predict the PPV. In the next step, we compared the performance of the proposed ICA-based models with the artificial neural network and empirical models. The results indicated that the ICA-based models proposed in the present paper were superior in terms of high accuracy and have the capacity to generalize.


2013 ◽  
Vol 13 (2) ◽  
pp. 1085-1098 ◽  
Author(s):  
Mohammad Ali Ahmadi ◽  
Mohammad Ebadi ◽  
Amin Shokrollahi ◽  
Seyed Mohammad Javad Majidi

Sign in / Sign up

Export Citation Format

Share Document