Aug, 2020

ASP 中的冲突泛化:学习正确有效的非平庸限制条件

TL;DR通过结合ASP求解技术和演绎逻辑机器学习,我们的新方法能够通过学习约束并将其应用于原始程序以提高求解性能,该方法通过减少冲突最小化,可以减少不必要的求解工作,这是在真实用例中得到证明的。