世界上每一个国家或民族都有自己的语言文字课件

1、世界上每一个国家或民族都有自己的语言文字 世界上每一个国家或民族都有自己的语言文字，世界上每一个国家或民族都有自己的语言文字，它是人们表达思想、交流信息的工具。知识表示是人它是人们表达思想、交流信息的工具。知识表示是人工智能研究的一个重要课题，也是机器翻译重要的一工智能研究的一个重要课题，也是机器翻译重要的一环。无论是词法分析、句法分析、语法分析和语义分环。无论是词法分析、句法分析、语法分析和语义分析等，要建立各种规则，首先遇到的就是所涉及的知析等，要建立各种规则，首先遇到的就是所涉及的知识如何加以表示。不同的分析方式有不同的知识表示识如何加以表示。不同的分析方式有不同的知识表示方法，这里不单

2、是解决如何将知识存储在计算机中的方法，这里不单是解决如何将知识存储在计算机中的问题，更重要的是应该能够方便且正确地使用知识。问题，更重要的是应该能够方便且正确地使用知识。合理的知识表示，可以使机器翻译中分析环节变得容合理的知识表示，可以使机器翻译中分析环节变得容易，提高机译效率。易，提高机译效率。 2 . 1 概述概述第第 2 章章 相关知识表示方法相关知识表示方法世界上每一个国家或民族都有自己的语言文字 一个好的知识表示方法应具备以下特点：一个好的知识表示方法应具备以下特点： （ 1） 具有表示机器翻译某部分分析所需要知识的能具有表示机器翻译某部分分析所需要知识的能力，并保证知识是相容的；力

3、，并保证知识是相容的； （ 2） 具有从已知知识推到出新知识的能力，容易建具有从已知知识推到出新知识的能力，容易建立表达新知识所需要的新结构；立表达新知识所需要的新结构； （ 3） 便于新知识的获取，最简单的情况是能够由人便于新知识的获取，最简单的情况是能够由人直接输入知识到相应模块中；直接输入知识到相应模块中； （4 ） 便于分析的完成，且是高效率的。便于分析的完成，且是高效率的。2 . 1 概述概述世界上每一个国家或民族都有自己的语言文字 表示是为解决某一特定问题所作的一组约定，是知表示是为解决某一特定问题所作的一组约定，是知识的形式化或符号化过程。知识表示是关于各种数据结识的形式化或符号

4、化过程。知识表示是关于各种数据结构及其解释过程的结合。知识表示的方法研究各种数据构及其解释过程的结合。知识表示的方法研究各种数据结构的设计，以把一个问题的各种知识通过这些数据结结构的设计，以把一个问题的各种知识通过这些数据结构最后以程序实现。正如我们可以用不同的方式描述同构最后以程序实现。正如我们可以用不同的方式描述同一事物一样，对于同一种知识可以采用不同的表示方法。一事物一样，对于同一种知识可以采用不同的表示方法。从理论上讲，任一种知识只要采用一种模式表示出来就从理论上讲，任一种知识只要采用一种模式表示出来就行了，但不同的表示方法会带来分析的难易程度不同。行了，但不同的表示方法会带来分析的难

5、易程度不同。迄今为止，还没有找到一种通用、完善的知识表示模式，迄今为止，还没有找到一种通用、完善的知识表示模式，知识表示还没有完善的理论可循。知识表示还没有完善的理论可循。 2 . 1 . 1 知识表示的一般属性知识表示的一般属性世界上每一个国家或民族都有自己的语言文字 知识表示针对一个具体问题把已有的知识以某种方知识表示针对一个具体问题把已有的知识以某种方法存储在计算机中，一种表示方法的选取往往由问题的法存储在计算机中，一种表示方法的选取往往由问题的自然结构所导致，如果一个问题是基于唯一经验的结合，自然结构所导致，如果一个问题是基于唯一经验的结合，表达方法也就是唯一的。知识表示的目的是知识的

