文件名称:gui_jie_tui_li
下载
别用迅雷、360浏览器下载。
如迅雷强制弹出，可右键点击选“另存为”。
失败请重下，重下不扣分。
如迅雷强制弹出，可右键点击选“另存为”。
失败请重下，重下不扣分。
介绍说明－－下载内容均来自于网络，请自行研究使用
本推理系统可用于命题、谓词、注解命题和注解谓词的自动推理，系统自动识别是何种类型推理。注解命题和注解谓词的推理可以解决一般的推理中的不协调问题（即系统中存在矛盾）-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
基于归结原理的推理系统