- 1、本文档共6页,其中可免费阅读2页,需付费100金币后方可阅读剩余内容。
- 2、本文档内容版权归属内容提供方,所产生的收益全部归内容提供方所有。如果您对本文有版权争议,可选择认领,认领后既往收益都归您。
- 3、本文档由用户上传,本站不保证质量和数量令人满意,可能有诸多瑕疵,付费之前,请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形,可联系本站下载客服投诉处理。
- 4、文档侵权举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
一选择题答案二填空题答案基于规则的正向演绎系统使用的条件是事实表达式是任意形式规则形式为或其中为单文字为任意形目标公式为文字析取形基于规则的逆向演绎系统使用的条件是事实表达式是文字合取形规则形式为或其中为单文字为任意形目标公式为任意形式归结法中可以通过修改证明树的方法得到问题的解答三问答题答案第题答得解图第题第题答综合数据库设从河的左岸到右岸其中分别表示过河时间需要分钟分钟和分钟的人在河左岸的人数表示船在左岸表示船在右岸规则集初始状态结束状态函数其中为在左岸的人数为船是否在左岸对于任意两个节点和
一、 选择题答案 1、A 2、A
二、 填空题答案
1、基于规则的正向演绎系统使用的条件是(1)事实表达式是 任意形式 (2)规则形式为 L→W或L∨L→W, 其中 L为单文字,W为任意形 (3)目标公式为 文字析取形 21 2、基于规则的逆向演绎系统使用的条件是(1)事实表达式是 文字合取形 (2)规则形式为 W→L 或 W→L1∧L2 , 其中 L为单文字,W为任意形 (3)目标公式为 任意形式
3、归结法中,可以通过 修改证明树的 方法得到问题的解答。
三、 问答题答案
第1题答:
得解图:
第2题
您可能关注的文档
最近下载
- 声控灯的安装与调试工作页.doc VIP
- 2024年全国统一高考化学试卷(新课标)(含解析版).docx
- 2024春期国开电大《应用写作(汉语)》形考任务1-6参考答案.doc
- 佳能PowerShot使用手册SX70HS说明书.pdf
- 重大社2024初中信息科技1教材解读-七年级上册第一单元(吴跃进).pptx
- 谦敬辞训练题(答案).doc
- 《等腰三角形的判定》PPT课件.pptx
- 原发性肝癌诊疗指南(2024年版)内科及系统治疗解读.pptx
- 线性多智能体系统的自适应动态事件触发一致性Adaptive Dynamic Event-Triggered Consensus of Linear Multi-Agent Systems-来源:理论数学(第2021011期)-汉斯出版社.pdf VIP
- HG_T 4580-2013 农业用硝酸钙.docx
文档评论(0)