Tag
This paper presents a formal framework for constructing canonical interpretations from plural structure theories, motivated by structural failures in LLM-assisted reasoning. It distinguishes types of non-determinism and provides conditions for licensed canonicalization, without establishing full determinization for all cases.
This paper presents a formal theory for defining reuse of answers in governed conversational AI systems, replacing similarity heuristics with mathematically characterized quotient spaces of resolved utterances.