多项选择题
对于逆向归纳法求解步骤下列说法正确的是（）
A.从开始阶段行动的参与人决策开始考虑B.考虑次后阶段行动的人的决策，直至确定了第一阶段行动人的决策C.画出动态博弈的博弈树D.找出均衡路径
判断题 鲁宾逊归结原理应用反证法，即欲证明P→Q，只要证明P和非Q的合取为F。
判断题 自然演绎推理和归结演绎推理属于确定性推理。
多项选择题 一个产生式系统由哪几部分组成？（）
