arXiv Artificial Intelligence

Governed Deduction: Policy-Grounded Premise Authorization Beyond Relevance

1 hour ago 28.09.2026 07:00 👁 1 views
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.

Kaynak sitede devamını oku: arXiv Artificial Intelligence ↗