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