相关术语

一些术语的解释：

 

产生式规则表示法

一种知识表示方法。产生式规则由左部的模式和右部的动作两部分组成，左部的模式确定该规则可应用的条件，右部描述应用该规则时要采取的行动，得到的结论或状态。

 

语义网络表示法

一种知识表示方法。语义网络由一些用有向图表示的三元组（结点1，弧，结点2）连接而成，结点表现为自然语言的词和短语的概念，弧是结点之间的语义关系。

 

框架表示法

一种知识表示方法，以框架方式表示将特征与表达概念或实体的结点联系在一起，其中特征借助于槽和它们的值来描述。

 

谓词逻辑表示法

利用谓词逻辑表示自然语言知识的方法。谓词表示对客体的描述，谓词的项则代表某个领域的客体。

 

知识表示系统

用来表示知识的形式化系统，包括语言学知识（如句法、语义等）和外部世界知识（如常识和领域知识等）。

 

知识工程

以知识为处理对象，以能在计算机上表达和运用知识为主要手段的应用性研究和技术。主要包括知识表示、知识应用和知识获取的方法，实现知识处理的工具和技术等。

 

知识模型

各种知识结构的统称。知识结构指的是知识表示方法，已有的知识结构有框架、脚本、定型和规则模型等形式。

 

元知识

关于知识的知识，规定系统如何使用它所知道的知识及其限制。例如在专家系统中，元知识告诉系统如何运行或推理。

 

元规则

描述一组给定的规则在何种条件、顺序或方式下可以运用的一种规则。

 

形式语言理论

用数学方法研究自然语言和人工语言的语法的理论，只研究语言的组成规则，不研究语言的含义。

 

框架

一种数据结构。它与特定领域的知识有关，由槽组成，槽能接受特定属性的值，称作侧面，从这些侧面，借助于适当的过程可引出推理规则。

 

知识库

为了满足求解问题的需要，按照一定的知识表示方式在计算机系统中组织、存储和使用的互相联系的知识集合。

 

形式文法
形式化语法规则的集合。这些规则是采用特殊符号写成的。用尖括号<>将语法成分的名字括起来；随后用::=表示“其范例是”；接着是其具体范例的表达式或符号。如果有多个范例，则在两个范例之间用符号“|”分隔开来。

 

 

语言知识库
在计算机内存储的语言知识的集合。它是计算机从语音、文字、词汇、句法、语义、语用等角度对语言进行信息处理的基础。

语言模型
语言客观事实的形式化模拟。语言模型是语言客观事物的近似物，语言模型与语言客观事物之间的关系，与数学上的抽象直线与客观世界中存在的各种各样的直线之间的关系类似。

 

 

长距离依存
句子中在逻辑上有依存关系的两个成分被其他成分分隔开来的现象。

 

知识表示
用形式化的表达方式表示常识、知识和推理过程。目的是让计算机能够自动分析自然语言中体现的常识知识及特定的语言交际环境中出现的具体知识。