翟晓鹰提示您:看后求收藏(春雷小说clqcjtz.com),接着再看更方便。
case
1
成立,即:
张三说了真话(不是他偷的)
其他三人说了假话
推出:王二是小偷
总结:ai推理的关键过程
1
提取命题:把自然语言转为逻辑表达(s(x)\/s(x))
2
翟晓鹰提示您:看后求收藏(春雷小说clqcjtz.com),接着再看更方便。
case
1
成立,即:
张三说了真话(不是他偷的)
其他三人说了假话
推出:王二是小偷
总结:ai推理的关键过程
1
提取命题:把自然语言转为逻辑表达(s(x)\/s(x))
2