通过残余程序进行概率答案集程序的快速推理

本研究提出了一种新的方法，通过识别并去除不相关的程序部分，利用残余程序进行推理，提升了推理速度，尤其在图数据集上。实验结果显示其潜在的应用价值。