人工智能模型与算法 逻辑与推理 提纲 1命题逻辑 2 谓词逻辑 3 知识图谱 逻辑与推理是人工智能的核心问题 逻辑是探索阐述和确立有效推理原则的学 科提出了演绎推理中三段论方法的古希 腊学者亚里士多德被誉为逻辑学之父一 般而言逻辑是用数学方法来研究关于推理 和证明等问题的研究 亚里士多德Aristotle公元 前384-前322 古代先哲 古希腊人 逻辑与推理是人工智能的核心问题 墨翟 尊称为墨