The Guardrail Is Not in the Model
Frank Coyle argued in a twenty-minute talk at the AI Engineer World's Fair that agentic systems need ontologies because LLMs are probabilistic and require logical guardrails, citing the 1966 Böhm-Jacopini proof that sequ…