我有一个问题。我正在尝试理解一阶逻辑，所以我找到了这段代码：

# 导入库import aima.utilsimport aima.logic# 这个模块的主要入口点def main():    # 创建一个数组来保存子句    clauses = []    # 添加一阶逻辑子句（规则和事实）    clauses.append(aima.utils.expr("(American(x) & Weapon(y) & Sells(x, y, z) & Hostile(z)) ==> Criminal(x)"))    clauses.append(aima.utils.expr("Enemy(Nono, America)"))    clauses.append(aima.utils.expr("Owns(Nono, M1)"))    clauses.append(aima.utils.expr("Missile(M1)"))    clauses.append(aima.utils.expr("(Missile(x) & Owns(Nono, x)) ==> Sells(West, x, Nono)"))    clauses.append(aima.utils.expr("American(West)"))    clauses.append(aima.utils.expr("Missile(x) ==> Weapon(x)"))    # 使用子句创建一阶逻辑知识库（KB）    KB = aima.logic.FolKB(clauses)    # 使用tell添加规则和事实    KB.tell(aima.utils.expr('Enemy(Coco, America)'))    KB.tell(aima.utils.expr('Enemy(Jojo, America)'))    KB.tell(aima.utils.expr("Enemy(x, America) ==> Hostile(x)"))    # 使用ask从知识库中获取信息    hostile = aima.logic.fol_fc_ask(KB, aima.utils.expr('Hostile(x)'))    criminal = aima.logic.fol_fc_ask(KB, aima.utils.expr('Criminal(x)'))    # 打印答案    print('Hostile?')    print(list(hostile))    print('\nCriminal?')    print(list(criminal))    print()# 告诉python运行main方法if __name__ == "__main__": main()

现在我不明白一件事：什么时候使用这个：clauses.append(aima.utils.expr()，什么时候使用这个：KB.tell(aima.utils.expr()

两者都是事实，但我真的不明白为什么必须以不同的方式设置一些事实。这里是论坛的链接：https://www.annytab.com/first-order-logic-in-python/?unapproved=2276&moderation-hash=66a786c6e08ac109543a3518a62ea729#comment-2276

请告诉我！

回答：

据我所见，你首先在clause数组中创建一个子句列表。然后你用它来初始化知识库KB。

使用tell()方法，你可以向知识库添加更多的表达式/子句。

原则上它们是等价的，因为这两种方法都会将子句添加到知识库中，只是有些是在初始化时添加的，其他是在之后添加的。

你可能有一个特定的设置/领域是固定的，不同的问题有不同的表达式，所以你可以在开始时添加所有通用的表达式，然后在处理过程中再添加其他表达式。