用认知描述程序解决一致性规划问题