Configuring Neuro-Symbolic Systems with Guaranteed Properties with Application in Hybrid Intelligence

Bendler, Johannes E.

doi:10.24963/ijcai.2026/940

Configuring Neuro-Symbolic Systems with Guaranteed Properties with Application in Hybrid Intelligence

Download BibTeX Cite

Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence. Doctoral Consortium. Pages 8323-8324.

https://doi.org/10.24963/ijcai.2026/940

Keywords

Knowledge Representation and Reasoning: Learning and reasoning
Humans and AI: Human-AI collaboration
Knowledge Representation and Reasoning: Automated reasoning and theorem proving
Machine Learning: Neuro-symbolic methods/Abductive Learning

Abstract

Neuro-symbolic systems are a promising paradigm for Hybrid Intelligence (HI), combining the complementary strengths of symbolic reasoning and machine learning in human-AI interactions. However, designing architectures that satisfy desired properties currently relies on informal reasoning, rather than a rigorous framework. Our research addresses this gap by developing a formal intermediate layer that links architecture design to system properties. Building on the visual pattern language of the Boxology for neuro-symbolic systems, we develop a mathematical formalization that is grounded in Category Theory, in order to enable proof-based guarantees of properties. The soundness of this formalism will be demonstrated through empirical case studies of existing Hybrid Intelligence systems. This work advances the theoretical foundations of neuro-symbolic AI by supporting principled design of HI systems.

Johannes E. Bendler. 2026. Configuring Neuro-Symbolic Systems with Guaranteed Properties with Application in Hybrid Intelligence. In Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-26. IJCAI, 8323–8324. https://doi.org/10.24963/ijcai.2026/940

@inproceedings{ijcai2026p940,
  title     = {Configuring Neuro-Symbolic Systems with Guaranteed Properties with Application in Hybrid Intelligence},
  author    = {Bendler, Johannes E.},
  booktitle = {Proceedings of the Thirty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI-26}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {Diego Calvanese},
  pages     = {8323--8324},
  year      = {2026},
  month     = {8},
  note      = {Doctoral Consortium},
  doi       = {10.24963/ijcai.2026/940},
  url       = {https://doi.org/10.24963/ijcai.2026/940},
}

TY  - CPAPER
TI  - Configuring Neuro-Symbolic Systems with Guaranteed Properties with Application in Hybrid Intelligence
AU  - Bendler, Johannes E.
T2  - Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-26
PB  - International Joint Conferences on Artificial Intelligence Organization
PY  - 2026
SP  - 8323
EP  - 8324
DO  - 10.24963/ijcai.2026/940
UR  - https://doi.org/10.24963/ijcai.2026/940
ER  -