人工智能基于归结原理的推理系统.rar

[{"title":"（50个子文件270KB）人工智能基于归结原理的推理系统.rar","children":[{"title":"基于归结原理的推理系统","children":[{"title":"21.TXT <span style='color:#111;'>632B</span>","children":null,"spread":false},{"title":"23.txt <span style='color:#111;'>202B</span>","children":null,"spread":false},{"title":"Thelma_Steve.txt <span style='color:#111;'>247B</span>","children":null,"spread":false},{"title":"dolphin.txt <span style='color:#111;'>57B</span>","children":null,"spread":false},{"title":"13.txt <span style='color:#111;'>438B</span>","children":null,"spread":false},{"title":"02.txt <span style='color:#111;'>39B</span>","children":null,"spread":false},{"title":"club.txt <span style='color:#111;'>717B</span>","children":null,"spread":false},{"title":"22.txt <span style='color:#111;'>191B</span>","children":null,"spread":false},{"title":"26.txt <span style='color:#111;'>345B</span>","children":null,"spread":false},{"title":"06.txt <span style='color:#111;'>95B</span>","children":null,"spread":false},{"title":"Pete_Steve.txt <span style='color:#111;'>191B</span>","children":null,"spread":false},{"title":"Thief.txt <span style='color:#111;'>345B</span>","children":null,"spread":false},{"title":"zhaoqiansenli.TXT <span style='color:#111;'>632B</span>","children":null,"spread":false},{"title":"unify.HLP <span style='color:#111;'>4.63KB</span>","children":null,"spread":false},{"title":"muder_case_answer.txt <span style='color:#111;'>620B</span>","children":null,"spread":false},{"title":"integer.txt <span style='color:#111;'>380B</span>","children":null,"spread":false},{"title":"01.txt <span style='color:#111;'>39B</span>","children":null,"spread":false},{"title":"Barber.TXT <span style='color:#111;'>213B</span>","children":null,"spread":false},{"title":"subsume.HLP <span style='color:#111;'>4.81KB</span>","children":null,"spread":false},{"title":"equals.txt <span style='color:#111;'>194B</span>","children":null,"spread":false},{"title":"resolution.HLP <span style='color:#111;'>8.58KB</span>","children":null,"spread":false},{"title":"dog_cat.txt <span style='color:#111;'>247B</span>","children":null,"spread":false},{"title":"19.TXT <span style='color:#111;'>213B</span>","children":null,"spread":false},{"title":"muder_case-1.txt <span style='color:#111;'>564B</span>","children":null,"spread":false},{"title":"04.txt <span style='color:#111;'>66B</span>","children":null,"spread":false},{"title":"16.txt <span style='color:#111;'>47B</span>","children":null,"spread":false},{"title":"14.txt <span style='color:#111;'>512B</span>","children":null,"spread":false},{"title":"25.txt <span style='color:#111;'>216B</span>","children":null,"spread":false},{"title":"Innocent.txt <span style='color:#111;'>439B</span>","children":null,"spread":false},{"title":"contradication.txt <span style='color:#111;'>75B</span>","children":null,"spread":false},{"title":"killer_2.txt <span style='color:#111;'>620B</span>","children":null,"spread":false},{"title":"father_mother.txt <span style='color:#111;'>217B</span>","children":null,"spread":false},{"title":"11-2.txt <span style='color:#111;'>601B</span>","children":null,"spread":false},{"title":"killer-1.txt <span style='color:#111;'>564B</span>","children":null,"spread":false},{"title":"natural_number.txt <span style='color:#111;'>389B</span>","children":null,"spread":false},{"title":"20.TXT <span style='color:#111;'>307B</span>","children":null,"spread":false},{"title":"Resolution.exe <span style='color:#111;'>733.50KB</span>","children":null,"spread":false},{"title":"03.txt <span style='color:#111;'>31B</span>","children":null,"spread":false},{"title":"24.txt <span style='color:#111;'>194B</span>","children":null,"spread":false},{"title":"10.txt <span style='color:#111;'>208B</span>","children":null,"spread":false},{"title":"husband_wife.txt <span style='color:#111;'>247B</span>","children":null,"spread":false},{"title":"05.txt <span style='color:#111;'>57B</span>","children":null,"spread":false},{"title":"Marcus_Caesar.txt <span style='color:#111;'>512B</span>","children":null,"spread":false},{"title":"17.txt <span style='color:#111;'>45B</span>","children":null,"spread":false},{"title":"99.txt <span style='color:#111;'>75B</span>","children":null,"spread":false},{"title":"john_peanat.txt <span style='color:#111;'>360B</span>","children":null,"spread":false},{"title":"Father_brother.TXT <span style='color:#111;'>307B</span>","children":null,"spread":false},{"title":"Equal.HLP <span style='color:#111;'>5.70KB</span>","children":null,"spread":false},{"title":"09.txt <span style='color:#111;'>360B</span>","children":null,"spread":false},{"title":"equal.txt <span style='color:#111;'>202B</span>","children":null,"spread":false}],"spread":false}],"spread":true}]