也叫“有定子句文法”。标准的知识表示方式之一。它使用谓词逻辑来控制一组规则子句的分析。每个规则子句的形式为：结论：前提1，前提2，……前提n。其中的“前提”，是一个能够测试真假值的谓词逻辑的原子。它可以是另一个规则子句的结论，也可以是一个预先存储在知识数据库中的简单的事实子句。“结论”也是一个谓词逻辑的原子。它只有在所有的前提均被证明为真时才为真。逻辑程序接受一个原子形式的目标，并把它与所存子句的结论比较。当发现一个匹配时，就试图通过把匹配的结论的前提作为子目标继续搜索，以证明目标。当所有的子目标均为真时，目标本身也就被证明了。假定知识数据库中存在着如下一组规则子句和事实子句：父子关系(X，A)：父亲(X，A)，男性(A)。父亲(老王，小王)。男性(小王)。运用上述控制程序，就能证明象“?－父子关系(老王，小王)”这样的目标。
树形分析法(语言)：自然语言自动处理中借助于树形图来说明句子的结构、层次、语义等的方法。树形图由树节和树枝构成。每一树节或者有-个或一串受其支配的子辈树节，或者有一个支配它的父辈树节，或者兼而有之。子辈树节处..
语言的熵(语言)：在语言交际过程中测量语言符号出现的不定度大小的量度。语言的熵因语言符号的数目和出现概率的不同而不同。数目越多，出现概率越均等，熵越高。语言符号出现后，不定度被消除，熵等于零，该符号所负载的信息被获..
预示分析法(语言)：自然语言自动处理的一种方法。采用这种方法，在计算机从左到右按一个方向分析句子的过程中，对于每一个词，都要给出其预示信息，这个预示信息可预示出这个词之后可能出现什么样的语言成分。如果下面一个成分..
齐夫定律(语言)：在按频率递减顺序排列的频率词典中，词的序号和词的频率之间存在着一定的数量关系。可以公式化为：。其中r为词的序号；k和γ都是常数；Pr则是序号为r的词的频率。美国语文学家齐夫(G．K．Zipf)通过实验测出γ=1，K=0..
从属分析法(语言)：把法国语言学家特思尼耶尔(Lucien Tesnière)提出的从属关系语法运用于句法自动分析所得出的一种方法。其基本思想是认为在词结合成句子的时候，词与词之间的关系不是这些词的简单相加，而是由核心成分和..