人工智能 知识示方法.pptVIP

人工智能与专家系统 第2章 知识表示方法 知识表示是对知识的一种描述，或者 说是一组约定，是一种计算机可以接受的 用于描述知识的数据结构。 知识外部表示模式：是与软件开发与 运行的软件工具与平台无关的知识表示的 形式化描述。 知识内部表示模式：是与开发软件工 具与平台有关的知识表示的存储结构。 2.1 一阶谓词逻辑表示方法 2.1.1 一阶谓词逻辑 2.1.2 一阶谓词逻辑表示方法 2.1.1 一阶谓词逻辑 1 命题 命题是具有真假意义的语句。命题代表人们进行思维时的一种判断，或者是肯定，或者是否定。 谓词 谓词:谓词可分为谓词名与个体两部分， 个体表示某个独立存在的事物或者某个抽象 谓词的概念，谓词名用于刻画个体的性质、 状态或个体间的关系。 一阶谓词的一般形式为： P（x1, x2, …, xn） 其中，P是谓词名，x1, x2 ,…, xn 是个体。 一阶谓词中的个体可以是常量，也可 以是变元，还可以是一个函数。个体常 量，个体变元、函数统称为“项”。 规定：谓词名或谓词名的第一个字符 用大写字符表示，项中的常量（或常量的 第一个字符）用大写字符表示，项中的变 元和函数名（或函数名的第一个字符）以