arXiv AI
3d ago
Implementing Computational Law in Wolfram Language for the Governance of Artificial Intelligence
arXiv:2608. 13958v1 Announce Type: new Abstract: How do we govern AI systems whose reasoning we cannot fully inspect?
What Does ODRL Mean? A Cross-Level Ontological Grounding of Permissions, Prohibitions, and Duties in UFO-L
arXiv:2606. 24344v1 Announce Type: cross Abstract: ODRL policy evaluators produce verdicts, but say nothing about the normative positions a policy brings into existence, the authority structures those positions presuppose, or who holds the power to declare a norm violated.
Related stories
arXiv AI
Jun 19
Deontic Policies for Runtime Governance of Agentic AI Systems
arXiv:2606. 19464v1 Announce Type: new Abstract: Autonomous agentic AI systems driven by Large Language Models (LLMs) introduce a new class of security, privacy, and compliance challenges: an agent that can invoke tools, manipulate data, install software, and coordinate with peer agents across organizational boundaries must be constrained not just by authentication and access control, but by the full structure of enterprise governance.
arXiv AI
Jul 20
A Formally Grounded ODRL Evaluator: Implementation and Comparison
arXiv:2607. 15987v1 Announce Type: new Abstract: The ODRL policy language is emerging as the de-facto standard for policy modelling data access and usage preferences, AI governance policies and data workflows in European dataspaces.
arXiv AI
Jun 9
Beyond Probabilistic Similarity: Structural, Temporal, and Causal Limitations of Retrieval-Augmented Generation in the Legal Domain
arXiv:2606. 09724v1 Announce Type: new Abstract: Retrieval-Augmented Generation (RAG) has become a standard architectural response to unreliability in legal AI, yet high-profile failures, including fabricated citations submitted to courts and anachronistic legal content presented as current, continue to appear across jurisdictions.
arXiv AI
Jul 20
A cubical formalisation of topos causal models: intervention, sheaf gluing, and the intuitionistic do-calculus
arXiv:2607. 15629v1 Announce Type: cross Abstract: Topos causal models recast causal inference inside a topos: a causal world is a presheaf, an intervention is a characteristic map into the subobject classifier, and reasoning is carried out in the intuitionistic internal language.
arXiv AI
2d ago
Constitutive Priors for Machine Intelligence: A Legitimacy Theory of the Artificial Physical World
arXiv:2608. 15147v1 Announce Type: new Abstract: Machine intelligence has conquered the symbolic world but stalled at the physical one.
arXiv AI
Jun 24
No Certificate, No Categorical Speech Act: A Brouwerian Assertibility Constraint for Public Reason
arXiv:2603. 03971v3 Announce Type: replace-cross Abstract: Generative AI can convert uncertainty into authoritative-seeming verdicts, intensifying the hypersuasive force of automated speech and displacing the justificatory work on which democratic epistemic agency depends.
arXiv AI
Aug 13
Cryptographically verifiable authorization for autonomous AI agents: A falsifiable hypothesis and proof-of-concept
arXiv:2607. 21325v2 Announce Type: replace-cross Abstract: Autonomous AI agents increasingly execute actions, invoke tools, and operate on protected resources with limited human oversight.
arXiv AI
Jun 3
Overlaying Governance: A Compositional Authorization Framework for Delegation and Scope in Agentic AI
arXiv:2606. 03518v1 Announce Type: new Abstract: As AI systems evolve from passive models into autonomous active agents capable of initiating actions, collaborating, and delegating tasks, the traditional boundaries of software systems blur.
arXiv AI
Jun 30
Open Problems in Constitutional Preference Reconstruction
arXiv:2606. 30116v1 Announce Type: new Abstract: Pairwise preference data is widely used for training and evaluating language models (e.
arXiv AI
Jun 3
Reproducibility is the New Copyleft: Defining AGI-oriented Reproducible Builds
arXiv:2606. 03019v1 Announce Type: cross Abstract: Copyleft, as implemented in licenses such as the GNU General Public License, was a legal hack that used copyright to guarantee user freedom by tying the availability of source code to every act of distribution.
arXiv AI
3d ago
Mandato: Protocol-Level Enforcement of Digitally Signed Mandates on AI Agent Actions with Cryptographically Chained Audit Trails
arXiv:2608. 14074v1 Announce Type: new Abstract: AI agents increasingly act on external systems through standardized tool-calling protocols such as the Model Context Protocol (MCP), yet no infrastructure layer constrains their actions to what a principal has verifiably authorized: authorization logic lives in application code, is neither signed nor independently auditable, and the resulting logs lack evidentiary value.