基于归结原理的推理系统

【文件属性】：
文件名称：基于归结原理的推理系统
文件大小：271KB
文件格式：RAR
更新时间：2011-01-04 06:14:21
本推理系统可用于命题、谓词、注解命题和注解谓词的自动推理，系统自动识别是何种类型推理。

注解命题和注解谓词的推理可以解决一般的推理中的不协调问题（即系统中存在矛盾）。

【文件预览】：
基于归结原理的推理系统
----21.TXT(632B)
----23.txt(202B)
----Thelma_Steve.txt(247B)
----dolphin.txt(57B)
----13.txt(438B)
----02.txt(39B)
----club.txt(717B)
----22.txt(191B)
----26.txt(345B)
----06.txt(95B)
----Pete_Steve.txt(191B)
----Thief.txt(345B)
----zhaoqiansenli.TXT(632B)
----unify.HLP(5KB)
----muder_case_answer.txt(620B)
----integer.txt(380B)
----01.txt(39B)
----Barber.TXT(213B)
----subsume.HLP(5KB)
----resolution.GID(8KB)
----equals.txt(194B)
----resolution.HLP(9KB)
----dog_cat.txt(247B)
----19.TXT(213B)
----muder_case-1.txt(564B)
----04.txt(66B)
----16.txt(47B)
----14.txt(512B)
----25.txt(216B)
----Innocent.txt(439B)
----contradication.txt(75B)
----killer_2.txt(620B)
----father_mother.txt(217B)
----11-2.txt(601B)
----killer-1.txt(564B)
----natural_number.txt(389B)
----20.TXT(307B)
----Resolution.exe(734KB)
----03.txt(31B)
----24.txt(194B)
----10.txt(208B)
----husband_wife.txt(247B)
----05.txt(57B)
----Marcus_Caesar.txt(512B)
----17.txt(45B)
----99.txt(75B)
----john_peanat.txt(360B)
----Father_brother.TXT(307B)
----Equal.HLP(6KB)
----09.txt(360B)
----equal.txt(202B)