A.原则上可解一个问题与实际上解决该问题是不同的
B.通常情况下逻辑推导的结果是不确定的
C.获取非形式的知识并用逻辑表示法要求的形式术语来陈述之是不容易的
D.利用逻辑进行推导的推导过程是复杂的
A.在计算信息增益值过程中,需要利用所得到的新推理规则和旧推理规则分别涵盖的正例和反例数目
B.信息增益值大小与背景知识样例数目有关
C.信息增益值用来判断向推理规则中所加入前提约束谓词的质量
D.在算法结束前,每次向推理规则中加入一个前提约束谓词,该前提约束谓词得到的新推理规则具有最大的信息增益值