骑士团 （CS50：AI项目）用于解决逻辑难题的AI。 背景 1978年，逻辑学家Raymond Smullyan出版了“这本书的名字是什么？”，这是一本关于逻辑难题的书。 在书中的难题中，有一类被Smullyan称为“骑士和刀”的难题。 在“骑士与刀”难题中，给出以下信息：每个角色都是骑士或小刀。 骑士总是会说实话：如果骑士陈述一个句子，那么该句子就是真的。 相反，一个刀匠总是撒谎：如果一个刀匠陈述了一个句子，那么该句子就是假的。 难题的目的是，给定每个角色所说的一组句子，为每个角色确定该