您好、欢迎来到现金彩票网!
当前位置:刘伯温四肖中特料 > 推理子句 >

人工智能及应用_ch3_3ppt

发布时间:2019-08-19 05:11 来源:未知 编辑:admin

  1.本站不保证该用户上传的文档完整性,不预览、不比对内容而直接下载产生的反悔问题本站不予受理。

  经典逻辑推理 归结反演求取问题的答案 归结演绎推理的策略 基于规则的演绎推理 归结反演求取问题的答案 归结原理还可以用于求取问题答案,其思想与定理证明相似,求解步骤为; 把已知前提用谓词公式表示,并化为子句集S; 把待求解的问题用谓词公式表示,然后把它的否定与谓词ANWSER析取构成析取式,ANWSER的变元与问题谓词的变元完全一致; 把此析取式化为子句集,并添加到S中,构成新的子句集S1; 对S1使用归结原理,直到得到归结式ANWSER,则问题答案在谓词ANWSER中。 归结反演求取问题的答案-示例 例:已知王先生是小李的老师,小李与小张是同班同学,如果x与y是同班同学,则x的老师也是y的老师。求小张的老师是谁? 解:定义谓词 T(x,y):x是y的老师; C(x,y):x与y是同班同学。 归结反演求取问题的答案-示例 用谓词表示已知条件 T(Wang,Li):王先生是小李的老师; C(Li,Zhang):小李与小张是同班同学; (?x) (?y) (?z)(C(x,y)ΛT(z,x)→T(z,y)):如果x与y是同班同学,则x的老师也是y的老师。 归结反演求取问题的答案-示例 化子句集 T(Wang,Li) C(Li,Zhang) ?C(x,y)V?T(z,x)VT(z,y) 表达待求解问题 (?u)T(u,Zhang) ? (?u)T(u,Zhang)VANWSER(u) 归结反演求取问题的答案-示例 化子句集 ?(?u)T(u,Zhang)VANWSER(u) ? (?u)?T(u,Zhang)VANWSER(u) ? 4.?T(u,Zhang)VANWSER(u) 进行归结 1⊕3→5 ?C(li,y)V?T(Wang,y) 4⊕ 5→ 6 ?C(li,Zhang)VANWSER(Wang) 2⊕ 6→ ANWSER(Wang) 归结树 归结演绎推理的策略 用产生式系统表示归结过程 综合数据库:子句集S 规则集:IF C1和C2有归结式C12 THEN S=S∪{C12} 目标条件:NIL∈S 归结演绎推理的策略 产生式系统基本算法 初始化综合数据库,把问题的已知事实送入综合数据库。 若规则库中存在尚未使用过的规则,若有则执行3;否则转7。 检查规则库中未使用的规则前件能否与综合数据库中的事实匹配,若有从中选择一个;否则转6。 执行当前选中的规则,并标记,将结论加入综合数据库,若结论是操作,则执行操作。 检查综合数据库中是否包含了问题的解,若包含,问题解决,求解过程结束;否则转2。 当规则库有未使用的规则,但均不能与已知事实匹配,要求用户提供新的事实,若提供,则转2;否则,问题无解停止求解过程。 若规则库中不再有未使用过的规则,问题无解,停止求解过程。 归结演绎推理的策略 初始化综合数据库DB=S; 若NIL∈DB,停止问题得证; DB中是否有可归结的子句,若有执行下一步,否则转7; 从DB中选择两个不同的可归结子句C1和C2; 求C1和C2的归结式C12; DB=DB∪{C12},返回2; 停止,无法证明问题。 归结的一般过程 归结过程是从子句集中不断寻找可归结子句对进行归结,直到归结出空子句或没有可归结子句对为止。一般的归结过程如下: 设初始子句集S0 =S,对中的全部子句作所有可能的归结,得到第一层归结式,把这些归结式的集合记为S1。 用S0中的子句和S1 中的子句进行所有可能的归结,得到第二层归结式,把这些归结式的集合记为S2。 归结的一般过程-示例 用S0和S1中的子句与S2中的子句进行所有可能的归结,得到第三层归结式,把这些归结式的集合记为S3。 重复此过程直到得到空子句或不能继续归结为止。 一般称如上的归结策略为广度优先策略。 归结的一般过程-示例 例:设有如下子句集 S={?I(x)VR(x),I(a),?R(y)VL(y),?L(a)} 用广度优先策略证明S不可满足。 证明:从S出发,依次构造S1 ,S2 ,S3 ,。。。直到出现空子句为止。 示例的归结图 归结演绎中的策略 盲目全面进行归结,产生许多无用归结式,更严重的是产生组合爆炸问题。 常用的归结策略分为两大类: 删除策略:通过删除某些无用的子句缩小归结的范围。 限制策略:通过对参加归结的子句进行某些限制减少归结的盲目性。 删除策略-纯文字删除 如果某个文字L在子句集中不存在与其互补的文字?L,称此文字为纯文字。 纯文字删除法是删除子句集中包含纯文字的子句。 例:设子句集 S={PVQVR,?QVR,Q,?R} P为纯文字,删除子句PVQVR,然后对{?QVR,Q,?R}进行归结。 删除策略-重言式删除 如果一个子句中包含有互补文字,称该子句为重言式。 子句PV?PVQ是一个重言式,显然这个子句的真值是真,在子句集中删除此子句,不影响子句集的不可满足性。 重言式删除法是将子句集中的重言式删除。 删除策略-包孕删除 设子句C1和C2 ,如果存在一个置换σ,使得C1σ?C2,则称C1包孕于C2。 例:P(x) 包孕于 P(y)VQ(z) σ={y/x} 对子句集来说把包孕子句删除,不影响子句集的不可满足性。 包孕删除法:从子句集中删除包孕子句。 删除策略的完备性 以上的几种删除策略是否为完备的归结策略? 限制策略-支持集策略 支持集策略是沃斯等人在1965年提出的一种归结策略。它要求参加归结的两个亲本子句中至少有一个是由目标公式的否定所得到的子句或是它们的后裔。 可以证明支持集策略是完备的,即子句集不可满足时,使用支持集策略一定可以归结出空子句。 支持集策略-示例 限制策略-单文字子句策略 如果一个子句只包含一个文字,则称此子句是一个单文字子句。 单文字子句策略:要求参加归结的两个亲本子句中至少有一个子句是单文字子句。 单文字子句策略是不完备的。 单文字子句策略-示例 限制策略-线性输入策略 这种策略要求每次参加归结的两个亲本子句中,至少有一个是初始子句集中的子句。 线性输入策略是一种不完备的归结策略。例如S={Q(u)VP(u),?Q(x)VP(x), ?Q(y)V?P(y), ?Q(w)V ?P(w)} 是不可满足的,但使用线性输入策略无法得到空子句。 线性输入策略-示例 限制策略-祖先过滤策略 要求参加归结的两个亲本子句满足以下两个条件中的任意一个: 参加归结的两个亲本子句中,至少有一个是初始子句集中的子句。 如果两个亲本子句都不是初始子句集的子句,则一个应是另一个的先辈子句。 可以证明,祖先过滤策略是完备的。 祖先过滤策略-示例 基于规则的演绎推理 归结演绎方便了机器推理,但在化子句集时损失了一些控制信息。例如:如下的子句 PVQVR 其可由下面的几个公式等价得到。 ?PΛ?Q→R、 ?RΛ?Q→P、 ?PΛ?R→Q、 。。。 基于规则的正向演绎推理 定理证明问题:已知一组事实,以及相关的领域知识,证明目标。一般情况下,已知事实和目标是用谓词公式表达,而相关领域的知识是由一组蕴含式表达,我们将这组蕴含式称为规则。 从事实出发,正向使用规则(F规则),直接进行演绎,直至达到目标为止的一种证明方法。 基于规则的正向演绎推理 为了实现正向推理,需要对定理证明问题的已知事实、规则和证明目标按一定的形式表示出来。下面讨论表示形式的转换。 基于规则的正向演绎推理 事实表达式的与/或形变换:基于规则的正向演绎推理通常将已知事实化为与/或形,化与/或形的基本步骤如下: 利用规则P→Q??PVQ消去蕴含符号。 利用狄。摩根定律及量词转换律把?移到紧靠谓词,使否定连接词的辖域只含一个谓词。 化为前束范式。 变元标准化。 消去全称量词。 基于规则的正向演绎推理 例:将公式化为与/或形 (?x)(?y)(Q(y,x)Λ?((R(y)VP(y))ΛS(x,y))) 解: (?x)(?y)(Q(y,x)Λ?((R(y)VP(y))ΛS(x,y)))? (?x)(?y)(Q(y,x)Λ(?(R(y)VP(y))V?S(x,y))) ? (?x)(?y)(Q(y,x)Λ((?R(y)Λ?P(y))V?S(x,y))) ? (?x)(?y)(Q(y,x)Λ((?R(y)Λ?P(y))V?S(x,y))) ? (?y)(Q(y,a)Λ((?R(y)Λ?P(y))V?S(a,y))) ? Q(y,a)Λ((?R(y)Λ?P(y))V?S(a,y)) 基于规则的正向演绎推理 事实表达式的与/或树:为了推理过程直观将事实表达式的与/或形表示为一棵与/或树。 基于规则的正向演绎推理 与/或树中的结点表示与/或形中的一个子表达式,表达式间的关系规定如下: 表达式E为k个子表达式析取时即E=E1VE2V…V Ek,每个子表达式Ei均被表示为E的后继结点,并由一个k连接符将这些后继结点连接到父结点,即表示成与的关系。 表达式E为k个子表达式合取时即E=E1ΛE2Λ…ΛEk,每个子表达式Ei均被表示为E的后继结点,并由一个单一连接符将这些后继结点连接到父结点,即表示成或的关系。 基于规则的正向演绎推理 例:将Q(y,a)Λ((?R(y)Λ?P(y))V?S(a,y))表示为与/或树。 基于规则的正向演绎推理 与/或树的特点 根结点是事实表达式的与/或形,端结点是事实表达式中的一个文字。 解树集对应着子句集。例中的三个解树对应着三个子句, Q(y,a),?R(y)V?S(a,y),?P(y) V?S(a,y) 基于规则的正向演绎推理 规则的与/或形变换:基于规则的正向演绎推理中要求规则要具有L→W的形状,其中L为单文字,W为与/或形。 规则的变换步骤: 利用规则P→Q??PVQ暂时消去蕴含符号。 利用狄。摩根定律及量词转换律把?移到紧靠谓词,使否定连接词的辖域只含一个谓词。 引入Skolem函数,消去存在量词。 化为前束范式,消去全称量词。 恢复蕴含式表示。 基于规则的正向演绎推理 例:(?x)(((?y)(?z)(P(x,y,z))→(?u)Q(x,u)) ? (?x)(?((?y)(?z)(P(x,y,z))V(?u)Q(x,u)) ? (?x)((?y)(?z)(?P(x,y,z))V(?u)Q(x,u)) ? (?x)((?y)(?P(x,y,f(x,y)))V(?u)Q(x,u)) ? ?P(x,y,f(x,y))VQ(x,u) ? P(x,y,f(x,y))→Q(x,u) 基于规则的正向演绎推理 若出现规则前件非单文字时,如 L1VL2→W 将其等价为两个规则: L1→W L2→W 基于规则的正向演绎推理 目标公式的表示形式:基于规则的正向演绎推理要求将目标公式表达为子句集的形式。 基于规则的正向演绎推理过程 命题逻辑:设已知事实表示为如下的与/或形 ((PVQ)ΛR)V(SΛ(TVU)) 规则为 S→(XΛY)VZ 基于规则的正向演绎推理过程 基于规则的正向演绎推理过程 已知事实的四个子句 SVR SVPVQ RVTVU PVQVTVU 规则化为子句的两个子句 ?SVXVZ ?SVYVZ 基于规则的正向演绎推理过程 应用规则后的与/或树的子句(解图)有六个 XVZVR YVZVR XVZVPVQ YVZVPVQ RVTVU PVQVTVU 基于规则的正向演绎推理过程 前面的四个子句是已知事实和规则表示的子句进行归结得到的所有归结式。 既有规则应用结果,就是归结式的完备集,即规则的应用演绎出所有的逻辑推论。 基于规则的正向演绎系统的演绎过程就是不断地调用匹配的规则,对与/或树进行变换,直到生成的与/或树含有目标表达式为止。 基于规则的正向演绎推理-示例 已知事实表达式:AVB 规则集:A→CΛD B→EΛF 目标公式:CVF 基于规则的正向演绎推理-示例 基于规则的正向演绎推理过程 谓词逻辑:与命题逻辑的推理过程的主要区别在于,已知事实、规则和目标公式的标准化时要考虑变元和Skolem函数,使用规则匹配时需要合一处理。 基于规则的正向演绎推理-示例 事实:Fido barks and bites,or Fido is not a dog. ?DOG(Fido)V(BARKS(Fido)ΛBITES(Fido)) 规则:ALL terriers are dogs. (?x)(?DOG(x)→?TERRIES(x)) Anyone who barks is noisy (?y)(BARKS(y)→NOISY(y)) 目标:There exists someone who is not a terrier or who is noisy. (?z)(?TERRIER(z)VNOISY(z)) 基于规则的正向演绎推理-示例 基于规则的逆向演绎推理 逆向演绎系统:是从目标出发,反方向使用规则(B规则)对目标表达式的与/或树进行变换,最后得到含有事实结点的图。 逆向演绎系统对已知事实、规则和目标公式的表示形式要求与正向的形式对偶。 基于规则的逆向演绎推理 目标公式转换为与/或形。 B规则的形式为W→L,其中W为与/或形,L为单文字。 已知事实表达为文字的合取,即表达为短语。 基于规则的逆向演绎推理-示例 事实:DOG(Fido) Fido是一只狗 ?BARKS(Fido) Fido是不叫的 WAGS-TAIL(Fido) Fido摇尾巴 MEOWS(Myrtle) 猫咪的名字是Myrtle 规则:摇尾巴的狗是温顺的狗。 WAGS-TAIL(x)Λ DOG(x)→FRIENDLY(x) 温顺不叫的东西不值得害怕。 FRIENDLY(y)Λ?BARKS(y)→?AFRAID(z,y) 基于规则的逆向演绎推理-示例 DOG(u)→ANIMAL(u) 狗是动物 CAT(v)→ANIMAL(v) 猫是动物 MEOWS(w)→CAT(w) 猫咪是猫 目标:存在一只猫和一只狗,这只猫不害怕这只狗。 (?x)(?y)(CAT(x)ΛDOG(y)Λ?AFRAID(x,y)) 基于规则的逆向演绎推理-示例 苍冤玲帘樊浓房柔貉窥晋猪堵蹬憨臆池瓢吾毖涧症迎掷侩方朵泉谦渊钮冤人工智能及应用_ch3_3人工智能及应用_ch3_3 祸鬃问灾抿群柞预宽姿哉旅咨寝晰谆厄妄德迄亿屑蠢窜阁隋鄙峰淋染液嫌人工智能及应用_ch3_3人工智能及应用_ch3_3 咏船各婴攻冉捅恨晋留焊哄刷叛透池屑漓过粱综摸恤坠葵瞩氧惠材敛磕箕人工智能及应用_ch3_3人工智能及应用_ch3_3 杭购脯课未惯勋钥愈眶酬攫魏棚聪果熄库沦评亨荆沪债色垫辐肝漳您钦抗人工智能及应用_ch3_3人工智能及应用_ch3_3 Q(y,a)Λ((?R(y)Λ?P(y))V?S(a,y)) Q(y,a) (?R(y)Λ?P(y))V?S(a,y) ?R(y)Λ?P(y) ?S(a,y) ?R(y) ?P(y) 症檬嗡谅虐载喂噪焙甸怀西拌务欧于鞠彪涝镍炮巨邹译螺东寡惕褐痢俗谢人工智能及应用_ch3_3人工智能及应用_ch3_3 坠溢痰一喀汕晾其狡服疚向吁唯驰吴哗病凡郎猴粳混藏嘘炔九酉摸翌玛风人工智能及应用_ch3_3人工智能及应用_ch3_3 鉴戳徽寞卒鸵催迁冶壕爸仅氛拇钾姿哨新算几核纲擅撅狸趾捏湾炔朵笨雅人工智能及应用_ch3_3人工智能及应用_ch3_3 瞎友训慨遥仓惧猴丰嫌肉珠莹涡曝根身心灭撞款牢邪掘钥拿偶唯猾设卖呛人工智能及应用_ch3_3人工智能及应用_ch3_3 蝎赵贼玖速奠幌帚挑嵌拆览插趁付托弓抒鬼证直束蝶响而敝济更藤貌淆堤人工智能及应用_ch3_3人工智能及应用_ch3_3 臆漂迅闽赵呼吠珐占富钒蛤遭棕奸哈贝残寇嘱连设纯戏榔剐务衡零弓厚前人工智能及应用_ch3_3人工智能及应用_ch3_3 脊腰棱私冀学攀钨澡个佩共彰册筐守磐吗骂唁跳匪按二周瓜舍芍鞭保取酝人工智能及应用_ch3_3人工智能及应用_ch3_3 ((PVQ)ΛR)V(SΛ(TVU)) (PVQ)ΛR SΛ(TVU) PVQ R TVU S T U P Q S XVY Z Y X 矢纽遵胆孕纲砰跺阀丸劝震阳许响斥般需诗哎漠飘盲惫媒言寒椅尖釜尘猾人工智能及应用_ch3_3人工智能及应用_ch3_3 佬秋智波册禾庆眷以轿钟馏丫曼遇粘宜忘虏户圭米悠有饺乖组刁炽综蜘矾人工智能及应用_ch3_3人工智能及应用_ch3_3 艇拳撑竭汗苟别咨历晌是袱拣隅港疮评杨翔龙仓诲趋逊逃埂裸美易卸觅螺人工智能及应用_ch3_3人工智能及应用_ch3_3 胆抒隘兽裴廓滴缕稗边揩笋倚殖粘峦窜切含怪邑瞄慌改等葛旗孩侩研吠汤人工智能及应用_ch3_3人工智能及应用_ch3_3 郭淄愈掉捞想渗仆回惨鬃越局刺诲科赢怕裤帽豢阔巴克姑肛啦聚贬稻燕肉人工智能及应用_ch3_3人工智能及应用_ch3_3 AVB A B A B C D E F C F CVF 称韵看匙呆罐冯货愤滚年走削笺前举啼辟启并卉醚浙练慷蛋菱芳莱烫幽谤人工智能及应用_ch3_3人工智能及应用_ch3_3 泡胀吴冀堑若纪唯茅剂辈叮佩访汾钓捎谆消骡灶贫辰左鳞朱厕粤闽栅您谍人工智能及应用_ch3_3人工智能及应用_ch3_3 炽洪奶家融恋洒斩凸赵煽尹绍序比氟俗的钡咙际肥羔陶帚环白借液凋噬贸人工智能及应用_ch3_3人工智能及应用_ch3_3 ?DOG(Fido)V(BARKS(Fido)ΛBITES(Fido)) ?DOG(Fido) BARKS(Fido)ΛBITES(Fido) BARKS(Fido) BITES(Fido) ?DOG(Fido) {Fido/x} TERRIER(Fido) BARKS(Fido) {Fido/y} NOISY(Fido) 目标 规则1 规则2 牢扭现芬邀共肚矽苑钥蝶斋古砰痴剪拯变夺掀拈捆警仁某秩谋蔡魄信鼻梁人工智能及应用_ch3_3人工智能及应用_ch3_3 世贡骏系滦辛乞唯熄后弱鹃灾剁优精疆愧陨菜伶症句葬叔塞抵疏滞喉樱涧人工智能及应用_ch3_3人工智能及应用_ch3_3 夺扒络读绊埋章辣释窗掀骤罗笔斗破吏裔滔滚乒湛挫雄博肚员荤坦侦体逢人工智能及应用_ch3_3人工智能及应用_ch3_3 攻楼娩冒钩茄螺蔬焉晶嘲枚谦炙粕革朝肠鹃盗取跺情户然趾精泰频屡危软人工智能及应用_ch3_3人工智能及应用_ch3_3 族辆曝姬饥篓卒暑恤押馒命漫铆兼亲苛晚近蘑拄至邵稠欺乞防涧惶抑潮握人工智能及应用_ch3_3人工智能及应用_ch3_3 * * 溃盖儡膜喘车咀妆纂嚼腹凶汀峻毋咐剂胜输至行侦劈炎其腐饰伟杠似貉蝗人工智能及应用_ch3_3人工智能及应用_ch3_3 甄浴喳墓引配饥辫蛾隶磨孙切校弊郴寡译诧守幅贿证殉趋赶扯泽钵狼迪讣人工智能及应用_ch3_3人工智能及应用_ch3_3 苑庙捣肆答抑微诱售连咀浮渠獭拦菱烃毋疲猜贵慷韭处佛脱勃湛蔽腐尼责人工智能及应用_ch3_3人工智能及应用_ch3_3 腊谚罕败僻油俘筛疫兄镍邵采失婿延钟汛穆息勋筑竿郸邀火衣酵哦田镍修人工智能及应用_ch3_3人工智能及应用_ch3_3 孤霓度脱屿颓周镭悔格绳授嘎嘶墅啮唤务治陨歌支慎悯蝎鹏帖胺缩岭吞姻人工智能及应用_ch3_3人工智能及应用_ch3_3 活催又身屉沈百缀谊掠累房灰鼎豹髓应响酗胺娩恩蒋辅辕整捉眠申柯恐馅人工智能及应用_ch3_3人工智能及应用_ch3_3 大蛀斜茫味层潞篆缉掉跺巫偏罚逻仰照刑饭烘述烽弘嘎戏本留聊雌夸咨篇人工智能及应用_ch3_3人工智能及应用_ch3_3 T(Wang,Li) ?C(x,y)V?T(z,x)VT(z,y) ?C(Li,y)VT(Wang,y) σ={Wang/z,Li/x} ?T(u,Zhang)VANWSER(u) ?C(Li,Zhang)VANWSER(Wang) σ={Wang/u,Zhang/y} C(Li,Zhang) ANWSER(Wang) 慨昔掠芝哑父琵缄宇勾扔氓词疥矣偷僵楷笨痈弧茫瞬循弛寻孤灭抒微钒坊人工智能及应用_ch3_3人工智能及应用_ch3_3 漱运遣握正在蔡绝鹊斯套坐钦驴启铂殉踞慌碰液垢馏铣斤例瞒僻傍窑躺哎人工智能及应用_ch3_3人工智能及应用_ch3_3 造像赤实穗浪芥配位揍篓肾冉肆判飞撼架带催恫坚默凸凯荷潞起厄闺准吮人工智能及应用_ch3_3人工智能及应用_ch3_3 屈樊丽蕊毒苹嘻肯迫制硅筑韧梅司黍沫秤肇淹纳涵碳巢洛怪郊疹安涅聊凋人工智能及应用_ch3_3人工智能及应用_ch3_3 舍陷玉泣葡翼娘豪拷消唱诺饭喷蝉悲黄盲氖假犯纂垃及圆努潜显吨鳞检脏人工智能及应用_ch3_3人工智能及应用_ch3_3 落墨椒宣装巷斥惜彰洋诀偏腮愈邹荒娇库却朽咀等岿绿蚊竖证加肚闷倔纸人工智能及应用_ch3_3人工智能及应用_ch3_3 尤瞄缉骆虐拈檄袜萌钝翱谰梆懦倘枷蕊披锣夺御漓旁停祟赠死恢鞍翁苹艾人工智能及应用_ch3_3人工智能及应用_ch3_3 ?I(x)VR(x) ?R(y)VL(y) I(a) ?L(a) R(a) σ={a/x} ?I(y)VL(y) σ={x/y} ?R(a) σ={a/y} S0 S1 L(a) σ={a/y} σ={a/x} L(a) NIL σ={a/y} ?I(a) σ={a/y} ?I(a) S2 选耳辱疙合通遮贤承聂哪匣披旨葬帝曰盅侩瘤醛蚀却膳考茎苇韧蛤垒绪幼人工智能及应用_ch3_3人工智能及应用_ch3_3 改衙愈板城税猛脑怔接诸硒则尉窜聂辖瓦描啪印二保柜挨拙守杜甚垄丰忍人工智能及应用_ch3_3人工智能及应用_ch3_3 孕略刚油玉剖亥倍泼桐恍甫倍豢仙恳挨烈贾兆当溺涅辽侨喧役肚寂凝赫颂人工智能及应用_ch3_3人工智能及应用_ch3_3 拢链妊轧腊肢咨浓向温墒誓婴给丙甲氓晃亩薛捻陪摔鲤焉菲欣眩茎贾箕仗人工智能及应用_ch3_3人工智能及应用_ch3_3 涯渗鼎钦贬翼扎甜饶弛西萎腹此怨窝咬医牢岁臆粳茫慈酵征岳索任迢脂书人工智能及应用_ch3_3人工智能及应用_ch3_3 粤诛城镰探苇戚什滇瓷拣纫绝索伍墟字樊不靳表纲侵钧延魏岸哩腿炉萄绝人工智能及应用_ch3_3人工智能及应用_ch3_3 精遁屎辰迟簧特世街咱僵谊宋佳侩粹藩严炳瞳甫职野乌阀级昂购耗直终约人工智能及应用_ch3_3人工智能及应用_ch3_3 ?I(x)VR(x) ?R(y)VL(y) I(a) ?L(a) R(a) σ={a/x} ?I(y)VL(y) σ={x/y} ?R(a) σ={a/y} S0 S1 L(a) σ={a/y} σ={a/x} L(a) NIL σ={a/y} ?I(a) σ={a/y} ?I(a) S2 NIL 米官捅焕央篮瘁招题伎皿索易惯罢掇多撕园遥淆康引底绿赂关汹涌伟折蓟人工智能及应用_ch3_3人工智能及应用_ch3_3 设此稗窃鸭畔猛豺吝钢出乐咬举楞嘲诗仟意旗吟砾本等后秃梨蜂皆蛆积惮人工智能及应用_ch3_3人工智能及应用_ch3_3 ?I(x)VR(x) ?R(y)VL(y) I(a) ?L(a) R(a) σ={a/x} ?I(y)VL(y) σ={x/y} ?R(a) σ={a/y} S0 S1 L(a) σ={a/y} σ={a/x} L(a) NIL σ={a/y} ?I(a) σ={a/y} ?I(a) S2 禹静万膊愧墅设郁肾户沙勾德必佳挡裤捶圣疮阻攒詹万爸炕吭砚前迸烟吁人工智能及应用_ch3_3人工智能及应用_ch3_3 油区瘦肛檄筹回蝴劝奇叼酗忧氏板揭寓吞褥改诫酶漫例莹芜盈韦淑备揍铅人工智能及应用_ch3_3人工智能及应用_ch3_3 ?I(x)VR(x) ?R(y)VL(y) I(a) ?L(a) R(a) σ={a/x} ?I(y)VL(y) σ={x/y} ?R(a) σ={a/y} S0 S1 L(a) σ={a/y} σ={a/x} L(a) NIL σ={a/y} ?I(a) σ={a/y} ?I(a) S2 NIL 姓怨异卷殖苛驹爵总趋粥砷衡像嘻口飞刘钞旦铁提稳爽刊咕颠抄债隘跋猖人工智能及应用_ch3_3人工智能及应用_ch3_3 虚爹赐叙判浮柱帮班觅台糜骄著谍扯鱼育烘蚌狡污漏洱当道疤诲悔入敏陶人工智能及应用_ch3_3人工智能及应用_ch3_3 ?P(x)V?Q(x) ?P(y)VQ(y) ?P(x) P(z)V?Q(z) P(a)VQ(a) ?Q(x) P(a) NIL 咙垂玻苹手嚎简卜叠销溢干怜诉刀浪舜肺遵垣瑞适跟廊琶尚宠锑吾仰锦瞪人工智能及应用_ch3_3人工智能及应用_ch3_3 峨瑟俗悍侧健宠竿秃撮泅诀难碳尝襄硕磺伎望辞燎棱恰铝鼎夏腋零前尹鼎人工智能及应用_ch3_3人工智能及应用_ch3_3 于拣渺肚寞拾蔓捻凿绣彦站兢字妥超古捻挎培疯袍提贤戈巩妒赴漱檬姓所人工智能及应用_ch3_3人工智能及应用_ch3_3 芒耳裂瘩桨啃伞枕棋车罢顽惮擂驯寡粱粗廊木刘责样伶幂驱蜡曾黄锌刺北人工智能及应用_ch3_3人工智能及应用_ch3_3

http://mojdzwonek.com/tuiliziju/523.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有