填空题 归结法中，可以通过（）的方法得到问题的解答

填空题 证据理论是经典概率论的一种扩充形式，构成这一理论的函数有（）、（）和（）

填空题 产生式系统是由（）、（）和（）三部分组成的.