分享
 
 
 

<<AI入门(6)>>(C)

王朝other·作者佚名  2006-01-08
窄屏简体版  字體: |||超大  

置换和合一:置换:在谓词逻辑中一个重要的规则是假元推理,它是由合式公式W1和W1=W2产生合式公式W2,另一个重要的规是则全称化推理:它是由合式公式(\-/x)W(x)产生合式公式W(A).例一: 表达式P[x,f(y),B]的4个置换是:s1={z/x,w/y}s2={C/y}s3={q(z)/x,A/y}s4={c/x,A/y}可以得到:P[x,f(y),B]s1=P[z,f(w),B]P[x,f(y),B]s2=P[x,f(C),B]P[x,f(y),B]s3=P[q(z),f(A),B]P[x,f(y),B]s4=P[c,f(A),B]置换是可以结合的: 用s1 s2表示两个置换,L表示一表达式,则有:(Ls1)s2=L(s1s2)和(s1s2)s3=s1(s2s3)一般来说置换是不可以交换的,即s1s2不等于s2s1合一:寻找项对变量的置换,以使两表达式一致,叫做合一,合一是人工智能中重要的过程.如果置换s作用于{E}的每个元素,用{E}s来表示置换例的集我们来看个例子:表达式集{P[x,f(y),B],P[x,f(B),B]}的合一者为s={A/x,B/y}对于上面的例子,尽管s是表达式集的一个合一者,但不是最简单的合一者,最简单的合一者是:g={B/y}下回和大家讲讲另一种知识表示方法:语义网络法.

 
 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
2023年上半年GDP全球前十五强
 百态   2023-10-24
美众议院议长启动对拜登的弹劾调查
 百态   2023-09-13
上海、济南、武汉等多地出现不明坠落物
 探索   2023-09-06
印度或要将国名改为“巴拉特”
 百态   2023-09-06
男子为女友送行,买票不登机被捕
 百态   2023-08-20
手机地震预警功能怎么开?
 干货   2023-08-06
女子4年卖2套房花700多万做美容:不但没变美脸,面部还出现变形
 百态   2023-08-04
住户一楼被水淹 还冲来8头猪
 百态   2023-07-31
女子体内爬出大量瓜子状活虫
 百态   2023-07-25
地球连续35年收到神秘规律性信号,网友:不要回答!
 探索   2023-07-21
全球镓价格本周大涨27%
 探索   2023-07-09
钱都流向了那些不缺钱的人,苦都留给了能吃苦的人
 探索   2023-07-02
倩女手游刀客魅者强控制(强混乱强眩晕强睡眠)和对应控制抗性的关系
 百态   2020-08-20
美国5月9日最新疫情:美国确诊人数突破131万
 百态   2020-05-09
荷兰政府宣布将集体辞职
 干货   2020-04-30
倩女幽魂手游师徒任务情义春秋猜成语答案逍遥观:鹏程万里
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案神机营:射石饮羽
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案昆仑山:拔刀相助
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案天工阁:鬼斧神工
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案丝路古道:单枪匹马
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案镇郊荒野:与虎谋皮
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案镇郊荒野:李代桃僵
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案镇郊荒野:指鹿为马
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案金陵:小鸟依人
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案金陵:千金买邻
 干货   2019-11-12
 
推荐阅读
 
 
 
>>返回首頁<<
 
靜靜地坐在廢墟上,四周的荒凉一望無際,忽然覺得,淒涼也很美
© 2005- 王朝網路 版權所有