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