International Journal of Scientific & Technology Research

Home About Us Scope Editorial Board Blog/Latest News Contact Us
10th percentile
Powered by  Scopus
Scopus coverage:
Nov 2018 to May 2020


IJSTR >> Volume 9 - Issue 8, August 2020 Edition

International Journal of Scientific & Technology Research  
International Journal of Scientific & Technology Research

Website: http://www.ijstr.org

ISSN 2277-8616

Agent Based Computational Modelling For Mapping Of Exact Ksatisfiability Representation In Hopfield Neural Network Model

[Full Text]



Hamza Abubakar, Sagir Abdu Masanawa, Surajo Yusuf, Yusuf Abdurrahman



Agent base modelling, Artificial Neural network, Hopfield neural network, Optimzation problem, Satisfiability, Exact Satisfiability, logic program.



Recent studies in the field of machine learning and artificial intelligence (AI) are focusing on developing hybrid models to simplify the complexity involved in the training of the neural network. This form of simplicity is valuable for seeking an established convergence artificial neural network. In this paper, agent-based modelling (ABM) using NETLOGO as a platform has been proposed to facilitate the training process of Hopfield neural modelling in carrying Exact kSatisfiability programming. The developed ABM hybrid model explored the optimal task representing Exact kSatisfiability logic due to the simplicity, flexibility and user-friendly mannerism manifest by ABM model. ABM was used to simulate the process of taking decisions of individual movements, fortification of behaviour, group dynamics, population communications and social interactions within populations. The performance has been displayed based on Global Minimum ratio, local Minimum Ratio, Hamming Distance Mean Square Error and Computation time in evaluating the model performance. The performance of the HN model in carrying Exact kSatisfiability (Exact kSAT) logic was demonstrated good agreement when compared with ordinary kSatisfiability (kSAT).



