对基于规则的正向演绎系统,目标表达式中的"∧"号在与或树中表达为"与"的关系,"∨"号在与或树中表达为"或"的关系。
出自:计算机科学