• 3 一阶逻辑

    3 一阶逻辑

    本章的剩余部分,我们将通过翻译自然语言表达式为一阶逻辑来表示它们的意思。并不是所有的自然语言语义都可以用一阶逻辑表示。但它是计算语义的一个不错的选择,因为它具有足够的表现力来表达语义的很多方面,而且另一方面,有出色的现成系统可用于开展一阶逻辑自动推理。

    下一步我们将描述如何构造一阶逻辑公式,然后是这样的公式如何用来评估模型。