journal article·2023Open access

Modified 2 Satisfiability Reverse Analysis Method via Logical Permutation燨perator

Siti Zulaikha Mohd Jamaludin, Mohd. Asyraf Mansor, Aslina Baharum, Mohd Shareduwan Mohd Kasihmuddin, Habibah A. Wahab, Muhammad Fadhil Marsani

Computers, Materials & Continua· Volume 74· Issue 2

Abstract

The effectiveness of the logic mining approach is strongly correlated to the quality of the induced logical representation that represent the behaviour of the data. Specifically, the optimum induced logical representation indicates the capability of the logic mining approach in generalizing the real datasets of different variants and dimensions. The main issues with the logic extracted by the standard logic mining techniques are lack of interpretability and the weakness in terms of the structural and arrangement of the 2 Satisfiability logic causing lower accuracy. To address the issues, the logical permutation serves as an alternative mechanism that can enhance the probability of the 2 Satisfiability logical rule becoming true by utilizing the definitive finite arrangement of attributes. This work aims to examine and analyze the significant effect of logical permutation on the performance of data extraction ability of the logic mining approach incorporated with the recurrent discrete Hopfield Neural Network. Based on the theory, the effect of permutation and associate memories in recurrent Hopfield Neural Network will potentially improve the accuracy of the existing logic mining approach. To validate the impact of the logical permutation on the retrieval phase of the logic mining model, the proposed work is experimentally tested on a different class of the benchmark real datasets ranging from the multivariate and time-series datasets. The experimental results show the significant improvement in the proposed logical permutation-based logic mining according to the domains such as compatibility, accuracy, and competitiveness as opposed to the plethora of standard 2 Satisfiability Reverse Analysis methods.
Source: openalex_inverted_index · Quality: baseline

Research context

OpenAlex topics: Neural Networks and Applications · Rough Sets and Fuzzy Logic · Data Mining Algorithms and Applications

SciVX discovery tags are terminology-based. OpenAlex topics are source-provided classifications.

References (22)

Show source-provided references
1. Logic programming on a neural network’10.1002/int.4550070604 ↗
2. Hybrid genetic algorithm in the hopfield network for logic satisfiability problem
3. Radial basis function neural network for 2 satisfiability programming10.11591/ijeecs.v18.i1.pp459-469 ↗
4. Discrete mutation hopfield neural network in propositional satisfiability10.3390/math7111133 ↗
5. Random satisfiability: A higher-order logical approach in discrete hopfield neural network10.1109/ACCESS.2021.3068998 ↗
6. Major 2 satisfiability logic in discrete hopfield neural network10.1080/00207160.2021.1939870 ↗
7. Non-systematic weighted satisfiability in discrete hopfield neural network using binary artificial bee colony optimization10.3390/math10071129 ↗
8. YRAN2SAT: A novel flexible random satisfiability logical rule in discrete hopfield neural network10.1016/j.advengsoft.2022.103169 ↗
9. GRAN3SAT: Creating flexible higher-order logic satisfiability in the discrete hopfield neural network10.3390/math10111899 ↗
10. Logic mining in neural network: Reverse analysis method10.1007/s00607-010-0117-9 ↗
11. Logic mining in league of legends
12. Palm oil trend analysis via logic mining with discrete hopfield neural network
13. Examining the forecasting movement of palm oil price using RBFNN-2SATRA metaheuristic algorithms for logic mining10.1109/ACCESS.2021.3054816 ↗
14. Logic mining in football matches
15. Energy based logic mining analysis with hopfield neural network for recruitment evaluation10.3390/e23010040 ↗
16. The complexity of theorem-proving procedures
17. Incorporation of multimodal multiobjective optimization in designing a filter based feature selection technique10.1016/j.asoc.2020.106823 ↗
18. Amazon employees resources access data extraction via clonal selection algorithm and logic mining approach10.3390/e22060596 ↗
19. Pattern sequence recognition using a time-varying hopfield network10.1109/72.991419 ↗
20. Discrete hopfield neural network in restricted maximum k-satisfiability logic programming10.17576/jsm-2018-4706-30 ↗
21. Lexicalized dependency paths based supervised learning for relation extraction10.32604/csse.2022.030759 ↗
22. Employing lexicalized dependency paths for active learning of relation extraction10.32604/iasc.2022.030794 ↗