人工智能原理期末速成——消解反演与反演求解

  • 消解反演:证明真或假
  • 反演求解:求解变量值

消解反演解法:
1.否定命题,将否定后的命题加入前提
2.通过前提之间互相组合,得到新的前提
3.最终前提与前提互相矛盾,得到NIL,此时证明完成
注:在第1步之后第2步之前,还需要将所有的命题转换成子句形式

例1:
设已知:
(1)能阅读的人是识字的
(2)海豚不识字
(3)有些海豚是很聪明的
请用消解反演证明:有些很聪明的人并不能阅读

解1:
本体需要证明命题有些很聪明的人并不能阅读,是一个证明问题,而非求解。因此可以使用消解反演。
设谓词:
R(x):x

L(X):x

D(X):x

S(X):x

前提:

  • x(R(x)D(x))
  • x(D(x)¬L(x))
  • x(D(x)S(x))

结论:

  • x(S(x)¬R(x))

消解反演:
结论的否定可以在任意时候加入组合,因此消解反演过程不止一种。下面展示其中一种求解过程。
a:常量,特指某条海豚
v:同,合取
^:同,析取

~S(x)vL(x)    D(a)^S(a)
    │             │
    │             │
    │             │
    └──────┬──────┘
           │
           │
           │
       D(a)^L(a)    ~D(x)v~L(x)
           │             │
           │             │
           │             │
           └──────┬──────┘
                  │
                  │
                  │
                 NIL
posted @   Rakuen  阅读(133)  评论(0编辑  收藏  举报
相关博文:
阅读排行:
· DeepSeek “源神”启动!「GitHub 热点速览」
· 微软正式发布.NET 10 Preview 1:开启下一代开发框架新篇章
· C# 集成 DeepSeek 模型实现 AI 私有化(本地部署与 API 调用教程)
· DeepSeek R1 简明指南:架构、训练、本地部署及硬件要求
· 2 本地部署DeepSeek模型构建本地知识库+联网搜索详细步骤
点击右上角即可分享
微信分享提示