标签
本文提出一种形式化理论，用于在受控对话AI系统中定义答案重用，用数学刻画的已解析话语的商空间取代相似性启发式方法。
本文分析了情境演算中一阶进展的规模复杂性和可判定性，表明对于局部效应、正规和无环动作，进展呈多项式增长，并保持在可判定片段内，例如二变量一阶逻辑。