结构理论中的确定性化：基于闭包、可比性和联合可接受性的统一框架
原标题：Determinization in Structure Theories: A Unified Framework via Closure, Comparability, and Joint Admissibility
AI 摘要
本文提出一个形式化框架，用于从多元结构理论构建规范解释。结构理论由签名、公理和推理策略组成，其可接受解释族包含所有全局一致的结构结论赋值。作者区分了三种规范化层次：闭包稳定化、全局完成和确定性化，并将非确定性分类为认识论多元性（E型）和结构多元性（S型），其中S型强子类由缺乏共同上界刻画。文章给出了两种规范化机制存在的充分条件，并证明在正非反摄规则下，纯推理完成可归结为饱和闭包算子。对于E型理论，闭包稳定化成立，而完全确定性化依赖于全局合流性质；对于S型强理论，通过规范选择实现确定性化。该框架还适用于LLM辅助推理，将幻觉视为不支持的规范化。
正文节选
Computer Science > Artificial Intelligence Title:Determinization in Structure Theories: A Unified Framework via Closure, Comparability, and Joint Admissibility View PDF HTML (experimental) Abstract:We develop a formal framework for constructing canonical interpretations from plural structure theories. A structure theory is a triple T = ({\Sigma}, A, I) consisting of a signature, axioms, and an inference policy, whose admissible interpretation family collects all globally consistent a