《人工智能》之《确定性推理》习题解析
教材：《人工智能及其应用》，蔡自兴等，2016m清华大学出版社（第5版）
参考书：
对应同系列博客：《人工智能》之《确定性推理》
《人工智能》之《确定性推理》习题解析1什么是图搜索过程？其中，重排OPEN表意味着什么，重排的原则是什么？2试举例比较各种搜索方法的效率3化为子句形有哪些步骤？请结合例子说明4如何通过消解反演求取问题的答案？5什么叫合式公式？合式公式有哪些等价关系？6用宽度优先搜索求迷宫的出路7用有界深度优先搜索方法求解八数码难题10机器人驾驶卡车11规则演绎系统和产生式系统有哪几种推理方式？各自的特点是什么？12单调推理有何局限性？什么叫缺省推理？非单调推理系统如何证实一个节点的有效性？13在什么情况下需要采用非单调推理？14下列语句是一些几何定理，把这些语句表示为基于规则的几何证明系统的产生式规则1什么是图搜索过程？其中，重排OPEN表意味着什么，重排的原则是什么？图搜索过程如下：
建立一个只含有起始节点S的搜索图G，把S放到一个叫做OPEN的未拓展节点表中。建立一个叫做CLOSED的已拓展节点表，初始化为空表。LOOP：若OPEN表是空表，则失败退出。选择OPEN表上的第一个节点，把它从OPEN表移出并放进CLOSED表中。称此节点为节点n。若n为一目标节点，则有解并成功退出，此解是追踪图G中沿着指针从n到S这条路径而得到的。扩展节点n，生成后继节点集合M。对那些未曾在G中出现过的（既未曾在OPEN表上，也未在CLOSED表上出现过的）M成员设置其父节点指针指向n并加入OPEN表。对已经在OPEN或CLOSED表中出现过的每一个M成员，确定是否需要将其原来的父节点改为n。对已在CLOSED表上的每个M成员，若修改了其父节点，则将该节点从CLOSED表中移出，重新加入OPEN表中。按某一任意方式或按某个探试值，重排OPEN表。GOLOOP。重排OPEN表意味着，选出一个“最好”的节点在第6步进行扩展，不同的排序方式也会使图搜索过程的搜索策略不一样。
重排的原则应当视具体需求而定，不同的原则对应不同的搜索策略。一般地，重排的原则是：根据相应的图搜索策略，将“最好”的节点（即最有可能达到目标节点的节点）放在最前面。
2试举例比较各种搜索方法的效率这些搜索方法都大同小异，差别在于拓展节点n时，把n的所有后裔放在OPEN表的前端还是末端。
如，宽度优先搜索的框图：
3化为子句形有哪些步骤？请结合例子说明消去蕴涵符号将蕴涵符号转换为∨和符号，如A∨B替换A→B。减少否定符号的辖域每个否定符号最多只用到一个谓词符号上，并反复应用狄摩根定律。如用A∨B代替（A∧B），用(∃x)(A)代替(∀x)A。对变量标准化改名哑元（受量词约束的变元），保证每个量词用唯一的哑元，即不同量词约束的变元有不同的名字。如对(∀x)(P(x)∧(∃x)Q(x))标准化得(∀x)(P(x)∧(∃y)Q(y))。消去存在量词对全程量词辖域内的存在量词，以Skolem函数代替存在量词内的约束变量。对自由的存在量词，以一个新常量替代。如((∀y)P(g(y),y))代替(∀y)(∃x)P(x,y)，其中g(y)为Skolem函数。又如P(A)代替(∃x)P(x)，其中A为不含变量的Skolem函数即常量。化为前束形把所有全称量词移到公式的左边，并使每个量词的辖域包括这个量词后面公式的整个部分。前束形={前缀}{母式}（全称量词串）（无量词公式）把母式化为合取范式任何母式都可写成由一些谓词公式和谓词公式的否定的析取（子句）的有限集组成的合取。如(A∨B)∧(A∨C)代替A∨(B∧C)。消去全称量词余下的量词均被全称量词量化了。同时全称量词的次序也不重要。因此，可以消去前缀，即消去明显出现的全称量词。消去连词符号∧用{A,B}代替(A∧B)，消去符号∧。最后得到一个有限子句集，其中每个公式（子句）是文字的析取。更换变量名称更换变量符号，使一个变量符号只出现在一个子句中。如P(x)∨Q(x)和P(x)∨P(y)，更换变量符号后为P(x1)∨Q(x1)和P(x2)∨P(y)。4如何通过消解反演求取问题的答案？给出公式集{S}和目标公式L；否定L，得到~L；把~L添加到S中；把新产生的集合{~L，S}化成子句集；应用消解原理，推导出一个表示矛盾的空子句。5什么叫合式公式？合式公式有哪些等价关系？一阶逻辑中合式公式，被递归定义如下：
原子是合式公式；若A是合式公式，则()也是合式公式；若A，B是合式公式，则也是合式公式；若A是合式公式，是A中的变量符号，则也是合式公式；只有限次地使用1～4所生成的符号串才是合式公式。等价关系有：
否定之否定、蕴含与与或形式的等价狄摩根定律分配律交换律结合律逆否律6用宽度优先搜索求迷宫的出路设起点为S，搜索树为：路径为：S→A→B→C→F
7用有界深度优先搜索方法求解八数码难题设置深度界限为9，其搜索图如下所示：按顺时针方向，最大深度为5。
10机器人驾驶卡车11规则演绎系统和产生式系统有哪几种推理方式？各自的特点是什么？12单调推理有何局限性？什么叫缺省推理？非单调推理系统如何证实一个节点的有效性？13在什么情况下需要采用非单调推理？不完全的信息，不断变化的情况，以及求解复杂问题过程中产生的假设。
14下列语句是一些几何定理，把这些语句表示为基于规则的几何证明系统的产生式规则两个全等三角形的各对应角相等。两个全等三角形的各对应边相等。各对应边相等的三角形是全等三角形。等腰三角形的两底角相等。答：规则1：IF两个三角形全等THEN各对应角相等
规则2：IF两个三角形全等THEN各对应边相等
规则3：IF两个三角形各对应边相等THEN两个三角形全等
规则4：IF一个三角形为等腰三角形THEN它的两底角相等
古代名人名字大全集 中国历史人物名字大全
导读：学习语文和历史的我们总能见识到很多古人的名字，他们或是皇帝，或是名臣，亦或者是诗人美人等等。每个时代都有好听的名字，古代名人中，你知道哪些名字的名字好听吗？古代名人名字大全集又该去哪找呢？以下是万年历小编整理的中国历史人物名字大全，感兴趣的朋友来看看吧。
名人名字
古代名人名字大全集
中国古代有名的诗人的名字有：孔融、李白、杜甫、白居易、刘禹锡、李商隐、杜牧、李贺、张九龄、王之涣、王勃、皇甫松、李珣、李煜、高适、王维、刘长卿、韩愈、柳宗元、顾况、李益、范仲淹、欧阳修、陆游、辛弃疾等。
中国古代有名的政治家的名字有：秦始皇、商鞅、王安石、吕不韦、朱元璋、曹操、赵匡胤、赢政、刘邦、诸葛亮、李世民等。
中国古代有名的文学家的名字有：陶渊明、柳宗元、司马迁、、孙子、庄子、荀子、老子、韩非、司马相如等。
中国古代有名的皇帝的名字有：黄帝、武则天、秦始皇，刘邦，刘桓，刘启，李世民、李渊、赵匡胤、铁木真、朱元璋、康熙、乾隆、李煜、成吉思汗等。
中国古代有名的女人的名字有：武则天、慈禧太后、陈圆圆、杨玉环、李清照、貂禅、赛金花、文成公主、孝庄皇后、李师师、赵飞燕、蔡文姬、黄道婆、卓文君。
中国历史人物名字大全
【春秋】
齐桓公(小白)、管仲、隰朋、鲍叔牙、易牙、竖刁、郑庄公(寤生)、太叔段、祭足、颍考叔、公子纠、宫之奇、公孙无知、晋文公(重耳)、狐突、狐偃、狐毛、介子推、里克、邳郑、宋襄公、秦穆公、楚庄王、石碏、石厚、州吁、郑突、郑忽、老子、孔子、孙武、左丘明、伍子胥、范蠡、西施、勾践、阖闾、夫差、文种、专诸、要离、庆忌、吴王僚、伊尹、烛之武、公子光、魏舒、晏婴、庆父
名人名字大全
【战国】
乐毅、吴起、孙膑、庞涓、廉颇、赵牧、赵奢、赵括、项燕、田单、韩非、荀子、庄子、墨子、惠子、孟子、燕丹、荆轲、高渐离、樊於期、孟尝君、春申君、信陵君、平原君、邹忌、白起、商鞅、李悝、蔺相如、屈原、魏斯、乐羊、西门豹、孔伋、杨朱、聂政、申不害、尸佼、赵武灵王、匡章、淳于髡、张仪、苏秦、田辟疆、田忌、鬼谷子、甘德、石申、李冰、扁鹊、范雎、蔡泽、郭隗、唐蔑、宋玉、触龙、毛遂、鲁仲连、公孙龙
【秦】
嬴政、吕不韦、李斯、尉缭、王翦、王贲、李信、蒙骜、蒙武、蒙恬、嬴扶苏、嬴胡亥、赵高、章邯、司马欣、董翳、李由、甘罗、嫪毐、阳泉君、嬴子婴、嬴成矫、徐福、卢生、陈胜、吴广、项梁、项羽、张良、韩信、萧何、刘邦、陈平、周勃、夏侯婴、曹参、范增、项伯、项庄、樊哙、英布、彭越、熊心(楚怀王)、龙且、郦食其、钟离昧、周殷、灌婴、周章、魏咎、赵歇、田儋、田臧、李归、邓说、伍徐、张贺、庄贾、朱鸡石、余樊君、王离、陈余、张耳、宋义、涉间、苏角、李左车、田荣、殷通
【汉】
刘邦、萧何、曹参、韩信、张良、英布、周勃、周亚夫、吕雉、吕禄、吕产、陈平、灌婴、灌夫、郅都、宁成、张汤、东方朔、刘彻、刘启、刘安、卫青、卫子夫、霍去病、霍光、刘贺、田蚡、窦婴、苏建、苏武、司马相如、卓文君、司马谈、司马迁、扬雄、李广、李陵、王莽、赵飞燕、赵合德、刘秀、马援、邓禹、吴汉、盖延、赵破奴、张骞、刘细君、王昭君、梁冀、陈蕃、窦武、何进、卢植、皇甫嵩、朱隽、班超、班固、班昭、董卓、蔡邕、袁绍、袁术、郑玄、张衡、贾谊、晁错、郭解、剧孟
【三国】
曹操、刘备、孙权、关羽、张飞、诸葛亮、赵云、黄忠、马超、魏延、法正、庞统、周瑜、司马懿、徐庶、曹丕、曹植、曹彰、郭嘉、荀彧、荀攸、贾诩、程昱、满宠、蒋济、韩浩、陈群、张辽、徐晃、许褚、典韦、张郃、于禁、乐进、李典、曹仁、文聘、张燕、曹洪、曹休、曹真、夏侯敦、夏侯渊、夏侯霸、夏侯威、姜维、鲁肃、吕蒙、陆逊、张昭、张纮、虞翻、丁奉、徐盛、陈武、潘璋、甘宁、太史慈、蒋钦、周泰、董袭、骆统、廖化、马谡、王平、蒋琬、刘禅、孙亮、凌统、费祎、诸葛瑾、公孙渊、邓艾、钟会、诸葛恪、司马师、司马昭、孙皓、曹髦
古代名人名字
【晋】
司马炎、司马衷、贾充、贾南风、王祥、羊祜、王浑、王浚、陆机、陆云、周处、刘琨、谢逖、陶侃、孙秀、刘渊、石勒、石虎、王弥、苟晞、潘岳、石崇、左思、王览、王导、嵇康、阮籍、阮咸、刘伶、王戎、杜预、荀勖、何曾、张华、司马攸、司马玮、司马亮、司马伦、司马冏、司马颖、司马颙、司马乂、司马越、段匹磾、张寔、刘曜、刘聪、司马睿、王羲之、王献之、桓温、谢安、谢玄、谢道韫、桓玄、苻坚、姚苌、慕容垂、陶渊明、王敦、司马道子、孙恩、谢琰、王恭、殷仲堪、瘐楷、卢循、徐道覆、王猛
【南北朝】
拓跋珪、拓跋嗣、拓跋焘、元雍、元琛、元晖、法庆、尔朱荣、郦道元、刘裕、刘义隆、徐羡之、傅亮、谢晦、檀道济、刘义康、刘湛、宇文泰、高欢、高洋、宇文觉、高长恭、萧道成、袁粲、褚渊、刘秉、萧衍、萧统、陈霸先、陈叔宝、谢灵运、杨大眼、元英、邢杲、万俟丑奴、阮孝绪、王筠、萧宝卷、陈庆之、萧子云、萧子显、杨炫之、苏绰、祖冲之、贺拔岳、贺拔允、贺拔胜、侯景、魏收、王僧辩、萧绎、庾信、宇文护、斛律光、顾野王、江总、綦毋怀文、颜之推、施文庆、沈客卿
【隋】
杨坚、杨广、杨勇、翟让、李密、杨素、杨玄感、独孤皇后、贺若弼、韩擒虎、牛弘、史万岁、宇文恺、杨玄感、宇文述、何妥、何稠、裴矩、陈棱、宇文化及、杨林、王世充、宇文智及、宇文成都、阴寿、刘焯、李春、杨俊、杨秀、杨谅、卢思道、操天成、明克让、虞庆、郑译、梁士彦、宇文善、窦荣定、长孙冕、高颖、智永禅师、伍建章、伍云召、伍天锡、鱼俱罗、邱瑞、定彦平、魏文通、新文礼
【唐】
李渊、李世民、侯君集、李靖、魏征、房玄龄、杜如晦、柴绍、程知节、尉迟恭、秦琼、长孙无忌、李存恭、封德彝、段志玄、刘弘基、徐世绩、李治、武则天、太平公主、韦后、李隆基、杨玉环、王勃、陈子昂、卢照邻、杨炯、王之涣、安禄山、史思明、张巡、雷万春、李白、高力士、杜甫、白居易、王维、孟浩然、杜牧、李商隐、郭子仪、张易之、张昌宗、来俊臣、杨国忠、李林甫、高适、王昌龄、孙思邈、玄奘、鉴真、高骈、狄仁杰、黄巢、王仙芝、文成公主、松赞干布、薛涛、鱼玄机、贺知章、李泌、韩愈、柳宗元、上官婉儿五代十国：朱温、刘仁恭、丁会、李克用、李存勖、葛从周、王建、刘知远、石敬瑭、郭威、柴荣、孟昶、荆浩、刘彟、张及之、杜宇、高季兴、喻皓、历真、李茂贞、朱友珪、朱友贞、刘守光、卢文进、李嗣源、冯行袭、康义诚、薛贻矩、朱弘昭、冯赟、李存孝、霍存、张归霸、张延寿、氏叔琮、朱瑾、朱珍、张存敬、牛存节、李罕之、乐从训、王师范、康怀英、王彦章、时溥、秦宗权、史懿、苏逢吉、杨邡、耶律德光、安重荣、边光范、袁继忠、李筠、薛怀让宋：赵匡胤、赵匡义、石守信、慕容延钊、曹彬、潘美、赵普、杨业、田重进、王禹偁、林逋、杨延昭、杨文广、包拯、狄青、寇准、范仲淹、司马光、欧阳修、苏轼、苏辙、王安石、吕惠卿、曾布、曾巩、苏洵、宋江、方腊、岳飞、秦桧、韩世忠、梁红玉、赵构、朱熹、柳永、黄庭坚、秦观、晏殊、晏几道、陆游、辛弃疾、魏良臣、李清照、唐婉、史弥远、韩佗胄、贾似道、丁大全、文天祥、陆秀夫、高俅、蔡京、杨戬、童贯、张叔夜、韩锜、岳云、张宪、梅尧臣、苏舜钦、吕文焕、吕文德、杨幺、沈括
古代名人名字大全
【元】
铁木真、术赤、窝阔台、察合台、拖雷、忽必烈、博尔术、博尔忽、木华黎、赤老温、欧阳贞、关汉卿、王实甫、白朴、郑光祖、周德清、夏镇、蒙哥、土土哈、床兀儿、不花帖木儿、燕铁木儿、撒敦、唐其势、泰不花、王保保、伯颜、脱脱、陈也先、倪云林、司居敬、速浑察、相威、黄道婆、图帖睦尔、雪别台、刘杰、杨琼、郑露、明玉珍、刘福通、陈友谅、陈友定、张士诚、徐寿辉、柯九思、彭莹玉、倪文俊、张必先、张定边、妥欢贴睦尔(元顺帝)、赵孟頫、管道升、康里脱脱、鲁明善、汪汝懋、张雨、赛典赤·赡思丁、盛懋、黄公望、察罕铁木儿、亦黑迭儿丁、也里迷失、王开
【明】
朱元璋、刘基、宋濂、高启、李善长、徐达、常遇春、邓愈、汤和、沐英、冯胜、朱亮祖、傅友德、朱允炆、朱棣、郑和、铁铉、解缙、姚广孝、王景、邹辑、唐赛儿、唐寅、文征明、祝枝山、周文宾、冯梦龙、吴承恩、汤显祖、戚继光、严嵩、严世蕃、胡宗宪、俞大猷、谭纶、海瑞、李时珍、徐霞客、宋应星、王守仁、高拱、张居正、冯保、徐阶、王振、刘瑾、魏忠贤、崇祯皇帝、正德皇帝、天启皇帝、王承恩、陈圆圆、张献忠、李自成、熊廷弼、孙承宗、袁崇焕、毛文龙、王世贞、顾起元、何可纲、赵率教、祖大寿、丘睿、柳如是、李香君、邓子龙、徐渭、王抒、杨大中、方孝孺、齐泰、黄子澄
【清】
皇太极、顺治、多尔衮、孝庄、鳌拜、索尼、苏克萨哈、遏必隆、康熙、洪承畴、吴三桂、范仁宽、纳兰明珠、索额图、姚启圣、施琅、尚可喜、耿精忠、雍正、年羹尧、隆科多、李卫、乾隆、纪晓岚、刘墉、和绅、和琳、阿贵、福康安、张廷玉、周培公、熊赐履、李光地、陈廷敬、于成龙、南怀仁、汤若望、林则徐、关天培、嘉庆、道光、洪秀全、杨秀清、萧朝贵、冯云山、韦昌辉、石达开、林凤翔、李开芳、陈玉成、李秀成、田文镜、洪宣娇、咸丰、同治、光绪、宣统、慈禧、慈安、奕昕、左宗棠、曾国藩、曾国荃、刘永福、李鸿章、荣禄、张之洞、李莲英、邓世昌、丁汝昌、曹雪芹
结语：以上是万年历小编整理的“古代名人名字大全集，中国历史人物名字大全”内容，希望能够给大家带来帮助。
文章由天气网万年历频道(http://wannianli.tianqi.com/)原创，禁止转载，转载必究。
相关推荐
独特的舞蹈名字大全好听洋气舞蹈名字大全
独特好听的男古风名字比较好听的男主名字古风
独特好听的食物名字可爱仙气的食物网名
发型师名字大全中文发型师一般都叫什么名字中文
粉丝群名字好听点的有创意的粉丝群名称
服装直播名字吸引人气服装直播卖货怎么取名字