如何求解一个用产生式系统描述的问题，以及如何寻找具有最小耗散的解，属于（）问题。