基于生成与测试的方法解决认识论逻辑程序

本研究提出了一种新型生成与测试框架，显著提高了逻辑程序求解器的效率，测试候选方案数量减少，求解器性能提升约3.3倍，解决了91%的更多实例。