一阶谓词演算(first order predicate calculus; FOPC),文学-语言文字-计算语言学及语料库语言学-计算语言学-一阶谓词演算,研究由客体、函数及关系构成的命题以及使用逻辑量词和命题连接词从这些命题构成的更加复杂的命题和这类命题之间的推理关系的逻辑演算。简称FOPC。一阶谓词演算是一种灵活方便的、容易理解的、在计算上可循的方法,这种方法能够满足语言意义表示的要求。具体地说,一阶谓词演算可以为语言意义表示的可能性验证、推论和表达能力等方面提供坚实的计算基础。一阶谓词演算最引人注目的特征是:它对所表示的事物只进行极为精简且通俗易懂的说明;它所表达的世界包括客体、客体的性质以及客体之间的关系。