[1] Oulasvirta, A., Dayama, N. R., Shiripour, M., John, M., & Karrenbauer, A. (2020). Combinatorial optimization of graphical user interface designs. Proceedings of the IEEE, 108(3), 434-464
[2] Schulz, A. S., Skutella, M., Stiller, S., & Wagner, D. (Eds.). (2015). Gems of Combinatorial Optimization and Graph Algorithms. Springer.
[3] Aliano Filho, A., Moretti, A. C., Pato, M. V., & de Oliveira, W. A. (2019). An exact scalarization method with multiple reference points for bi-objective integer linear optimization problems. Annals of Operations Research, 1-35.
[4] Yahaya Pudza, M.; ZainalAbidin, Z.; Abdul Rashid, S.; MdYasin, F.; Noor, A.S.M.; Issa, M.A. Sustainable Synthesis Processes for Carbon Dots through Response Surface Methodology and Artificial Neural Network. Processes, 2019, 7, 704
[5] Shang, Y.; Wah, B.W. Global Optimization for Neural Networks Training. IEEE Computer, 1996, 29, 45-54.
[6] Hopfield, J.J. Neural networks and physical systems with emergent collective computational abilities. Proceedings of the national academy of sciences, 1982, 79, 8, 2554-2558.
[7] Hopfield, J. Neurons with graded response have collective computational properties like those of two-state neurons, Proc. Natl. Acad. Sci. USA 81, 1984, 3088-3092.
[8] Hopfield, J.; Tank, D. &Neural' computation of decisions in optimization problems, Biol. Cybernet. 52, 1985, 141-152
[9] Joya, G.; M.A. Atencia, M.A.; Sandoval, F. Hopfeld neural networks for optimization, study of the different dynamics. Neurocomputing 43,2002, 219-237
[10] Kobuchi, Y. State evaluation functions and Lyapunov functions for neural networks, Neural Networks 4, 1991, 505-510.
[11] Takefuji, Y., & Lee, K. C. (1991). Artificial neural networks for four-coloring map problems and K-colorability problems. IEEE transactions on circuits and systems, 38(3), 326-333.
[12] Wen, U.P.; Lan, K.M.; Shih, H. S. A review of Hopfield neural networks for solving mathematical programming problems. European Journal of Operational Research, 198, 3, 2009, 675–687.Pa
[13] rk, J.H.; Kim, Y.S.; Eom, I.K.; Lee.; K.Y. Economic load dispatch for piecewise quadratic cost function using Hopfield neural network. IEEE transactions on power systems. 1993, 8 3, 1030-8.
[14] Nguyen MQ, Atkinson PM, Lewis HG. Superresolution mapping using a Hopfield neural network with fused images. IEEE Transactions on Geoscience and Remote Sensing. 2006 Feb 21;44 (3):736-49.
[15] Fung, C.H.; Wong, M.S.; Chan, P.W. Spatio-Temporal Data Fusion for Satellite Images Using Hopfield Neural Network. Remote Sens. 2019, 11, 2077.
[16] Duong, T. L.; Nguyen, P. D.; Phan, V. D.; Vo, D. N.; Nguyen, T. T. Optimal Load Dispatch in Competitive Electricity Market by Using Different Models of Hopfield Lagrange Network. Energies. 2019, 12, 15, 2932.
[17] Kzar, A.; Jafri, M.; Mutter, K.; Syahreza, S. A Modified Hopfield Neural Network Algorithm (MHNNA) Using ALOS Image for Water Quality Mapping. International journal of environmental research and public health, 2016, 13, 1-92.
[18] Salcedo-Sanz, S,; R. Santiago-Mozos, R.; and Bousono-Calzon, C. "A hybrid Hopfield network-simulated annealing approach for frequency assignment in satellite communications systems," in IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics), 34, 2004, 2, 1108-1116
[19] Chen, X.; Zhan, F.B. Agent-based modelling and simulation of urban evacuation: Relative effectiveness of simultaneous and staged evacuation strategies. J. Oper. Res. Soc. 2008, 59, 25–33
[20] Chen, B.; Cheng, H.H. A review of the applications of agent technology in traffic and transportation systems. IEEE Trans. Intell. Transp. Syst. 2010, 11, 485–497.
[21] Bouarfa, S., Blom, H. A., & Curran, R. (2016). Agent-based modeling and simulation of coordination by airline operations control. IEEE Transactions on Emerging Topics in Computing, 4(1), 9-20.
[22] Balmer, M.; Cetin, N.; Nagel, K.; Raney, B. Towards truly agent-based traffic and mobility simulations. In Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems-Volume 1; IEEE Computer Society: Washington, DC, USA, 2004; pp. 60–67.
[23] Hofer, C.; Jäger, G.; Füllsack, M. Large scale simulation of CO2 emissions caused by urban car traffic: An agent-based network approach. J. Clean. Prod. 2018, 183, 1–10
[24] Grignard, A., Alonso, L., Taillandier, P., Gaudou, B., Nguyen-Huu, T., Gruel, W., & Larson, K. (2018, July). The impact of new mobility modes on a city: A generic approach using abm. In International Conference on Complex Systems (pp. 272-280). Springer, Cham.
[25] Davidsson, P. (2002). Agent based social simulation: A computer science view. Journal of artificial societies and social simulation, 5(1).
[26] Grand, J. A., Gupta, P., & Trinh, M. P. (2019, July). Application of Agent-Based Modeling (ABM) in Organizational Research on Teams and Groups. In Academy of Management Proceedings (Vol. 2019, No. 1, p. 15008). Briarcliff Manor, NY 10510: Academy of Management.
[27] Nicholls, S., Amelung, B., & Student, J. (2017). Agent-based modeling: A powerful tool for tourism researchers. Journal of Travel Research, 56(1), 3-15.
[28] Bonabeau, E. Agent-based modeling: Methods and techniques for simulating human systems. Proc. Natl. Acad. Sci. USA 2002, 99, 7280–7287.
[29] Alijani, Z., Delbari, M., & Sarmadian, F. (2017, June). Dealing with Land Degradation: Application of Agent Based Modeling. In 79th EAGE Conference and Exhibition 2017 (Vol. 2017, No. 1, pp. 1-3). European Association of Geoscientists & Engineers
[30] Mandes, A., & Winker, P. (2017). Complexity and model comparison in agent based modeling of financial markets. Journal of Economic Interaction and Coordination, 12(3), 469-506
[31] Babic, J., & Podobnik, V. (2016, July). A review of agent-based modelling of electricity markets in future energy eco-systems. In 2016 International Multidisciplinary Conference on Computer and Energy Science (SpliTech) (pp. 1-9). IEEE.
[32] Kaplar, A., Vidaković, M., Luburić, N., & Ivanović, M. (2017, May). Improving a distributed agent-based ant colony optimization for solving traveling salesman problem. In 2017 40th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO) (pp. 1144-1148). IEEE
[33] Alzaeemi, S. A. S., & Sathasivam, S. (2018). Hopfield neural network in agent based modeling. MOJ App Bio Biomech, 2(6), 334-341.
[34] Sathasivam, S., & Velavan, M. (2017). Agent based modelling for new technique in neuro symbolic integration. MATTER: International Journal of Science and Technology, 3(2).
[35] Azim, M. A., Sathasivam, S., Alzaeemi, S. A. S., & Mahmood, M. (2019). Agent Based Modeling for Comparing the Performances of Hyperbolic and Zeng and Martinez Activations Functions. International Journal of Computer Networks and Communications Security, 7(12), 250-257.
[36] Li, W., Bai, Q., & Zhang, M. (2019). A multi-agent system for modelling preference-based complex influence diffusion in social networks. The Computer Journal, 62(3), 430-447.
[37] Simon, H. A. (1972). Theories of bounded rationality. Decision and organization, 1(1), 161-176.
[38] Carastan-Santos, D., de Camargo, R. Y., Martins Jr, D. C., Song, S. W., & Rozante, L. C. (2017). Finding exact hitting set solutions for systems biology applications using heterogeneous GPU clusters. Future Generation Computer Systems, 67, 418-429
[39] Shi, L., & Cai, X. (2010, May). An exact fast algorithm for minimum hitting set. In 2010 Third International Joint Conference on Computational Science and Optimization (Vol. 1, pp. 64-67). IEEE
[40] Bisoyi, S. K., & Reza, H. (2017). Toward Securing Cyber-Physical Systems Using Exact Cover Set. J Inform Tech Softw Eng, 7(198), 2.
[41] Fomin, F. V., Gaspers, S., Lokshtanov, D., & Saurabh, S. (2019). Exact algorithms via monotone local search. Journal of the ACM (JACM), 66(2), 1-23
[42] Korula, N., & Pál, M. (2009, July). Algorithms for secretary problems on graphs and hypergraphs. In International Colloquium on Automata, Languages, and Programming (pp. 508-520). Springer, Berlin, Heidelberg.
[43] Guo, J., Moalic, L., Martin, J. N., & Caminada, A. (2018, January). Exact Graph Coloring Algorithms of Getting Partial and All Best Solutions. In ISAIM.
[44] Xiao, M., & Nagamochi, H. (2017). Exact algorithms for maximum independent set. Information and Computation, 255, 126-146.
[45] Björklund, A., Husfeldt, T., & Koivisto, M. (2009). Set partitioning via inclusion-exclusion. SIAM Journal on Computing, 39(2), 546-563.
[46] Dahllöf, V., Jonsson, P., & Beigel, R. (2004). Algorithms for four variants of the exact satisfiability problem. Theoretical Computer Science, 320(2-3), 373-394.
[47] Schaefer, T. J. (1978, May). The complexity of satisfiability problems. In Proceedings of the tenth annual ACM symposium on Theory of computing (pp. 216-226).
[48] Porschen, S., Schmidt, T., Speckenmeyer, E., & Wotzlaw, A. (2014). XSAT and NAE-SAT of linear CNF classes. Discrete Applied Mathematics, 167, 1-14.
[49] Cook, S. A. (1971, May). The complexity of theorem-proving procedures. In Proceedings of the third annual ACM symposium on Theory of computing (pp. 151-158).
[50] Barra, A.; Beccaria, M.; Fachechi, A. A new mechanical approach to handle generalized Hopfield neural networks. Neural Netw, 2018, 106, 205–222.
[51] Sathasivam, S., Mansor, M., Kasihmuddin, M. S. M., & Abubakar, H. (2020). Election Algorithm for Random k Satisfiability in the Hopfield Neural Network. Processes, 8(5), 568.
[52] Abdullah, W. A. T. W. (1992). Logic programming on a neural network. International journal of intelligent systems, 7(6), 513-519.
[53] Sathasivam, S. (2010). Upgrading logic programming in Hopfield network. Sains Malaysiana, 39(1), 115-118.
[54] Mansor, M. A., Kasihmuddin, M. S. M., & Sathasivam, S. (2016). Enhanced Hopfield network for pattern satisfiability optimization. International Journal of Intelligent Systems and Applications, 8(11), 27.