骑士：（CS50：AI项目）

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

【文件预览】：
Knights-main
----README.md(3KB)
----logic.py(8KB)
----puzzle.py(3KB)