迷宫寻路问题——一阶谓词逻辑
迷宫寻路问题是人工智能中的有趣问题,如何表示状态空间和搜索路径是寻路问题的重点,本文的主要内容是一阶谓词逻辑的理解和应用,首先对基本知识和算法思想进行了解,再通过其对迷宫问题求解应用,编写 Python 程序进行深入学习。
完整代码可在 @DiamonJoy下载
由于谓词逻辑表示与人类的自然语言比较接近,类似于计算机语言中的伪代码形式,可以很方便地存储到计算机中去,并被计算机做精确处理。因此,它是一种最早应用于人工智能中的表示方法,很适合初学者作为入门级的学习。
知识(Knowledge)是人们在改造客观世界的实践中形成的对客观事物(包括自然的和人造的)及其规律的认识,包括对事物的现象、本质、状态、关系、联系和运动等的认识。知识是把有关的信息关联在一起,形成的关于客观世界某种规律性认识的动态信息结构。知识=事实+规则+概念:事实就是指人类对客观世界、客观事物的状态、属性、特征的描述,以及对事物之间关系的描述;规则是指能表达在前提和结论之间的因果关系的一种形式;概念主要指事实的含义、规则、语义、说明等。
所谓知识表示(Knowledge Representation),就是把知识用计算机可接受的符号并以某种形式描述出来。
常见的知识表示方式有一阶谓词逻辑、产生式表示、状态空间图表示、与或图表示、语义网络、框架结构表示,还有问题归纳法、面向对象法等。
一阶谓词逻辑表示法是一种重要的知识表示方法,它以数理逻辑为基础,是到目前为止能够表达人类思维活动规律的一种最精确的形式语言。用一阶谓词逻辑公式不仅可以表示事物的状态、属性、概念等事实性知识,而且也可以表示事物间具有确定因果关系的规则性知识。它与人类的自然语言比较接近,类似于计算机语言中的伪代码形式,可以很方便地存储到计算机中去,并被计算机做精确处理。因此,它是一种最早应用于人工智能中的表示方法,很适合初学者作为入门级的学习。
1. 命题与命题逻辑