按相关排序
全部格式
全部页数
时间不限
只看优质
只看可投资
展开
排序：
相关 最多阅读 最新上传
格式：
全部 doc pdf ppt xls txt 豆单
页数：
全部 1-8页 9-100页 100页以上
时间：
全部 2024年 2023年 2022年及以前
75
西电人工智能1 绪论.ppt
西安电子科技大学Artificial Intelligence (AI) 主讲：戚玉涛 Email：qi_yutao@163.com 西安电子科技大学 关于课程 课程类型： 课程类型：必修课，计算机类
收藏到书房
4
西电 人工智能上机报告人工智能3.doc
人工智能实验上机报告三 班级：130811 学号：13081039 姓名：潘 上机实验（三）小型专家系统 定义题目（包含图）短跑运动员水平测试系统 黄晓明：皮肤 古铜 胡子 系统要根据属性识别运动员特
收藏到书房
8
西电 人工智能上机报告2.doc
人工智能实验上机报告二班级：130811学号：13081039 姓名：潘 志上机实验（二）图搜索推理1．定义题目旅行商问题（Traveling-Salesman-Problem,TSP）。设有n个互相
收藏到书房
3
西电 人工智能上机报告1.pdf
人工智能上机报告113081039-潘圣志 人工智能 实验上机报告 班级：130811 学号：13081039 姓名：潘 人工智能上机报告113081039-潘圣志 上机实验（一） 基于实事与规则的推
收藏到书房
39
西电人工智能12确定性推理ppt课件.ppt
西安电子科技大学ArtificialIntelligence (AI)主讲：戚玉涛：qi_yutao@163西安电子科技大学内容提要第三章：确定性推理 第三章：确定性推理1.推理的根本概念2.搜索战略
收藏到书房
39
[计算机软件及应用]西电人工智能13 确定性推理 part 6.ppt
[计算机软件及应用]西电人工智能13 确定性推理 part 6artificial intelligence (ai)

人工智能
第三章：确定 性推理

主讲：戚玉涛
email：qi_yutao@163m
西安电子科技大学

内容提要
第三章：确定性推理
1.推理的基本概念

2.搜索策略
3.自然演绎推理

4.归结演绎推理
5.基于规则的演绎推理

西安电子科技大学

归结演绎推理
归结演绎推理
子句集及其化简 鲁滨逊归结原理 归结反演推理的归结策略 用归结反演求取问题的答案

西安电子科技大学

鲁滨逊归结原理
鲁滨逊归结原理包括

命题逻辑的归结

谓词逻辑的归结

西安电子科技大学

命题逻辑的归结
命题逻辑的归结反演：在命题逻辑中，已知f，证 明g为真的归结反演过程如下：
①否定目标公式g，得﹁g; ②把﹁g并入到公式集f中，得到{f，﹁g}； ③把{f，﹁g}化为子句集s。

④ 应用归结原理对子句集s中的子句进行归结，并 把每次得到的归结式并入s中。如此反复进行，若 出现空子句，则停止归结，此时就证明了g为真。
西安电子科技大学

鲁滨逊归结原理
鲁滨逊归结原理包括

命题逻辑的归结

谓词逻辑的归结

西安电子科技大学

谓词逻辑的归结
 在谓词逻辑中，由于子句集中的谓词一般都含有变元，因 此不能象命题逻辑那样直接消去互补文字。  对于谓词逻辑，需要先用一个最一般合一对变元进行置换， 然后才能进行归结。

谓词逻辑的归结原理
 设c1和c2是两个没有公共变元的子句，l1和l2分别是 c1和c2中的文字。如果 σ 是l1和﹁ l2存在最
收藏到书房
41
西电人工智能10 确定性推理 课件.ppt
西电人工智能10 确定性推理 课件
收藏到书房
45
西电人工智能8 确定性推理 课件.ppt
西电人工智能8 确定性推理 课件
收藏到书房
81
西电人工智能大作业八数码问题.doc
西电人工智能大作业八数码问题
收藏到书房
44
西电人工智能8确定性推理part1.pptx
西电人工智能8确定性推理part1西电人工智能8确定性推理part1西电人工智能8确定性推理part1
收藏到书房

向豆丁求助：有没有西电 人工智能?

相关搜索
如要投诉违规内容，请联系我们按需举报；如要提出意见建议，请到社区论坛发帖反馈。