人工智能原理期末速成——消解反演与反演求解
- 消解反演:证明真或假
- 反演求解:求解变量值
消解反演解法:
1.否定命题,将否定后的命题加入前提
2.通过前提之间互相组合,得到新的前提
3.最终前提与前提互相矛盾,得到NIL,此时证明完成
注:在第1步之后第2步之前,还需要将所有的命题转换成子句形式
例1:
设已知:
(1)能阅读的人是识字的
(2)海豚不识字
(3)有些海豚是很聪明的
请用消解反演证明:有些很聪明的人并不能阅读
解1:
本体需要证明命题有些很聪明的人并不能阅读
,是一个证明问题,而非求解。因此可以使用消解反演。
设谓词:
前提:
结论:
消解反演:
结论的否定可以在任意时候加入组合,因此消解反演过程不止一种。下面展示其中一种求解过程。
a:常量,特指某条海豚
v:同
^:同
~S(x)vL(x) D(a)^S(a)
│ │
│ │
│ │
└──────┬──────┘
│
│
│
D(a)^L(a) ~D(x)v~L(x)
│ │
│ │
│ │
└──────┬──────┘
│
│
│
NIL
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】博客园社区专享云产品让利特惠,阿里云新客6.5折上折
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· DeepSeek “源神”启动!「GitHub 热点速览」
· 微软正式发布.NET 10 Preview 1:开启下一代开发框架新篇章
· C# 集成 DeepSeek 模型实现 AI 私有化(本地部署与 API 调用教程)
· DeepSeek R1 简明指南:架构、训练、本地部署及硬件要求
· 2 本地部署DeepSeek模型构建本地知识库+联网搜索详细步骤