骑士:(CS50:AI项目) 源码

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