开发工具:
文件大小: 4kb
下载次数: 0
上传时间: 2021-02-13
详细说明:骑士团
(CS50:AI项目)用于解决逻辑难题的AI。
背景
1978年,逻辑学家Raymond Smullyan出版了“这本书的名字是什么?”,这是一本关于逻辑难题的书。 在书中的难题中,有一类被Smullyan称为“骑士和刀”的难题。
在“骑士与刀”难题中,给出以下信息:每个角色都是骑士或小刀。 骑士总是会说实话:如果骑士陈述一个句子,那么该句子就是真的。 相反,一个刀匠总是撒谎:如果一个刀匠陈述了一个句子,那么该句子就是假的。
难题的目的是,给定每个角色所说的一组句子,为每个角色确定该角色是骑士还是or夫。
例如,考虑一个简单的谜题,其中只有一个名为A的角色。A说“我既是骑士又是刀匠”。
从逻辑上讲,我们可能会推断出,如果A是骑士,那么该句子必须是正确的。 但是我们知道该句子不可能是正确的,因为A不能既是骑士又是骑士–我们知道每个角色既是骑士又是骑士,但不能兼而有之。 因此,
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台,提供交流渠道,下载内容来自于网络,除下载问题外,其它问题请自行百度。
- 本站已设置防盗链,请勿用迅雷、QQ旋风等多线程下载软件下载资源,下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载,请稍后再次尝试;或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎,请到消费记录里找到下载记录反馈给我们,经确认后退回积分.
- 如下载前有疑问,可以通过点击"提供者"的名字,查看对方的联系方式,联系对方咨询.