kaal:claim:6886078-001
The available governance responses to autonomous AI agents are structurally inadequate in opposite ways: informal deliberative governance cannot bind agents quickly or at scale, while pure formal verification is technically sound but institutionally inoperable because it excludes non-logician stakeholders.
Source quote, verbatim
Informal, deliberative, and discretionary governance cannot bind autonomous agents quickly or at scale, and it provides no mechanical means of enforcement. Pure formal verification is technically sound but institutionally inoperable: it demands specialist expertise that excludes nearly every governance stakeholder who is not a logician, so the resulting infrastructure is formally capable yet practically inert.
From
Cite as
Holds when
Classification
failuresupport: arguedai-and-agentsgovernance-designinstitutional-design
Verify