- 133
- 0
- 约2.33千字
- 约 10页
- 2021-09-29 发布于天津
- 举报
填空题答案
1、基于规则的正向演绎系统使用的条件是(
1)事实表达式是
为L^W 或Li V L2TW ,其中L为单文字,W为任意形
(3)
2、基于规则的逆向演绎系统使用的条件是(
1)事实表达式是
式为 WL 或 WL1 A L2 ,其中L为单文字,W为任意形
任意形式 (2)规则形式目标公式为文字析取形
文字合取形 (2)规则形
(3) 目标公式为任意形
3、归结法中,可以通过 修改证明树的 方法得到问题的解答。
三、问答题答案
第1题答:
% 2
7
3-4 102 5 1 8-5 10 5 -6 -1 -£ 1 -2 6 5 e 14 -3 *
第3题
答:综合数据库:
(ml, m5, m9, b)设从河的左岸到右岸,其中ml, m5,m9分别表示过河时间需要 1分钟, 5分钟和9分钟的人,在河左岸的人数。b= 1表示船在左岸,b = 0表示船在右岸。 规则集:
THEN (mbl, ra5, mPn 0)
IF (ml. m3, 1) THEN(ml-Z m5p m9f 0)
IF (ml, m5, m3, 1) THEN(ml, m5-l, mS, 0)
IF (ml” tn5? nA 1) THEM (ml, m5r m9-l, C)
IF (ml, m3, m¥. 1) THEN (ml -1, m5-l,m9f 0)
IF (ml, fn5? m
您可能关注的文档
- (完整word版)2019苏教版小学科学上册全册教案,推荐文档.doc
- (完整word版)4BUnit1知识点归纳+习题,推荐文档.doc
- (完整word版)ATP教学设计.doc
- (完整word版)Beck自杀意念评估量表.doc
- (完整word版)Cut短语归纳,推荐文档.doc
- (完整word版)HSK3选词填空真题汇总,推荐文档.doc
- (完整word版)photoshopcc2017快捷键大全,推荐文档.doc
- (完整word版)Unit1Canyouplaytheguitar知识点及练习,推荐文档.doc
- (完整word版)zemax操作数手册.doc
- (完整word版)Zview--基础-入门-教程.doc
- GB/T 26958.40-2026产品几何技术规范(GPS) 滤波 第40部分:形态学轮廓滤波器:基本概念.pdf
- 《GB/T 26958.40-2026产品几何技术规范(GPS) 滤波 第40部分:形态学轮廓滤波器:基本概念》.pdf
- GB/T 41815.4-2026信息技术 生物特征识别呈现攻击检测 第4部分:移动设备测试轮廓.pdf
- 《GB/T 41815.4-2026信息技术 生物特征识别呈现攻击检测 第4部分:移动设备测试轮廓》.pdf
- 中国国家标准 GB/T 41815.4-2026信息技术 生物特征识别呈现攻击检测 第4部分:移动设备测试轮廓.pdf
- GB/T 4023.2-2026半导体分立器件 第2部分:整流二极管.pdf
- 中国国家标准 GB/T 4023.2-2026半导体分立器件 第2部分:整流二极管.pdf
- 《GB/T 4023.2-2026半导体分立器件 第2部分:整流二极管》.pdf
- GB/T 34630.2-2026搅拌摩擦焊 铝及铝合金 第2部分:焊接接头设计.pdf
- 中国国家标准 GB/T 34630.2-2026搅拌摩擦焊 铝及铝合金 第2部分:焊接接头设计.pdf
原创力文档

文档评论(0)