填空題

利用歸結原理證明定理時，若得到的歸結式為（），則結論成立。

答案：空集

你可能感興趣的試題

謂詞邏輯是一種表達能力很強的形式語言，其真值的特點和命題邏輯的區(qū)別是（）

答案： 10

【簡答題】人工智能主要有哪幾大研究學派？

答案：（1）符號主義學派：由心理學途徑產生，符號主義認為人工智能起源于數理邏輯，人類認識（智能）的基本元素是符號，而智能行為則...