人工智能与专家系统 第2章 知识表示方法4.pptVIP

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