H.6 小结
本附录介绍了意义的表示方法。主要内容包括：
计算语言学研究意义的一种主要方法，是建立形式意义表示，捕捉语言输入中与意义有关的内容。这些表示旨在弥合语言与日常世界知识之间的鸿沟。
规定这些表示的句法和语义的框架称为意义表示语言。自然语言处理和人工智能使用着多种多样的此类语言。
这类表示需要支持语义处理的实际计算要求，包括确定命题真值、支持无歧义表示、表示变量、支持推理，以及具备足够的表达能力。
人类语言用多种多样的特征来传达意义，其中最重要的一项是传达谓词–论元结构的能力。
一阶逻辑是一种已有深入理解、计算上可处理的意义表示语言，它提供了意义表示语言所需的大部分能力。
状态和事件等语义表示的重要元素，可以在 FOL 中捕捉。
语义网络和框架也可以在 FOL 框架内捕捉。
现代描述逻辑由完整一阶逻辑中实用且计算上可处理的子集构成。描述逻辑最突出的应用是 Web 本体语言（OWL），后者用于规定语义网。