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

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