Reasoning as Data: Representation-Computation Unity and Its Implementation in a Domain-Algebraic Inference Engine

📰 ArXiv cs.AI

arXiv:2604.10908v1 Announce Type: new Abstract: Every existing knowledge system separates storage from computation. We show this separation is unnecessary and eliminate it. In a standard triple is_a(Apple, Company), domain context lives in the query or the programmer's mind. In a CDC four-tuple is_a(Apple, Company, @Business), domain becomes a structural field embedded in predicate arity. Any system respecting arity automatically performs domain-scoped inference without external rules. We call t

Published 14 Apr 2026
Read full paper → ← Back to Reads