演繹推論演绎推理

在教科书中学习符号主义AI与逻辑推理

定义演绎推理（演繹推論）是把一般规律套用到个别事实上，推出关于该个体的结论的推理。

解说典型的形式是三段论，由一般规律（大前提）和个别事实（小前提）得出结论。只要前提正确、步骤遵守逻辑规则，结论就一定正确。在符号主义 AI 中，对用谓词逻辑写好的知识进行演绎推理，就能推出原本没有写出的事实。

类比如果知道“这栋楼全楼禁烟”，那么不论走进哪个房间，不用确认也知道那里不能吸烟。

记忆钩子“绎”有从线头抽出丝来的意思，记作从一般规律这个线头里抽出个别的答案。