5 papers · 1 filter
From ambiguous utterances to governed reuse classes: canonicalization, quotient invariance, and conditional decidability
Cosimo Spera, Ray Garcia
Semantic caching defines answer reuse on embedding similarity: two utterances share a stored answer when a similarity score clears a threshold, with no notion of authorization, ver…
Safety as Computation: Certified Answer Reuse via Capability Closure in Task-Oriented Dialogue
Cosimo Spera
We introduce a new paradigm for task-oriented dialogue systems: safety certification as a computational primitive for answer reuse. Current systems treat each turn independently, r…
Capability Safety as Datalog: A Foundational Equivalence
Cosimo Spera
We prove that capability safety admits an exact representation as propositional Datalog evaluation (Datalogprop: the monadic, ground, function-free fragment of first-order logic),…
From Workflow Automation to Capability Closure: A Formal Framework for Safe and Revenue-Aware Customer Service AI
Cosimo Spera
Customer service automation is undergoing a structural transformation. The dominant paradigm is shifting from scripted chatbots and single-agent responders toward networks of speci…
Safety is Non-Compositional: A Formal Framework for Capability-Based AI Systems
Cosimo Spera
This paper contains the first formal proof that safety is non-compositional in the presence of conjunctive capability dependencies: two agents each individually inca- pable of reac…