mlsanityData to 14 Oct 2026

Exploring Structures of Inferential Mechanisms through Simplistic Digital Circuits

arXiv 2510.22883 ↗First posted 27 Oct 2025cs.AIcited by 0

Not on the map. Why?

Abstract (arXiv)

Cognitive studies and artificial intelligence have developed distinct models for various inferential mechanisms (categorization, induction, abduction, causal inference, contrast, merge, ...). Yet, both natural and artificial views on cognition lack apparently a unifying framework. This paper formulates a speculative answer attempting to respond to this gap. To postulate on higher-level activation processes from a material perspective, we consider inferential mechanisms informed by symbolic AI modelling techniques, through the simplistic lenses of electronic circuits based on logic gates. We observe that a logic gate view entails a different treatment of implication and negation compared to standard logic and logic programming. Then, by combinatorial exploration, we identify four main forms of dependencies that can be realized by these inferential circuits. Looking at how these forms are generally used in the context of logic programs, we identify eight common inferential patterns, exposing traditionally distinct inferential mechanisms in an unifying framework. Finally, following a probabilistic interpretation of logic programs, we unveil inner functional dependencies. The paper concludes elaborating in what sense, even if our arguments are mostly informed by symbolic means and digital systems infrastructures, our observations may pinpoint to more generally applicable structures.

Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 5 of its 43 references that are in the map. First posted on arXiv 27 Oct 2025.

Builds on

5 of 43 references.

References · 5

  1. 2017Attention Is All You Needcited by 60,361
  2. 2024Mechanistic Interpretability for AI Safety -- A Reviewcited by 422
  3. 2023Safe Reinforcement Learning via Probabilistic Logic Shieldscited by 42
  4. 2016Programming in logic without logic programmingcited by 2
  5. 2023From Probabilistic Programming to Complexity-based Programmingcited by 1

Built on by

Not cited yet.