GISMOL-Generalised Intelligent System Modelling Language (in JAAI 2026, Volume 4(2)) is a modelling language for hierarchical, learnable, and provably safe intelligent systems. It unifies structure, learning, constraints, and real-time monitoring in a single mathematical framework — and ships as a zero-dependency Python toolkit.
intelligence = constrained hierarchical optimisation
Start with the tutorial to learn by building. Open the developer guide when you are ready to ship.
Learn by building
An eighteen-lesson self-paced course that takes you from the four intuitions behind COH all the way to a complete five-level system. Every lesson ends with exercises you actually run.
Build and ship
The complete reference for practitioners. Every module, every class, every contract — with design patterns, anti-patterns, performance notes, and a full case study.
Every intelligent system is a 9-tuple. Nine orthogonal parts, no more, no less.