人工智能课程主要教学内容是符号主义学派的成果,然而,由于符号主义学派研究成果在国内的应用不够广泛,学生对该门课程的价值缺少直观感受,进而出现学习兴趣不足的现象。针对此问题,文章提出利用符号主义学派的前沿技术——命题可满足技术与自动规划技术,帮助学生建立对人工智能课程内容的认可,激发其探索与应用符号主义人工智能学派成果的兴趣。