单项选择题 C（B/A）表示在规则A->B中，证据A为真的作用下结论为真的是（）。

单项选择题 当前归结式是（）时，则定理得证。

单项选择题 下列不在人工智能系统的知识包含的4个要素是（）。