2.1.2知识表示的模块化和简单化 知识的检索和推理是系统控制级知识,一个机器 翻译系统中一旦知识表示方法选定以后,它们也就相 应地被确定下来。如果一种表示方法的数据结构过于 复杂,难以实现,则必然给系统控制程序的设计带来 很大困难,影响觀译的效率。因此,从对知识的检索 和各部分分析来说,知识表示方法在数据结构的组织 上应要求尽可能简单、一致,即保持清晰性。清晰的 数据结构便于系统的正确性和一致性检査。但另一方 面,过于简单、一致的数据结构既不适宜表达复杂问 题,同时也会影响系统的效率
知识的检索和推理是系统控制级知识，一个机器 翻译系统中一旦知识表示方法选定以后，它们也就相 应地被确定下来。如果一种表示方法的数据结构过于 复杂，难以实现，则必然给系统控制程序的设计带来 很大困难，影响翻译的效率。因此，从对知识的检索 和各部分分析来说，知识表示方法在数据结构的组织 上应要求尽可能简单、一致，即保持清晰性。清晰的 数据结构便于系统的正确性和一致性检查。但另一方 面，过于简单、一致的数据结构既不适宜表达复杂问 题，同时也会影响系统的效率。 2 . 1 . 2 知识表示的模块化和简单化
2.2一阶谓词逻辑表示方法 谓词逻辑是一种形式语言,也是目前 为止能够表达人类思维活动规律的一种最 精确的语言,它与人们的自然语言比较接 近,又可方便的存储到计算机中作精确的 处理。因此,它成为最早应用于人工智能 表示知识的一种方法
谓词逻辑是一种形式语言，也是目前 为止能够表达人类思维活动规律的一种最 精确的语言，它与人们的自然语言比较接 近，又可方便的存储到计算机中作精确的 处理。因此，它成为最早应用于人工智能 表示知识的一种方法。 2 . 2 一阶谓词逻辑表示方法
2.2.1表示方法导引 规则通常用蕴含式表示,例如对于“如果X,则 Y,可表示为 X→Y 用谓词公式表示知识时,需要首先定义谓词,指 出每个谓词的含义,然后用连接词把有关的谓词连 接起来,形成一个表达的完整意义
规则通常用蕴含式表示，例如对于“如果X，则 Y”，可表示为 X→Y 用谓词公式表示知识时, 需要首先定义谓词, 指 出每个谓词的含义, 然后用连接词把有关的谓词连 接起来, 形成一个表达的完整意义。 2 . 2 . 1 表示方法导引
2.2.1表示方法导引 例,设有下列语句 (1)高山比他父亲出名。 (2)刘水是计算机系的一名学生,但他不喜欢编程序。 (3)人人爱劳动。 为了用谓词公式表示这些语句,应先定义谓词: BIGGER(x,y):x比y出名 COMPUTER(x):x是计算机系的学生 LINK(x,y):x喜欢y LOⅴE(x,y):x爱y M(x):x是人
例，设有下列语句： （1）高山比他父亲出名。 （2）刘水是计算机系的一名学生，但他不喜欢编程序。 （3）人人爱劳动。 为了用谓词公式表示这些语句，应先定义谓词： BIGGER(x, y): x 比 y 出名 COMPUTER(x): x 是计算机系的学生 LINK(x, y): x 喜欢 y LOVE(x , y): x 爱 y M(x): x 是人 2 . 2 . 1 表示方法导引
2.2.1表示方法导引 此时可用谓词公式把上述三个语句表示为: (1) BIGGER(高山,父亲(高山)) (2) COMPUTER(刘水)∧~LⅠNK(刘水, 程序) (3)(x)(M(x)→LOⅴE(x, labour) 例,设有下列语句: (1)自然数都是大于零的整数。 (2)所有整数不是偶数就是奇数。 (3)偶数除以2是整数
此时可用谓词公式把上述三个语句表示为： （1） BIGGER（高山，父亲（高山）） （2） COMPUTER（刘水）∧ ~ LINK（刘水， 程序） （3） （ x）(M(x)→LOVE（x，labour)) 例，设有下列语句： （1） 自然数都是大于零的整数。 （2） 所有整数不是偶数就是奇数。 （3） 偶数除以2 是整数。 2 . 2 . 1 表示方法导引