人工智能的算法

【文件属性】：
文件名称：人工智能的算法
文件大小：195KB
文件格式：RAR
更新时间：2011-01-04 06:11:39
归类算法 归类：对子句L和M，若存在一个代换s,使得Ls为M的一个子集，则L将M归类。
归类测试的目的是判断两个子句间是否有归类关系，如果有，在推理过程中应该将被归类的子句删除，以提高推理效率。

【文件预览】：
归类算法
----subsume.HLP(5KB)
----subsume.exe(502KB)