人工智能的算法

【文件属性】：

文件名称：人工智能的算法

文件大小：195KB

文件格式：RAR

更新时间：2011-01-04 06:11:39

归类算法

归类：对子句L和M，若存在一个代换s,使得Ls为M的一个子集，则L将M归类。
归类测试的目的是判断两个子句间是否有归类关系，如果有，在推理过程中应该将被归类的子句删除，以提高推理效率。

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