改正了上一版的逻辑错误
输入样例：
On(aa,bb)
On(bb,cc)
Green(aa)
!Green(cc)
(!On(x,y),!Green(x),Green(y))
2022-03-27 11:37:28
10KB
1
On(aa,bb)
On(bb,cc)
Green(aa)
!Green(cc)
(!On(x,y),!Green(x),Green(y))
input1内容
2022-03-10 15:54:36
8KB
1
人工智能的实验题目。输入一组合适公式，以及一个目标子句，输出归结树。
我奋斗了几乎5天总算弄出来了，放过bin出来show一下^_^。
至于代码，想要的可以联系我。
这里给出一个测试用例吧：
;假设：所有不贫穷且聪明的人都快乐。那些看书的人都是聪明的。李明能看书且不贫穷。快乐的人过着激动人心的生活。
;求证：李明过着激动人心的生活。
(\x)(~Poor(x)∧Smart(x)→happy(x))
(\x)(Read(x)→Smart(x))
Read(Li)∧~Poor(Li)
(\x)(happy(x)→Exciting(x))
Exciting(Li) ;目标公式直接放最后一行即可，无需加~
2021-12-30 15:43:25
275KB
1
5.3应用归结原理求取问题答案(10)
练习2：设A、B、C中有人从来不说真话，也有人从来不说谎话，某人向这三人分别同时提出一个问题：谁是说谎者？A答：“B和C都是说谎者”；B答：“A和C都是说谎者”；C答：“A和B中至少有一个人说谎”。用归结原理求谁是老实人，谁是说谎者？
2021-12-09 15:28:24
1.09MB
1