你即將離開本站

並前往https://pop0726.github.io/ai/text/chapter4/section2/2_3.htm

人工智能导论

在谓词逻辑的归结过程中，寻找项之间合适的变量置换使表达式一致是一个很重要的过程，这个过程称为合一。下面先讨论置换的几个概念，然后再给出合一算法。

確定！ 回上一頁

查詢 「合文字置換」的人也找了：

  1. 合體字
    2.
  2. 合文字產生器
    3.
  3. 合字
    4.
  4. 合文誌
    5.
  5. 合字文間
    6.