填空题
归结法中,可以通过()的方法得到问题的解答
修改证明树
填空题 证据理论是经典概率论的一种扩充形式,构成这一理论的函数有()、()和()
填空题 产生式系统是由()、()和()三部分组成的.
填空题 目前所用的知识表示形式有()、()、()等