一个回答集最优化(Answer Set Optimization,以下简称ASO)逻辑程序是一个二元组(Pgen,Ppref),生成程序Pgen生成描绘可能解决方案的......