資源簡介
簡介:本程序為朱福喜、朱三元、伍春香編著的《人工智能原理》（清華大學出版社）一書的關于合一算法的演示程序。合一算法：文字L1和L2如果經過執行某個代換s,滿足L1s=L2s，則稱L1與L2可合一，s稱為其合一元。本程序可判斷任意兩個文字能否合一，若能合一，則給出其合一元。1. 合一：文字1和文字2必須是有效的（目前沒有對非法的文字做判別）；2．謂詞項中首字母為大寫的為常量，小寫為變量，函數名首字母應該為小寫；3．表格化：將文字表格化，為合一算法的基礎算法。
代碼片段和文件信息
?屬性????????????大小?????日期????時間???名稱
-----------?---------??----------?-----??----
?????文件???????4744??2006-03-02?17:07??合一算法\unify.HLP
?????文件?????486400??2006-03-02?17:07??合一算法\unify.exe
?????目錄??????????0??2005-12-14?17:24??合一算法
-----------?---------??----------?-----??----
???????????????491144????????????????????3
-----------?---------??----------?-----??----
?????文件???????4744??2006-03-02?17:07??合一算法\unify.HLP
?????文件?????486400??2006-03-02?17:07??合一算法\unify.exe
?????目錄??????????0??2005-12-14?17:24??合一算法
-----------?---------??----------?-----??----
???????????????491144????????????????????3
- 上一篇：清華大學校園地圖高清3D版本
- 下一篇：班級檔案管理系統
評論
共有 條評論
川公網安備 51152502000135號