一阶谓词演算推理（inference in first order predicate calculus），文学-语言文字-计算语言学及语料库语言学-计算语言学-一阶谓词演算，在一阶谓词演算中，能够给知识库增加可靠的新命题，或者能够确定那些不是明确地包含在知识库中命题的真值的运算。一阶谓词演算中最重要的一种推理是取式推理——关于前提和结论关系的推理，即“if-then推理”，定义如下：……（1）式中和均为一阶谓词演算的公式。例如，VegetarianRestaurant (Sanchon)在这个取式推理中，“VegetarianRestaurant (Sanchon)”是前提，根据取式推理，可以得出结论“Serves (Sanchon,VegetarianFood)”。这样一来，就可以从“Sanchon是素食饭馆”的前提推理出“Sanchon供应素食”的结论。实际上可以从两方面来使用取式推理：自前向后链接和自后向前链接。①自前向后链接。