没有合适的资源?快使用搜索试试~ 我知道了~
中科院研究生院--------人工智能原理课件
需积分: 0 11 下载量 43 浏览量
2010-09-24
01:02:50
上传
评论 1
收藏 43KB PPT 举报
温馨提示
试读
12页
中科院研究生院--------人工智能原理课件。
资源推荐
资源详情
资源评论
The Principles of AI-----Wang Wenjie
Resolution: 1
© Graduate School , Chinese academy of Sciences. Spring 2004
Agenda
3.1 引言
3.2 命题逻辑中的归结原理
3.3 谓词逻辑中的归结原理
The Principles of AI-----Wang Wenjie
Resolution: 2
© Graduate School , Chinese academy of Sciences. Spring 2004
3.1 Introduction
•
证明的基本思想是:
设 F
1
…、 、 F
n
、 G 为公式, G 为 F
1
…、 、 F
n
的逻辑推论,
当且仅当公式(( F
1
…F
n
) G )是有效的
•
也可以采用反证法的思想:
设 F
1
…、 、 F
n
、 G 为公式, G 为 F
1
…、 、 F
n
的逻辑推论,
当且仅当公式( F
1
…F
n
G )是不可满足的
•
归结法的本质上就是一种反证法,它是在归结推理规则的基
础上实现的:
为了证明一个命题 P 恒真,它证明其反命题~ P 恒假,即不
存在使得 P 为真的解释
The Principles of AI-----Wang Wenjie
Resolution: 3
© Graduate School , Chinese academy of Sciences. Spring 2004
3.2 命题逻辑中的归结原理
3.2.1 子句和子句形
3.2.2 归结
3.2.3 归结反演
3.2.4 合理性和完备性
3.2.5 归结反演的搜索策略
剩余11页未读,继续阅读
资源评论
gogo106
- 粉丝: 99
- 资源: 22
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功