离散数学配套习题 作者 陈志奎 第二章 [ADDed] -实例.docVIP

PAGE PAGE 2 2.6 谓词逻辑的应用 谓词逻辑有着多种多样实际的应用，如利用谓词匹配方法可以提高信息检索的质量，也可以用于在关系型数据库中表示数据表项等。在本节中，我们主要通过叙述谓词逻辑在人工智能知识表示方面的作用来说明其重要的应用性。 人工智能（Artificial Intelligence）是一种使用计算机模拟人类智能的技术。在人工智能的实现过程中，知识有着至关重要的作用，如何运用知识进行推理并解决问题是研究人工智能的重要课题。而要想获取并应用知识，首先需要能够对知识进行正确有效的表示。因此，知识表示是实现人工智能的首要问题和基本技术。 谓词逻辑是应用于人工智能中最重要的一种知识表示方法。常被用来表述描述性语句，并可以有效地存储到计算机中进行处理。在人工智能的知识表示中，谓词逻辑不但可以用来形式化地描述自然语言和数学知识等，还可以对智能行为过程进行描述。下面通过一个具体例子来阐述谓词逻辑在知识表示方面的重要作用。 bc b c a a 图2.2 猴子吃香蕉问题 猴子吃香蕉问题：（如图2.2所示）设房内a处有一只猴子，一串香蕉挂在c处天花板上，猴子够不着，b处有一个箱子，猴子从a处出发把箱子从b处搬到c处，爬上箱子，摘下香蕉，回到a处。请用谓词表示法来描述该问题以及猴子的行动过程。 （1）定义描述环境状态的谓词 AT( x , w ): x在w处，个体域x∈{m