AIRIS (Autonomous Intelligent Reinforcement Inferred Symbolism)
Responsible: Berick Cook
Autonomous Intelligent Reinforcement Inferred Symbolism — a causal ML system that builds deterministic environment models through direct interaction, encoding decision logic in explicit, auditable causal rewrite rules.
</> Example Implementation
Causal model building
Shows AIRIS learning deterministic causal rules through direct environmental interaction.
; AIRIS deterministic causal learning
; Explicit rewrite rules
!(airis-observe
(state (block-at 3 5))
(action push-right)
(result (block-at 4 5)))
; Learned rule:
; (push-right (block-at $x $y))
; => (block-at (+ $x 1) $y)
Technical Deep Dive: AIRIS Full — causal rewrite rules, surprise-driven exploration, Minecraft demos, Cook & Hammer 2024 paper, and implementation findings.