人工智能知识表示方法问题归约法PPT教案