GISMOL: A General Intelligent Systems Modelling Language
DOI:
https://doi.org/10.18178/JAAI.2026.4.2.104-124Keywords:
artificial general intelligence; constrained object hierarchies; neuro-symbolic AI; intelligent systems modelling; constraint programming; hierarchical reasoning; Python Framework, Constraint ReasoningAbstract
This paper presents General Intelligent System Modeling Language (GISMOL), a prototype Python-based framework implementing Constrained Object Hierarchies (COH)—a neuroscience-inspired theoretical framework for Artificial General Intelligence (AGI). GISMOL is currently under active development as a research prototype and has not yet been deployed in production environments at scale. COH and GISMOL together provide a unified language for modelling and implementing intelligent systems across diverse domains including healthcare, manufacturing, finance, and governance. The framework bridges symbolic AI and neural computation through its core architecture of constraint-aware objects with embedded neural components, hierarchical reasoning capabilities, and natural language integration. We demonstrate how GISMOL translates COH’s formal 9-tuple representation into executable systems with six comprehensive case studies, showing its versatility in modelling complex intelligent behaviors while maintaining theoretical rigor. The implementation includes specialized modules for neural integration, multi-domain reasoning, and natural language processing, all built around the COHObject abstraction that encapsulates intelligence as constrained hierarchical structures.
References
[1] Anderson, J. R., & Lebiere, C. (1998). The Atomic Components of Thought. Psychology Press. https://doi.org/10.4324/9781315805696
[2] Goertzel, B. (2014). Artificial general intelligence: Concept, state of the art, and future prospects. Journal of Artificial General Intelligence, 5(1), 1–46. https://doi.org/10.2478/jagi-2014-0001
[3] Marcus, G. (2020). The next decade in AI: Four steps towards robust artificial intelligence. arXiv preprint. arXiv:2002.06177.
[4] Rudin, C. (2019). Stop explaining black box machine learning models for high stakes decisions and use interpretable models instead. Nature Machine Intelligence, 1(5), 206–215. https://doi.org/10.1038/s42256-019-0048-x
[5] Levesque, H. J. (2017). Common Sense, the Turing Test, and the Quest for Real AI. MIT Press.
[6] Garcez, A.d., & Lamb, L. C. (2023). Neurosymbolic AI: The third wave. Artificial Intelligence Review, 53, 12387–12406. https://doi.org/10.1007/s10462-019-09720-w
[7] Garnelo, M., & Shanahan, M. (2019). Reconciling deep learning with symbolic artificial intelligence: Representing objects and relations. Current Opinion in Behavioral Sciences, 29, 17–23. doi: 10.1016/j.cobeha.2018.12.010
[8] Besold, T. R. et al. (2017). Neural-symbolic learning and reasoning: A survey and interpretation, arXiv preprint, arXiv:1711.03902.
[9] Laird, J. E. (2012). The SOAR Cognitive Architecture. MIT Press.
[10] Langley, P. (2019). An integrative framework for artificial intelligence education. Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 33, No. 1, pp. 9670–9677). https://doi.org/10.1609/aaai.v33i01.33019670
[11] Langley, P. (2012). The cognitive systems paradigm. Advances in Cognitive Systems, 1, 3–13.
[12] De Raedt, L., Dumančić, S., Manhaeve, R., & Marra, G. (2020). From statistical relational to neuro-symbolic artificial intelligence. Artificial Intelligence, 287, 103291. https://doi.org/10.1016/j.artint.2020.103291
[13] LeCun, Y., Bengio, Y., & Hinton, G. (2015). Deep learning. Nature, 521(7553), 436–444. https://doi.org/10.1038/nature14539
[14] Mnih, V. et al., (2015). Human-level control through deep reinforcement learning. Nature, 518 (7540), 529–533. https://doi.org/10.1038/nature14236
[15] Molnar, C. (2020). Interpretable machine learning. Retrieved form https://christophm.github.io/interpretable-ml-book/
[16] Manhaeve, R., Dumančić, S., Kimmig, A., Demeester, T., & De Raedt, L. (2018). DeepProbLog: Neural probabilistic logic programming. Proceedings of Advances in Neural Information Processing Systems 31 (NeurIPS 2018).
[17] Rocktäschel, T., & Riedel, S. (2017). End-to-end differentiable proving. Proceedings of Advances in Neural Information Processing Systems 30 (NeurIPS 2017).
[18] Yi, K., Wu, J., Gan, C., Torralba, A., Kohli, P., & Tenenbaum, J. (2018). Neural-symbolic VQA: Disentangling reasoning from vision and language understanding. Proceedings of Advances in Neural Information Processing Systems 31 (NeurIPS 2018).
[19] Rosenbloom, P. S. (2019). The Sigma cognitive architecture. International Journal of Machine Learning and Cybernetics, 10(11), 2941–2957. https://doi.org/10.1007/s13042-018-0890-1
[20] Langley, P., Laird, J. E., & Rogers, S. (2019). Cognitive architectures: Research issues and challenges. Cognitive Systems Research, 56, 36–49. https://doi.org/10.1016/j.cogsys.2018.12.009
[21] Rossi, F., van Beek, P., & Walsh, T. (Eds.). (2006). Handbook of Constraint Programming. Elsevier.
[22] Dechter, R. (2003). Constraint Processing. Morgan Kaufmann. https://doi.org/10.1016/B978-1-55860-890-0.X5000-8
[23] Leucker, M., & Schallhart, C. (2009). A brief account of runtime verification. Journal of Logic and Algebraic Programming, 78(5), 293–303. https://doi.org/10.1016/j.jlap.2008.08.004
[24] Hassabis, D., Kumaran, D., Summerfield, C., & Botvinick, M. (2017). Neuroscience-inspired artificial intelligence. Neuron, 95(2), 245–258. https://doi.org/10.1016/j.neuron.2017.09.038
[25] Bengio, Y. (2017). The Consciousness Prior. arXiv preprint, arXiv:1709.08568, 2017.
[26] Hawkins, J., Lewis, M., Klukas, M., Purdy, S., & Ahmad, S. (2019). A framework for intelligence and cortical function based on grid cells in the neocortex. Frontiers in Neural Circuits, 12(121). doi: 10.3389/fncir.2018.00121
[27] A. Rajkomar et al., Scalable and accurate deep learning with electronic health records. NPJ Digital Medicine, 1(1), 18. https://doi.org/10.1038/s41746-018-0029-1
[28] Makary, M. A., & Daniel, M. (2016). Medical error—The third leading cause of death in the US. BMJ, 353, i2139. https://doi.org/10.1136/bmj.i2139
[29] Wang, J., Ma, Y., Zhang, L., Gao, R. X., & Wu, D. (2018). Deep learning for smart manufacturing: Methods and applications. Journal of Manufacturing Systems, 48(Part C), 144–156. doi: 10.1016/j.jmsy.2018.01.003
[30] Giarratano, J., & Riley, G. (2005). Expert systems: Principles and Programming (4th ed.). Thomson/Course Technology.
Downloads
Published
Issue
Section
License
Copyright (c) 2026 by the authors.
This work is licensed under a Creative Commons Attribution 4.0 International License.
