A*算法: http://blog.csdn.net/diamonjoy_zone/article/details/65630144
一阶谓词逻辑: http://blog.csdn.net/diamonjoy_zone/article/details/66476374
迷宫寻路问题是人工智能中的有趣问题，如何表示状态空间和搜索路径是寻路问题的重点，本文的主要内容是A*搜索算法和一阶谓词逻辑的理解和应用，首先对基本知识和算法思想进行了解，再通过其对迷宫问题求解应用，编写Python程序进行深入学习。