产生式系统把推理问题统一转化为路径搜索

产生式系统提供了一个能同时描述下棋、拼图、逻辑推理等看似毫不相关的问题的统一框架，由三部分组成：状态集合（问题可能出现的每一种局面，含开始状态和目标状态）、产生式集合（能把系统从一个状态转换到另一个状态的操作，如移动一个方块或应用一条推理规则）、控制系统（决定下一步该用哪个产生式的逻辑）。一旦某个问题被表述成产生式系统，它就可以被概念化为一张由状态节点和产生式箭头组成的状态图，控制系统要做的事情统一变成了”在这张图里找一条从开始状态到目标状态的路径”。发散：这个抽象的威力在于它把表面上千差万别的问题（拼图游戏、下棋、逻辑演绎）全部收敛到同一个数学结构（图搜索）上——一旦某个问题能被表述成产生式系统，就可以直接套用同一套通用搜索算法去求解，不必为每类问题单独发明专属的解题思路，这正是抽象的核心价值：把具体问题的差异隐藏起来，让底层算法得以被广泛复用。