第二讲知识表示状态空间问题归约表示法