语义分析和句法分析是自然语言理解系统的两个最基本的功能模块。语义分析的任务是根据输入句子的句法结构和句中每个实词的词义推导出能反映这个句子意义(即句义)的某种形式化表示。一般来说，只有在获得输入语句可靠的语义表示之后，系统才能进一步完成问答、释义、翻译和文摘生成等任务。 同人工智能研究中的知识表示问题一样，用什么形式来表达句义这个问题，无论在理论上还是在实现上都是十分重要的研究课题。尽管谓词逻辑、语义网络、格语法和概念依存理论等语义表达形式都曾经在这一领域中作出过有益的贡献，由于篇幅关系我们只能对谓词-变元这一种语义表达形式作一番详细的介绍。 10.1 谓词-变元 在任何一本数理逻辑的教科书里都可以找到用一阶谓词来表达自然语言的陈述语句的例子，所以利用谓词来表示一个句子的意思是一种很自然的想法。 本节将介绍美国IBM沃森研究中心M.McCord提出的逻辑式语言LFL(Logical Form Language)，沃森研究中心已将这种语义表示形式应用于一个大学文档数据库的问答系统和一个英德机器翻译系统。 LFL表达式可以用Prolog语言的项来表示，并由Prolog程序生成。在象数据库查询这样的应用中，LFL表达式可以看作是Prolog的目标而被prolog系统直接执行，从而产生用户所需的响应。这些都是这种基于逻辑的语义表示形式的优点。 |