人工智能导论实验报告-猴子摘香蕉

一、实验目的

   1、 掌握谓语逻辑表示法。

   2、 掌握人工智能谓词逻辑中的经典案例。

二、实验原理

​ 一阶谓词逻辑表示法是一种重要的知识表示方法，它以数理逻辑为基础，是到目前为止能够表达人类思维活动规律的一种最精准形式语言。它与人类的自然语言比较接近，又可方便存储到计算机中去，并被计算机进行精确处理。因此，它是一种最早应用于人工智能中的表示方法。

​ 人类的一条知识一般可以由具有完整意义的一句话或几句话表示出来，而这些知识要用谓词逻辑表示出来，一般是一个谓词公式。所谓谓词公式就是用谓词联接符号将一些谓词联接起来所形成的公式。