Description: 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)
To Search:
File list (Check if you may need any files):
基于归结原理的推理系统\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
基于归结原理的推理系统