AAAINov, 2019

具有正负例的泛化规划

TL;DR本文将负例规划定义为一组不应由泛化计划解决的计划实例,并将计划验证的概念扩展到验证给定泛化计划解决输入正例实例时是否无法解决给定的一组负例实例,以量化评估泛化计划的能力,并展示如何将负例规划应用于计划综合的编译中,实验结果表明添加负例可以加速计划综合的过程,并提高合成计划泛化能力的定量度量方式。