6、利用，表达方法也就是唯一的。知识表示的目的是知识的利用，由于机器翻译系统研究的特点，知识利用一是各部分的由于机器翻译系统研究的特点，知识利用一是各部分的分析，再就是新知识的获取。因此，评价知识表示方法分析，再就是新知识的获取。因此，评价知识表示方法的好坏的准则就是分析的效率和新知识获取能力。的好坏的准则就是分析的效率和新知识获取能力。2 . 1 . 1 知识表示的一般属性知识表示的一般属性世界上每一个国家或民族都有自己的语言文字 知识表示的扩展能力体现在模块中某项知识的增加、知识表示的扩展能力体现在模块中某项知识的增加、删除或修改尽量保持对其余部分不产生大的影响。这就要删除或修改尽量保持对其余

7、部分不产生大的影响。这就要求表示的单项最小数据结构单元以及应用具有相对的独立求表示的单项最小数据结构单元以及应用具有相对的独立性，即表示模式的模块性。模块性的结构以及由这样的结性，即表示模式的模块性。模块性的结构以及由这样的结构所产生的软件易于维护、理解，单项的操作易于实现。构所产生的软件易于维护、理解，单项的操作易于实现。非模块性结构的问题在于知识的含义取决于知识被利用的非模块性结构的问题在于知识的含义取决于知识被利用的上下文，从而单个数据结构的变化往往引起各种交互作用上下文，从而单个数据结构的变化往往引起各种交互作用的连琐反应。不同的知识表示模式中，数据结构间所固有的连琐反应。不同的知识表

8、示模式中，数据结构间所固有的交互作用程度不一，但各种知识的交互作用的控制仍是的交互作用程度不一，但各种知识的交互作用的控制仍是所有表示模式的重要特征之一。我们不能期望有完全模块所有表示模式的重要特征之一。我们不能期望有完全模块化表示的系统，因为模块化同知识表示某些属性有相互制化表示的系统，因为模块化同知识表示某些属性有相互制约的地方。各种表示方法的模块化程度不一样，有的较强。约的地方。各种表示方法的模块化程度不一样，有的较强。 2 . 1 . 2 知识表示的模块化和简单知识表示的模块化和简单化化世界上每一个国家或民族都有自己的语言文字 知识的检索和推理是系统控制级知识，一个机器知识的检索和推理

9、是系统控制级知识，一个机器翻译系统中一旦知识表示方法选定以后，它们也就相翻译系统中一旦知识表示方法选定以后，它们也就相应地被确定下来。如果一种表示方法的数据结构过于应地被确定下来。如果一种表示方法的数据结构过于复杂，难以实现，则必然给系统控制程序的设计带来复杂，难以实现，则必然给系统控制程序的设计带来很大困难，影响翻译的效率。因此，从对知识的检索很大困难，影响翻译的效率。因此，从对知识的检索和各部分分析来说，知识表示方法在数据结构的组织和各部分分析来说，知识表示方法在数据结构的组织上应要求尽可能简单、一致，即保持清晰性。清晰的上应要求尽可能简单、一致，即保持清晰性。清晰的数据结构便于系统的正确

10、性和一致性检查。但另一方数据结构便于系统的正确性和一致性检查。但另一方面，过于简单、一致的数据结构既不适宜表达复杂问面，过于简单、一致的数据结构既不适宜表达复杂问题，同时也会影响系统的效率。题，同时也会影响系统的效率。2 . 1 . 2 知识表示的模块化和简单知识表示的模块化和简单化化世界上每一个国家或民族都有自己的语言文字 谓词逻辑是一种形式语言，也是目前谓词逻辑是一种形式语言，也是目前为止能够表达人类思维活动规律的一种最为止能够表达人类思维活动规律的一种最精确的语言，它与人们的自然语言比较接精确的语言，它与人们的自然语言比较接近，又可方便的存储到计算机中作精确的近，又可方便的存储到计算机中

11、作精确的处理。因此，它成为最早应用于人工智能处理。因此，它成为最早应用于人工智能表示知识的一种方法。表示知识的一种方法。2 . 2 一阶谓词逻辑表示方法一阶谓词逻辑表示方法世界上每一个国家或民族都有自己的语言文字 规则通常用蕴含式表示，例如对于规则通常用蕴含式表示，例如对于“如果如果X，则，则Y”，可表示为，可表示为 XY 用谓词公式表示知识时用谓词公式表示知识时, 需要首先定义谓词需要首先定义谓词, 指指出每个谓词的含义出每个谓词的含义, 然后用连接词把有关的谓词连然后用连接词把有关的谓词连接起来接起来, 形成一个表达的完整意义。形成一个表达的完整意义。2 . 2 . 1 表示方法导引表示方

