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