一阶谓词逻辑为表示现实世界的知识提供了强有力的机制，在很多领域可以得到直接的应用。

      １、形式化领域

      ２、非形式化领域

        形式化领域是指其知识或信息是用对象和它们的属性，以及它们这间的关系来表示的。如数学、数据库中的信息等。

        在形式化领域中，知识和信息可直接表示成一阶谓词逻辑的形式。如在表示关系数据时，每个关系类型对应着一个谓词，每个关系对应着一个用这个谓词表示的命题。例如：

      非形式化领域是把一个命题中的概念处理成对象，而把各个对象之间的关系看做事件。因为在某些领域中，事实与现实世界的映射不是很显然的，它们之间的关系是动作这个事件。例如：

返回