12、法导引世界上每一个国家或民族都有自己的语言文字 例，设有下列语句：例，设有下列语句： （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 表示方法

13、导引表示方法导引世界上每一个国家或民族都有自己的语言文字 此时可用谓词公式把上述三个语句表示为：此时可用谓词公式把上述三个语句表示为： （1） BIGGER（高山，父亲（高山）（高山，父亲（高山） （2） COMPUTER（刘水）（刘水） LINK（刘水，（刘水，程序）程序） （3） （ x）(M(x)LOVE（x，labour) 例，设有下列语句：例，设有下列语句： （1） 自然数都是大于零的整数。自然数都是大于零的整数。 （2） 所有整数不是偶数就是奇数。所有整数不是偶数就是奇数。 （3） 偶数除以偶数除以2 是整数。是整数。2 . 2 . 1 表示方法导引表示方法导引世界上每一个国家或民

14、族都有自己的语言文字 定义谓词如下：定义谓词如下： N（x）：）：x 是自然数是自然数 I（x ）：）：x 是整数是整数 E（x）：）：x 是偶数是偶数 O（x）：）：x 是奇数是奇数 GZ（x）：）：x 大于零大于零 另外，用函数另外，用函数S（x）表示）表示 x 除以除以 2 。此时，上述三个句子可用。此时，上述三个句子可用谓词公式表示为：谓词公式表示为： ( x)(N(x)GZ(x)I(x) ( x)(I(x)E(x)O(x) ( x)(E(x)I(S(x) 2 . 2 . 1 表示方法导引表示方法导引世界上每一个国家或民族都有自己的语言文字 我们能够容易地把语言中各种句子表示为逻辑命题

15、，我们能够容易地把语言中各种句子表示为逻辑命题，把各种命题写成合适公式。把各种命题写成合适公式。 例如：例如： 雨天雨天 表示为表示为 RAINING 晴天晴天 表示为表示为 SUNNY 雾天雾天 表示为表示为 FOGGY若为雨天，则若为雨天，则 非晴天非晴天 表示为表示为 RAININGSUNNY 2 . 2 . 2 逻辑表示的结构逻辑表示的结构世界上每一个国家或民族都有自己的语言文字 应用这些命题应用这些命题, 能够译出能够译出“如果天下雨就不是晴天如果天下雨就不是晴天”的原意。但是，命题逻辑的结构需要规范，例如：的原意。但是，命题逻辑的结构需要规范，例如： 李明是个工人李明是个工人 可写

16、为可写为 LIWORKER如果还要表示如果还要表示 王华也是个工人王华也是个工人 应写出应写出 WANGWORKER 这是一些完全独立的格式，可以规范为如下形式：这是一些完全独立的格式，可以规范为如下形式： WORKER （LI） WORKER （WANG）这就要好得多，因为上述表达结构反映知识本身的结构。这就要好得多，因为上述表达结构反映知识本身的结构。2 . 2 . 2 逻辑表示的结构逻辑表示的结构世界上每一个国家或民族都有自己的语言文字 谓词逻辑的基本组成部分是谓词符号、变量符号、谓词逻辑的基本组成部分是谓词符号、变量符号、函数符号和常量符号，并用圆括弧、方括弧、花括弧和函数符号和常量符

17、号，并用圆括弧、方括弧、花括弧和逗号隔开，以表示论域内的关系。逗号隔开，以表示论域内的关系。 例如，函数符号例如，函数符号mother 可用来表示某人与他（或她）可用来表示某人与他（或她）的母亲之间的一个映射。可用下列公式表示的母亲之间的一个映射。可用下列公式表示“李（李（LI）的母亲与他的父亲结婚的母亲与他的父亲结婚”这个句子：这个句子： MARRIEDfather(LI), mother(LI) 一般用大写字母串表示谓词符号，小写字母串表示一般用大写字母串表示谓词符号，小写字母串表示函数符号，如函数符号，如father和和 mother等。等。2 . 2 . 2 逻辑表示的结构逻辑表示的结

18、构世界上每一个国家或民族都有自己的语言文字 在谓词分析中，一个合适的公式可以通过规定语言的在谓词分析中，一个合适的公式可以通过规定语言的元素在论域内的对应关系来解释。对于每个谓词符号，必元素在论域内的对应关系来解释。对于每个谓词符号，必须规定定义域内的一个相应关系；对于每个常量符号，必须规定定义域内的一个相应关系；对于每个常量符号，必须规定定义域内的一个相应实体；对于每个函数符号，必须规定定义域内的一个相应实体；对于每个函数符号，必须规定定义域内的一个相应函数。这些规定确定了谓词分须规定定义域内的一个相应函数。这些规定确定了谓词分析语言的语义。在应用中，用谓词分析明确表示有关论域析语言的语义。

19、在应用中，用谓词分析明确表示有关论域内的确定语句。对于已经定义了的某个解释的公式，只有内的确定语句。对于已经定义了的某个解释的公式，只有当其对应的语句在定义域内为真时，才具有值当其对应的语句在定义域内为真时，才具有值T（真）；（真）；而当对应的语句在定义域内为假时，才具有值而当对应的语句在定义域内为假时，才具有值F（假）。（假）。 当一个公式含有变量符号时，对定义域内实体的变量当一个公式含有变量符号时，对定义域内实体的变量可能有几个设定。可能有几个设定。 2 . 2 . 2 逻辑表示的结构逻辑表示的结构世界上每一个国家或民族都有自己的语言文字 原子公式是谓词分析的基本积木块，应用连词原子公式是

20、谓词分析的基本积木块，应用连词（与）、（与）、（或）以及（或）以及（蕴含）等，能够构成比较复杂的合适公式。（蕴含）等，能够构成比较复杂的合适公式。 连词连词用来表示复合句子。例如，句子用来表示复合句子。例如，句子“我喜欢音乐和绘画我喜欢音乐和绘画”可写成：可写成： LIKE（I，MUSIC）LIKE(I, PAINTING) 此外此外, 某些较简单的句子也可以写成复合形式。例如某些较简单的句子也可以写成复合形式。例如“李住在李住在一幢黄色的房子里一幢黄色的房子里”，即可用，即可用 LIVES（LI，HOUSE-1） COLOR(HOUSE-1, YELLOW)来表示，谓词来表示，谓词LIVES

21、表示人与物体（房子）间的关系，而谓词表示人与物体（房子）间的关系，而谓词COLOR则表示物体与其颜色之间的关系。用连词则表示物体与其颜色之间的关系。用连词把几个公式连把几个公式连接起来构成的公式叫做合取，而此合取式的每个组成部分叫做合取接起来构成的公式叫做合取，而此合取式的每个组成部分叫做合取项。项。2 . 2 . 2 逻辑表示的结构逻辑表示的结构世界上每一个国家或民族都有自己的语言文字 连词连词用来表示用来表示“或或”关系。例如，句子关系。例如，句子“李明打篮球李明打篮球或踢足球或踢足球”可表示为：可表示为： PLAYS（LIMING，BASKETBALL）PLAYS(LIMING, FOO

22、TBALL) 用连词用连词把几个公式连接起来所构成的公式叫做析取把几个公式连接起来所构成的公式叫做析取, 而而次析取式的每一组成部分叫做析取项。次析取式的每一组成部分叫做析取项。 合取和析取的真值由其组成部分的真值决定。如果每个合取和析取的真值由其组成部分的真值决定。如果每个合取项均取值合取项均取值T，则其合取值为，则其合取值为T，否则合取值为，否则合取值为F。如果析。如果析取项中至少有一个取取项中至少有一个取T值，则其析取值为值，则其析取值为T，否则取值，否则取值F。2 . 2 . 2 逻辑表示的结构逻辑表示的结构世界上每一个国家或民族都有自己的语言文字 连词连词用来表示用来表示“如果如果-

23、那么那么”的词句。例如，句子的词句。例如，句子“如果如果该书是何平的，那么它是蓝色（封面）的该书是何平的，那么它是蓝色（封面）的”可表示为可表示为 OWNS（HEPLING，BOOK-1） COLOR(BOOK-1, BULE) 又如又如, 句子句子“如果刘华跑得最快，那么他取得冠军如果刘华跑得最快，那么他取得冠军”可表可表示为示为 RUNS（LIUHUA，FASTEST） WINS(LIUHUA , CHAMPION) 用连词用连词连接两个公式所构成的公式叫做蕴含，蕴含的左连接两个公式所构成的公式叫做蕴含，蕴含的左式叫做前项，右式叫做后项。如果前项和后项都是合适公式，式叫做前项，右式叫做后项

24、。如果前项和后项都是合适公式，那么蕴含也是合适公式。那么蕴含也是合适公式。2 . 2 . 2 逻辑表示的结构逻辑表示的结构世界上每一个国家或民族都有自己的语言文字 符号符号（非）用来否定一个公式的真值，也就是说，（非）用来否定一个公式的真值，也就是说，把一个合适公式的取值从把一个合适公式的取值从T变为变为F，或从，或从F变为变为T。例如，。例如，“机器人不在机器人不在2号房间内号房间内”可表示为可表示为 INROOM（ROBOT，r2) 前面具有符号前面具有符号的公式叫做否定。一个合适公式的的公式叫做否定。一个合适公式的否定也是合适公式。否定也是合适公式。 如果把句子限制为至今已介绍过的造句法

25、所能表如果把句子限制为至今已介绍过的造句法所能表示的那些句子，而且也不使用变量项，那么可以把这示的那些句子，而且也不使用变量项，那么可以把这个谓词分析的子集叫做命题分析。命题分析对于许多个谓词分析的子集叫做命题分析。命题分析对于许多简化了的定义域来说，是一种有效的表示，但它缺乏简化了的定义域来说，是一种有效的表示，但它缺乏用有效的方法来表达多个命题的能力。要扩大命题分用有效的方法来表达多个命题的能力。要扩大命题分析的能力，需要公式中的命题带有变量。析的能力，需要公式中的命题带有变量。2 . 2 . 2 逻辑表示的结构逻辑表示的结构世界上每一个国家或民族都有自己的语言文字 有时，一个公式如有时，

26、一个公式如P(x)，对于所有可能的变量，对于所有可能的变量x都具有值都具有值T。这。这个特性可由在个特性可由在P(x)前面加上全称量词（前面加上全称量词（x）来表示。如果至少有一个）来表示。如果至少有一个x值可使值可使P(x)具有值具有值T，那么这一特性可由在，那么这一特性可由在P(x)前面加上存在量词前面加上存在量词(x)来表示。来表示。 例如，句子例如，句子“所有的机器人都是灰色的所有的机器人都是灰色的”可表示为可表示为 (x)ROBOT(x)COLOR(x , GRAY)而句子而句子“1 号房间内有个物体号房间内有个物体”可表示为可表示为 (x)INROOM(x , r1) 这里，这里，

27、x是被量化了的变量。量化一个合适公式上的某个变量是被量化了的变量。量化一个合适公式上的某个变量所得到的表达式也是合适公式。如果一个合适公式中某个变量是经所得到的表达式也是合适公式。如果一个合适公式中某个变量是经过量化的，就把这个变量叫做约束变量，否则就叫它自由变量。在过量化的，就把这个变量叫做约束变量，否则就叫它自由变量。在合适公式中，所有的变量都是受约束的，这样的合适公式叫做句子。合适公式中，所有的变量都是受约束的，这样的合适公式叫做句子。2 . 2 . 2 逻辑表示的结构逻辑表示的结构世界上每一个国家或民族都有自己的语言文字 （1）自然性）自然性 谓词逻辑是一种接近于自然语言的谓词逻辑是一

28、种接近于自然语言的形式语言，人们比较容易接受，用它表示的知识比较形式语言，人们比较容易接受，用它表示的知识比较容易理解；容易理解； （2）精确性）精确性 谓词逻辑是二值逻辑，其谓词公式谓词逻辑是二值逻辑，其谓词公式的真值只有的真值只有“真真”与与“假假”两个，因此可以用它表示两个，因此可以用它表示精确的知识。精确的知识。 （3） 容易实现容易实现 用谓词逻辑表示的知识可以比较用谓词逻辑表示的知识可以比较容易地转换为计算机的内部形式，其分析过程都容易容易地转换为计算机的内部形式，其分析过程都容易在计算机上实现。在计算机上实现。2 . 2 . 3 一阶谓词逻辑表示的特点一阶谓词逻辑表示的特点2 .

29、 2 . 3 . 1 优点优点世界上每一个国家或民族都有自己的语言文字 （1） 效率低效率低 用谓词逻辑表示知识时，把推导与用谓词逻辑表示知识时，把推导与知识的语义分开了，这使得推导过程变长，降低了系知识的语义分开了，这使得推导过程变长，降低了系统的翻译速度。统的翻译速度。 （2）灵活性差）灵活性差 谓词逻辑表示法只能表示精确的谓词逻辑表示法只能表示精确的知识，不能表示不精确的知识，而人类的知识中有许知识，不能表示不精确的知识，而人类的知识中有许多不精确或是模糊的知识，这就使得表示知识的范围多不精确或是模糊的知识，这就使得表示知识的范围受到了限制。受到了限制。2 . 2 . 3 . 2 缺点缺

30、点世界上每一个国家或民族都有自己的语言文字 单元表示是从谓词逻辑引伸过来的一种知识表示方单元表示是从谓词逻辑引伸过来的一种知识表示方法，它将所有的信息描述为一组单元，每个单元建立一法，它将所有的信息描述为一组单元，每个单元建立一些槽，通过填充槽值的办法，描述事物之间的逻辑关系。些槽，通过填充槽值的办法，描述事物之间的逻辑关系。 下面给出一个单元的例子：下面给出一个单元的例子： G： self : (element-of GIVING-EVENTS) giver : JOHN recip : MARY obj: BOOK 2 . 3 单元表示方法单元表示方法世界上每一个国家或民族都有自己的语言文

31、字 它描述的是这样一个事件：它描述的是这样一个事件：JOHN给了给了MARY一本书。一本书。其中其中self , giver 等在等在“：”左边的部分称为槽名，而左边的部分称为槽名，而(element-of GIVING- EVENTS), JOHN等在等在“：”右边右边的部分称为槽值。其中的的部分称为槽值。其中的self 称为伪槽，它没有具体的称为伪槽，它没有具体的逻辑意义，只是说明了给东西事件逻辑意义，只是说明了给东西事件G1是属于给东西事件是属于给东西事件集集 GIVING-EVENTS 中的一个元素。因而上例可以进中的一个元素。因而上例可以进一步理解为：一步理解为：G1属于一个给东西事

32、件，该事件中的给者属于一个给东西事件，该事件中的给者是是JOHN，接收者是，接收者是MARY，所给的东西是书。，所给的东西是书。 通过以上分析，单元表达的是在谓词逻辑中以二元通过以上分析，单元表达的是在谓词逻辑中以二元谓词出现的逻辑关系。上式若用合适公式表达出来就是谓词出现的逻辑关系。上式若用合适公式表达出来就是 EL(G1, GINING-EVENTS)giver(G1, JOHN)recip(G1, MARY)obj(G1, BOOK) 2 . 3 单元表示方法单元表示方法世界上每一个国家或民族都有自己的语言文字 在谓词逻辑中在谓词逻辑中, 可以通过简单的办法将一个多元关系可以通过简单的办

33、法将一个多元关系转换为二元关系。实际上上述公式就是三元关系转换为二元关系。实际上上述公式就是三元关系give(JOHN, MARY, BOOK)的一种二元表示。的一种二元表示。 单元表示法的主要优点是模块化，可以很容易的添加单元表示法的主要优点是模块化，可以很容易的添加新信息，例如要表示出给东西事件所发生的时间，则只需新信息，例如要表示出给东西事件所发生的时间，则只需增添一个表示时间的槽就可以了，而不必修改其它内容。增添一个表示时间的槽就可以了，而不必修改其它内容。 有时槽值可以不是常量符号，如有时槽值可以不是常量符号，如JOHN，而是一个函，而是一个函数表达式，特别是这个函数可能相当于另一单

34、元的槽名。数表达式，特别是这个函数可能相当于另一单元的槽名。这样对于下面的事件：这样对于下面的事件： John给了给了Mary 一本书。一本书。 Bill把钢笔给了从把钢笔给了从John那里得到书的那个人。那里得到书的那个人。2 . 3 单元表示方法单元表示方法世界上每一个国家或民族都有自己的语言文字 我们可以用以下单元表示：我们可以用以下单元表示： G1 self : (element-of GIVING-EVENTS) giver : JOHN recip : MARY obj: BOOK G2 self : (element-of GIVING-EVENTS) giver : BILL

35、recip : recip(G1) obj: PEN 在这个例子中，在这个例子中，recip(G1)和和MARY是描述同一个人的两种不是描述同一个人的两种不同的表示方法。同的表示方法。G2中中recip的槽值，可以通过计算的槽值，可以通过计算recip(G1)值，即值，即在在G1中检索中检索recip的槽值得到。的槽值得到。2 . 3 单元表示方法单元表示方法世界上每一个国家或民族都有自己的语言文字 槽值也可以是一个存在量词量化的变量。槽值也可以是一个存在量词量化的变量。 例如要表示句子例如要表示句子 某人给了某人给了Mary 一本书。一本书。则槽则槽giver的值可以用人的集合的值可以用人的

36、集合PERSONS中的一员的办中的一员的办法给出：法给出： G3 self : (element-of GIVING-EVENTS) giver : (element-of PERSONS) recip : MARY obj : BOOK2 . 3 单元表示方法单元表示方法世界上每一个国家或民族都有自己的语言文字 同样，对于同样，对于JOHN、MARY和和BOOK等实体也可以用等实体也可以用下述单元描述：下述单元描述： JOHN self : (element-of PERSONS) MARY self : (element-of PERSONS) BOOK self : (element-o

37、f PHYS-OBJS) 2 . 3 单元表示方法单元表示方法世界上每一个国家或民族都有自己的语言文字 从以上例子可以看出从以上例子可以看出 ，有关集合和集合的成员关，有关集合和集合的成员关系的概念起了很重要的作用，所以有些特殊的集合描系的概念起了很重要的作用，所以有些特殊的集合描述是很有帮助。为了描述由一些个体构成的集合，可述是很有帮助。为了描述由一些个体构成的集合，可以使用函数以使用函数 the-set-of , 例如例如the-set-of（JOHN，MARY，BKLL）。还可以使用）。还可以使用intersection, union以以及及complement等函数来分别表示集合的或、

38、与、非等。等函数来分别表示集合的或、与、非等。 使用这些有关集合的函数，可以有效地表达析取使用这些有关集合的函数，可以有效地表达析取和否定语句。和否定语句。2 . 3 单元表示方法单元表示方法世界上每一个国家或民族都有自己的语言文字 例如句子例如句子: Jone买了一支笔，它是钢笔或是圆珠笔，但不是红买了一支笔，它是钢笔或是圆珠笔，但不是红色的。可以用下述单元表示：色的。可以用下述单元表示： B1 self : (element-of GIVING-EVENTS) buyer : JOHN bought: (element-of intersection( union(PENS , BALL

39、- PEN) , complement (RED - THINGS) 而句子而句子: John把书给了把书给了Mary 或者或者 Bill。可以表示为。可以表示为: G4 self : (element-of GIVING-EVENTS) giver : JOHN recip : (element - of the - set - of (MARY, BILL) obj: BOOK 2 . 3 单元表示方法单元表示方法世界上每一个国家或民族都有自己的语言文字 有了事件的单元表示，可以通过匹配的方法得到一个提问的解有了事件的单元表示，可以通过匹配的方法得到一个提问的解答。假设有以下事实单元：答。

40、假设有以下事实单元： G1 self : (element-of GIVING-EVENTS) giver : JOHN recip : MARY obj: BOOK G2 self : (element-of GIVING-EVENTS) giver : BILL recip : recip(G1) obj: PEN2 . 3 单元表示方法单元表示方法世界上每一个国家或民族都有自己的语言文字 可以提问：可以提问：“Bill给了谁钢笔？给了谁钢笔？”，该提问可用以下，该提问可用以下的目标单元表示：的目标单元表示： X self : (element-of GIVING-EVENTS) give

41、r : BILL recip : y obj : PEN 该目标单元与事实单元该目标单元与事实单元G2匹配的过程将置换匹配的过程将置换G2/X，recip(G1)/y , 因因 recip(G1)是一个函数，通过在是一个函数，通过在 G1中检中检索索recip值来得到该函数的值，从而得到最终的置换值来得到该函数的值，从而得到最终的置换G2/X, MARRY/y，这样就得到了上述提问的解答。，这样就得到了上述提问的解答。2 . 3 单元表示方法单元表示方法世界上每一个国家或民族都有自己的语言文字 对于谓词逻辑中的蕴含关系，也可以使用单元表对于谓词逻辑中的蕴含关系，也可以使用单元表示。示。 例如句

42、子例如句子 所有计算机系的学生都已经取得毕业文凭所有计算机系的学生都已经取得毕业文凭起蕴含式可以写为起蕴含式可以写为 EL（x , CS-STUDENTS)EQclass(x) , GRAD 对于这类蕴含关系，可以用被称为描绘单元的单对于这类蕴含关系，可以用被称为描绘单元的单元来表示。元来表示。 2 . 3 单元表示方法单元表示方法世界上每一个国家或民族都有自己的语言文字 一个描绘单元描述了另一个单元所标记的集合的每一一个描绘单元描述了另一个单元所标记的集合的每一个体的特性。例如，上述例可以表达为下面的一个单元和个体的特性。例如，上述例可以表达为下面的一个单元和为该单元的每一个体进行说明的描绘

43、单元：为该单元的每一个体进行说明的描绘单元： CS - STUDENDS self : (subset - of STUDENDS) x CS-STUDENDS major : CS class : GRAD 其中其中 x CS-STUDENDS 的含义为的含义为 X 是一个虚拟的是一个虚拟的典型个体典型个体 , 其定义域是集合其定义域是集合 CS-STUDENDS。2 . 3 单元表示方法单元表示方法世界上每一个国家或民族都有自己的语言文字 假设有事实假设有事实“John 是计算机系的学生是计算机系的学生”，并想得到目标，并想得到目标“John 是一个毕业了的学生是一个毕业了的学生”，首先将

44、事实和目标表示为单元形式：，首先将事实和目标表示为单元形式： 事实单元事实单元 JOHN self : (element-of CS - STUDENDS) 目标单元目标单元 class : GRAD 可以正向或逆向地使用描绘单元来达到我们的目的。当正向使可以正向或逆向地使用描绘单元来达到我们的目的。当正向使用时，要注意用时，要注意 xCS-STUDENDS 与事实单元与事实单元JOHN相匹配。分量相匹配。分量的变量的变量 x 与与 CS-STUDENDS的任一元素相匹配。描绘单元应用于的任一元素相匹配。描绘单元应用于事实，从而对它增添了新的槽事实，从而对它增添了新的槽“ major : CS

45、”和和“class : GRAD”，因而扩展之后的事实单元因而扩展之后的事实单元JOHN就与目标单元相匹配了。就与目标单元相匹配了。2 . 3 单元表示方法单元表示方法世界上每一个国家或民族都有自己的语言文字 当逆向使用描绘单元时，它首先应用于目标单元，从当逆向使用描绘单元时，它首先应用于目标单元，从而产生子目标单元而产生子目标单元 JOHN self : (element-of CS - STUDENDS) 由于该子目标单元正好与原始的事实单元相匹配，所由于该子目标单元正好与原始的事实单元相匹配，所以得出目标单元是可以证明的。以得出目标单元是可以证明的。 描绘单元只能描述那些可以解释成只表示有关集合成描绘单元只能描述那些可以解释成只表示有关集合成员的信息的那些蕴含表达式，而对于有些较复杂的蕴含关员的信息的那些蕴含表达式，而对于有些较复杂的蕴含关系则无能为力了。为此，可以引入单元规则的概念，每个系则无能为力了。为此，可以引入单元规则的概念，每个单元规则有前后两部分，且均由一些单元组成。单元规则有前后两部分，且均由一些单元组成。2 . 3 单元表示方法单元表示方法世界