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

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

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