常用的二种盲目搜索方法是（）搜索和完全式搜索。

P（B|A）表示在规则A→B中，证据A为真的作用下结论B为真的（）。

填空题P（B|A）表示在规则A→B中，证据A为真的作用下结论B为真的（）。

产生式系统的推理过程中，从可触发规则中选择一个规则来执行，被执行的规则称为（）。

填空题产生式系统的推理过程中，从可触发规则中选择一个规则来执行，被执行的规则称为（）。

合一算法：求非空有限具有相同谓词名的原子公式集的（）。

填空题合一算法：求非空有限具有相同谓词名的原子公式集的（）。