版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
2831647528316475A(6)B(4)C(6)283283283164141647576575D(5)E(5)F(6)283232831418414765765765G(6)H(7)I(5)J(7)83283232321471418418476565765765K(5)3452867L(5)M(7)87272863453456第1章((AB),(),()))1->3((B),(A),())(3)2->3(4)2->1(5)3->1(6)3->2((),(BA),())((),(A),(B))法节点((),(),(AB))((A),(),(B))((),(),(AB))((),(A),(B))祖先节点((((),(),(AB))((),(A),(B))祖先节点((BA),(),())法节点祖先节点((),(AB),())217A(7)245D(7)245245I(5)286K(7)245345345846345345345345272787278672728686586386H(7)B(5)E)F3477786868656677233338633422121312211111121111111①P②QP由上可得原公式成立。 归结的命题公式为(P(QR))^((PQ)(PR)),合取范 S={PQR,PQ,P,R},对子句集中的子句进行归结可得: ①PQR②③④⑤⑥⑦⑧PRQRQPQPQ为:②QQP④P①②归结⑤P②③归结⑥④⑤归结gugfvxfvuR4:快乐的人过着激动人心的生活:Vx(Happy(x)Exciting(x)) ①③④HappyLi)⑤⑥Li/z⑧Poor(Li)Smart(Li)⑦①Li/x SmartLi⑧④ ⑩read(Li)⑨②Li/y ⑪⑩③信天翁信天翁虎金钱豹会游泳有黑色身上有暗斑点前方刍动物黄褐色长脖子黑色条纹不会飞有蹄动物哺乳动物会下蛋长颈鹿有犬齿有毛发有羽毛会飞斑马有爪有奶鸵鸟长腿有蹄善飞企鹅鸟系学O(T1)=P(T1)=0.1=0.1111HLNP(H)0.00010.01O(H)=P(H)1OHS^S2)O(H|S3)OHSS^S3)=FHE1CF(H)=max{0,CF(E2)}CF(H,E2)=0.80.6=0.482CF(H)=max{0,CF(E3)}CF(H,E3)=0.60.5=0.33CF(H)=CF(H)+CF(H)CF(H)CF(H)=0.36+0.480.3
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 全新企业跨界合作与战略联盟合同(2024版)3篇
- 2024年企业知识产权托管与管理合同
- 2024安装门禁门购销合同模板
- 二零二四年度人力资源部经理业绩考核与激励合同2篇
- 2024年供应链管理合同标的详解
- 2024年度版权购买合同(购买方版)
- 二零二四年度品牌形象设计合同与后期维护服务条款2篇
- 2024年度汽车融资租赁业务合同
- 2024年商业资产购买合同书模板版B版
- 2024南通单位劳动合同
- 质量管理体系七项原则
- 律师个人自查事项报告表
- 厌氧罐大修方案
- GB∕T 37246-2018 精细陶瓷抗热震性能试验方法
- 复习步兵班进攻战斗示教作业教案
- 船舶结构与设备 船舶常识
- 阿里铁军管理三板斧课件
- 安全生产与环境意识
- 全面详细解读《中华人民共和国教育法》PPT课件
- 《中国人民站起来了》教学反思
- Q∕GDW 11442-2020 通信电源技术、验收及运行维护规程
评论
0/150
提交评论