会员
周边
众包
新闻
博问
闪存
赞助商
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
会员中心
简洁模式
...
退出登录
注册
登录
Rakuen
博客园
首页
新随笔
联系
订阅
管理
随笔 - 1
文章 - 0
评论 - 0
阅读 -
133
2024年11月24日
人工智能原理期末速成——消解反演与反演求解
摘要: 消解反演:证明真或假 反演求解:求解变量值 消解反演解法: 1.否定命题,将否定后的命题加入前提 2.通过前提之间互相组合,得到新的前提 3.最终前提与前提互相矛盾,得到NIL,此时证明完成 注:在第1步之后第2步之前,还需要将所有的命题转换成子句形式 例1: 设已知: (1)能阅读的人是识字的 (
阅读全文
posted @ 2024-11-24 14:22 Rakuen
阅读(133)
评论(0)
推荐(0)
编辑
公告
昵称:
Rakuen
园龄:
3个月
粉丝:
0
关注:
0
+加关注
<
2025年2月
>
日
一
二
三
四
五
六
26
27
28
29
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
1
2
3
4
5
6
7
8
搜索
常用链接
我的随笔
我的评论
我的参与
最新评论
我的标签
我的标签
人工智能原理
(1)
离散数学
(1)
随笔档案
2024年11月(1)
阅读排行榜
1. 人工智能原理期末速成——消解反演与反演求解(133)
点击右上角即可分享