<samp id="7a67v"><th id="7a67v"></th></samp>

問答題

【簡答題】什么是置換？什么是合一？

答案：在不同謂詞公式中，往往會出現多個謂詞的謂詞名相同但個體不同的情況，此時推理過程是不能直接進行匹配的，需要先進行變元的替換...

你可能感興趣的試題

【簡答題】什么是混合推理？它由哪幾種實現方式？

答案：

正向推理和逆向推理結合起來所進行的推理稱為混合推理
實現：先正后逆，先逆后正，隨機

【簡答題】什么是逆向推理？其基本過程是什么？

答案：以某個假設目標作為出發(fā)點的推理方法
過程：
（1）將問題的初始證據和要求證的目標（稱為假設）分別放入...