人工智能导论：09逻辑与推理中的命题逻辑是什么？｜AI入门必学课程

[视频作者] 浙江大学吴飞老师

[视频时长] 17:6

[视频类型] 计算机技术

本章节开始会给大家介绍人工智能重点逻辑与推理，l 逻辑是探索、阐述和确立有效推理原则的学科，是用数学方法来研究关于推理和证明等问题的研究。符号主义人工智能是通过演绎和归纳手段对观测现象进行分析，通过逻辑方法对符号及其关系进行计算，实现逻辑推理，辨析符号所描述的内容是否正确。 本期所讲的命题逻辑是指应用一套形式化规则对符号表示的描述性陈述进行推理的系统。由若干原子命题通过逻辑运算符构成复合命题，通过命题联结词对已有命题进行组合可以得到新命题。通过真值表可以计算复合命题的真假，当两个命题在所有情况下都具有相