文件名称:gui_jie_tui_li
介绍说明－－下载内容均来自于网络，请自行研究使用
本推理系统可用于命题、谓词、注解命题和注解谓词的自动推理，系统自动识别是何种类型推理。注解命题和注解谓词的推理可以解决一般的推理中的不协调问题（即系统中存在矛盾）-The reasoning system can be used proposition, predicate, annotations and comments predicate of propositional reasoning, the system automatically recognizes what type inference. Annotations and comments predicate proposition reasoning can solve the general problem of uncoordinated reasoning (ie, contradictions exist in the system)
(系统自动生成,下载前可以参看下载内容)
下载文件列表
基于归结原理的推理系统\01.txt
......................\02.txt
......................\03.txt
......................\04.txt
......................\05.txt
......................\06.txt
......................\09.txt
......................\10.txt
......................\11-2.txt
......................\13.txt
......................\14.txt
......................\16.txt
......................\17.txt
......................\19.TXT
......................\20.TXT
......................\21.TXT
......................\22.txt
......................\23.txt
......................\24.txt
......................\25.txt
......................\26.txt
......................\99.txt
......................\Barber.TXT
......................\club.txt
......................\contradication.txt
......................\dog_cat.txt
......................\dolphin.txt
......................\Equal.HLP
......................\equal.txt
......................\equals.txt
......................\Father_brother.TXT
......................\father_mother.txt
......................\husband_wife.txt
......................\Innocent.txt
......................\integer.txt
......................\john_peanat.txt
......................\killer-1.txt
......................\killer_2.txt
......................\Marcus_Caesar.txt
......................\muder_case-1.txt
......................\muder_case_answer.txt
......................\natural_number.txt
......................\Pete_Steve.txt
......................\Resolution.exe
......................\resolution.HLP
......................\subsume.HLP
......................\Thelma_Steve.txt
......................\Thief.txt
......................\unify.HLP
......................\zhaoqiansenli.TXT
基于归结原理的推理系统