标签
提出了一种基于合约的有限证据激活(CBEA)与词典式承诺验证(LCV)方法,以防止个性化语言系统中出现运行时控制失败——系统在拥有相关上下文的情况下仍做出错误承诺。该方案在验证器范围内实现了零失败,可用性达到0.49–0.60,显著优于基线方法。