人工智能及其应用
上QQ阅读APP看本书,新人免费读10天
设备和账号都新为新人

2.2 谓词逻辑法

命题逻辑与谓词逻辑是最先用于人工智能的两种逻辑,对于知识的形式化表示,特别是定理的证明发挥了重要作用。虽然命题逻辑能够把客观世界的各种事实表示为逻辑命题,但是它具有较大的局限性。命题逻辑只能进行命题间关系的推理,无法解决与命题结构和成分有关的推理问题,不适合表示比较复杂的问题。