人工智能第2章知识表示方法2问题归约法