知识表示3状态空间问题归约表示法