趣书网>职场小聪明 > 第840章 跟ai玩个游戏（第2页）
第840章 跟ai玩个游戏（第2页）
已知他们中只有一人说了真话。问：谁是小偷？
?
AI推理逻辑
Step1：形式化四人的供词
我们先把他们的供词转成逻辑命题：
人物
供词内容
逻辑表达（T=真话，F=假话）
张三
“不是我”
?S（张三）
李四
“是张三”
S（张三）
王二
“不是我”
?S（王二）
麻子
“是李四”
S（李四）
其中S（X）表示“X是小偷”，?S（X）表示“X不是小偷”。
?
Step2：枚举可能的说真话的人
我们知道只有一人说了真话，我们就枚举这四人谁说真话，其他三人说假话。
对每种情况，我们验证是否自洽。
?
Case1：张三说真话
?张三：不是我→真话→张三不是小偷?
?李四：是张三→假话→张三不是?
?王二：不是我→假话→王二是小偷
?麻子：李四是→假话→李四不是?
只有王二是小偷，其余都不是，且只有张三说了真话
符合所有条件
?
Case2：李四说真话
?李四：张三是→真话→张三是小偷
已完结热门小说推荐
