骑士团
（CS50：AI项目）用于解决逻辑难题的AI。
背景
1978年，逻辑学家Raymond Smullyan出版了“这本书的名字是什么？”，这是一本关于逻辑难题的书。 在书中的难题中，有一类被Smullyan称为“骑士和刀”的难题。
在“骑士与刀”难题中，给出以下信息：每个角色都是骑士或小刀。 骑士总是会说实话：如果骑士陈述一个句子，那么该句子就是真的。 相反，一个刀匠总是撒谎：如果一个刀匠陈述了一个句子，那么该句子就是假的。
难题的目的是，给定每个角色所说的一组句子，为每个角色确定该角色是骑士还是or夫。
例如，考虑一个简单的谜题，其中只有一个名为A的角色。A说“我既是骑士又是刀匠”。
从逻辑上讲，我们可能会推断出，如果A是骑士，那么该句子必须是正确的。 但是我们知道该句子不可能是正确的，因为A不能既是骑士又是骑士–我们知道每个角色既是骑士又是骑士，但不能兼而有之。 因此，
