一阶谓词演算语义

一阶谓词演算语义（semantics of first order predicate calculus），文学-语言文字-计算语言学及语料库语言学-计算语言学-一阶谓词演算，借助于一阶谓词演算知识库与这个知识库所模拟的外部世界中的客体、性质和关系而获得的关于这些客体、性质和关系的语义。一阶谓词演算的句子可以根据它们所编码的命题是否与外界世界相符而被指派“真”（True）或“假”（False）的值。例如，英语句子“Log-house is near KAIST.”（Log-house离韩国科学技术院很近。）在这个句子中，“Log-house”是一家餐厅，“KAIST”是韩国科学技术院的简称，捕捉在一阶谓词演算中这个例子的意义包括辨认与句子中的各种语法成分相对应的“项”和“谓词”，并构造逻辑公式，用以表达那些反映在这个句子中的单词和句法中所蕴涵的关系。