Governed Deduction: Policy-Grounded Premise Authorization Beyond Relevance
Quick summary
arXiv:2609.31029v1 Announce Type: new Abstract: Reasoning systems usually treat premise use as a question of relevance: if a fact is available and useful, it may be selected for inference. Authorization imposes a different constraint: a premise may be represented and logically usable but not permitted for a particular local transition. We formalize this distinction as Governed Deduction (GD), with a transition-local admission predicate admit(p, tau, S). From an independently produced RBAC-augmented Spider benchmark, we construct 4,461 matched authorization pairs in which the same query premise
Key takeaways
- arXiv:2609.31029v1 Announce Type: new Abstract: Reasoning systems usually treat premise use as a question of relevance: if a fact is available and useful, it may be selected for inference.
- Authorization imposes a different constraint: a premise may be represented and logically usable but not permitted for a particular local transition.
- We formalize this distinction as Governed Deduction (GD), with a transition-local admission predicate admit(p, tau, S).
Why it matters
The significance is not only the legal text but how it changes product design. Decisions around “Governed Deduction: Policy-Grounded Premise Authorization Beyond Relevance” may reshape data collection, model training, output accountability and market access.
Member comments