Python NLTK ResolutionProver找到了一个解决方案,但实际上没有我有一个格式规则“如果A&B;然后C”:如果B是男人并且s是B的姐妹,那么B是s的兄弟 我加上一个事实,是人(luc),我请求(b,leia) 我希望答案是否定的,因为没有说leia是luc的姐妹,所 ...2024-05-19 已阅读: n次