人工智能作业----归结原理