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

当前归结式是（）时，则定理得证。A.永真式B.包孕式C.空子句D.假子句

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

下列不在人工智能系统的知识包含的4个要素是（）。A.事实B.规则C.控制D.关系

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

从一般性知识推出适合于某一个具体情况的推理过程是（）。A.决策B.逻辑C.演绎D.证据

单项选择题从一般性知识推出适合于某一个具体情况的推理过程是（）。