人工智能练习题

练 习 题一、选择题。（每题2分）用归结原理证明定理时，若当前的归结式是_____,则定理得证。A.永真式 B.矛盾式 C.空子句在谓词逻辑知识表达法中，用不同于某变量的项(常量，变量，函