人工智能的数学基础

人工智能导论人工智能的数学基础-1信息学院：韩延彬课程进度人工智能原理与应用前言绪论数学基础知识表示(1)知识表示(2)经典逻辑推理(1)经典逻辑推理(2)经典逻辑推理(3)经典逻辑推理(4)课程设计(1)课程设计(2)不确定推理(1)不确定推理(2)不确定推理(3)经典逻辑推理(5)本节知识框架人工智能的数学基础(1)命题逻辑与谓词逻辑多值逻辑（扩展）概率论命题谓词谓词公式谓词公式的一些特性随机现象样本空间与随机事件事件的概率条件概率回祸顾湾上狭一待节少课剩的惜内窝容绪论什么是人工智能人工智能的研究目标及内容人工智能的研究途径人工智能的研究领域智能人工智能发展简史研究目标基本内容符号处理为核心网络连接为主的专家系统机器学习模式识别自然语言理解等10重抽点惕：槽智焦能亭、椒人铜工赛智须能因的偶定勺义庄，帅研散究苦目侵标借（糕2政）扁，锅基克本袍内策容炸（柿5启）茶,萌人映工切智器能贞的挂研叹究垒途掀径亮（区3毛）为骂什姥么稳要统研卵究捧数炸学思维形式化、符号化人需工哈智斥能研究课题基础逻辑、概率、模糊知拉识获的护表用示姥与咳处铲理西中侮占邪有埋重我要棕地豆位退。因当此装，锋在臭系俩统窜学责习已人俊工齿智克能努的略理萝论架与内技潮术漫之果前退，先兄掌滚握壤些蹦有巨关纽奉逻台辑沙、锁概宜率乒论邪及蛮模柳糊徐理答论凑方获面拳的曾知秧识盟是骄很汽有嗽必调要仰的源。人工智能的数学基础(1)命题逻辑与谓词逻辑多值逻辑（扩展）概率论命题谓词谓词公式谓词公式的一些特性随机现象样本空间与随机事件事件的概率条件概率命攻题践逻悄辑贫与佣谓翁词凑逻的辑命题逻辑与谓词逻辑命题谓词谓词公式谓词公式的解释谓词公式的永真性、可满足性、不可满足性谓词公式的等价性与用真蕴含谓贱向春逻响辑餐是草在华命腊题鄙逻爹辑拖基疤础凶上店发宅展浊起膝来叔的燥，碑命铺题器逻绪辑希可姜看键作妻是遭谓赢词踢逻哀辑能的剖一杜种枣特猪殊购形亦式命窑题疼逻绢辑连与恳谓长词狸逻田辑谨－剑命山题阵（坑1拍）什尺么杰是轻命泰题虑？命畏题壮是鲁具舅有堡真默假传意城义霜的痰语流句命撤题泄代它表直人秤们箩进遭行兔思霜维晕时趴的负一店种滔判塑断咽，谈或察者石是都肯足定跳，细或沾者珍是吊否泪定座，两只饺有齿这说两赠种似情形况例碰子蜜：北阁京筋是冷中啦华紧人夸民予共米和袍国挨的悉首层都块。3欣≤馅5堵。太赵阳抵从市西梦边瓶升哗起锹。我病今报天岩吃鲁的非很盏饱穿。多为么烧美顺丽靠的帜祖旱国跌。我惕吃过的汉很潜饱痒是缝一棚个蜜命捉题静。表熔示亩形冬式滋用荐P告描盈述命喘题纠逻肿辑势与扰谓筹词买逻五辑箩－田命碧题命娘题语版句真克假脂含闷义注讽意穴：渡语赏句灿和杯真孟假筑的赢含首义拳缺笨一悔不倦可命洽题鸟逻坟辑渣与耽谓蛛词投逻洁辑平－箭命偷题命讲题暮逻群辑发的绸局豆限弊性耳？无鹊法壤把铜它泽所济描掘述订的甚客劝观翼事限物后的去结巨构秘及合逻嫂辑影特非征覆反俗映维出骗来庸，骨也轰不爽能础把固不屡同左事艳物撑间锅的英共酸同迅特雀征苏表祝述碎出预来砌。例扮如联：老监李怠是君小慨李配的阳父哑亲李凤白赏是淹诗跟人耍，酷杜敢甫佳也掘是足诗偷人医。思金考角？面港对愿这道样猾的棍问甚题胳，委我渠们剃怎液样闭解控决蜂？许提丘示炕：通锻常科在泪编菠程闷当异中矿，萍我饲们锄采麦用死什凶么蝴样极的壶方锁式筑来也解膨决虹相星同障特姐征杏的晴问致题镇，函采数迟（失F截u科n赤c小t牵i穴o罩n畏）命慎题斤逻穿辑笛与雾谓杰词专逻耳辑规－便谓寸词谓阵词谓闪名刷词个废体函窜数听名愿称参馋变甜量个垃体剥表控某愉个夏独堆立脚存伪在唤的裙事榴物僵或疤者拦某朝个层抽耽象悼的怜概削念谓燥名纯词兔用嘉于涛刻蜘画味个蔬体孕的制性崖质敲、奇状尖态从或风个睡体犁间纠的俊关唇系命题逻辑与谓词逻辑命题谓词谓词公式谓词公式的解释谓词公式的永真性、可满足性、不可满足性谓词公式的等价性与用真蕴含命演题谎逻浩辑切与贼谓杠词电逻窑辑禁－任谓就词老弯张抄是河教吓师T占e足a属c申h衬e离r锯（列Z桃h夹a壮n伯g铃）谓门名馆词个中体T碧e拳a风c男h抚e春r坡刻岸画狮了眯z鱼h巧a鸟n累g矩的余职欣业瞒是伙教逆师观？如恶果语是丢老姥李圾也本是典教袭师朱，督怎权么云描深述命斜题络逻旨辑苏与奶谓必词只逻码辑伍－搂谓做词5毕＞贞3贱：励G袄r核e牲a炉t厘e挽r府(骄5攀,暂3煤)山。伤G箱r街e槐a惭t胃e逮r脑(肿3坛,吵5芳)勒?谓胸词弓的队一帐般致形粥式梯是杯：P皂(摔x1,席x2,朗…库,落xn)谓则词是名捐：个嫌体滴：通类常咬情浑况距谓斤词妇名矛用理大衣写广表辟示漫，永而倚个饺体销用违小国写壮表桂示谓辉词跑的势个宁体痒，普可萝以核是粒一瞒个括常终量香，烘也古可激以合是矿一虚个圾变笼元调，索还住可属以鉴是奔一奶个是函害数例帆如掏：X颗＜出5此：开L斩e氧s线s芝（瘦x情,滩5惧）小闷王恋的奏父浮亲瓦是伶教抱师鞠：寻T梨e烧a绍c罗h羞e知r交(书F寨a执t灰h步e鲜r秃(廊W壤a煎n阻g倡)萄)比算较匠C础中登的石函蹦数命闪题若逻竿辑屈与埋谓敢词颂逻睛辑萍－张谓章词几称个笨概哀念许：当僵谓邀词彼中菜的饼变熄元总都悉用临特骄定扮的拐个肉体荐取严代的时斩，候谓蒙词遍就票具弓有伍一刘个奶确重定碎的殃真川值您：苍T蹲或钥FP丑(伶x1,症x2,盲…舒,且xn)卖，倘其涨中雨n秆是纱阶梳数个衣体蛙变戏元编的艺取停值停范扮围纱成赤为讨个倘体味域窝。循有秆限假，数无喊限谓天词惯和鞭函冻数时的末联凝系阴和惑区眼别个观体尿常严量震、近个次体鸭变魔元商、惩函细数撤统贱称难为掩“数项抄”采首用誉谓乳词表有划什哥么稿样葛的过优诉点命题逻辑与谓词逻辑命题谓词谓词公式谓词公式的解释谓词公式的永真性、可满足性、不可满足性谓词公式的等价性与用真蕴含命管题宜逻己辑醉与座谓榜词曲逻慰辑散－列谓丢词强公饭式谓蹄词灰公节式技：旬无趟论腔是适命往题尾逻银辑乌还演是疏谓冤词或逻纯辑捞，羽可忌以通利贺用漏连垮接蒸词界把电一歉些技简催单贷的腊命吗题薪连次接崇起麦来抢构钓成撤一塔个阳合耀命亿题印，卫表蠢示丘一轮个仙比假较号复骡杂苦的缸含询义导。非合挠取析为取条舟件染或津者池蕴支含昨，滤p秀→宏q双转条差件此：挑当链且洋仅吃当命妥题携逻目辑稼与龙谓程词雾逻缠辑熊－常谓粱词去公吧式量活词全去称狸量旗词存宵在仿量争词P订(胃x谱)损表减示侍是匪证峡书衰，埋F弊(兰x集,闹y优)印表谱示洁x奥，绢y症是炮朋猫友命够题捐逻货辑鞋与类谓混词脊逻贩辑竭－傲谓懒词米公航式谓装词膊公羡式素：单捷个妄谓遵词筛是萍合临式女公随式双，墨成楼为洗原听子帜谓难词础公必式若描A陕是折合搭式薯公膝式日，计则搜┐填A歪也氧是默合丹式滩公湿式若昏A忘，善B继都基是掠合暴式纷公例式狐，工则痰A税∧帽B全，辉A您∨蜡B谊，均A劳→控B往，年A即←南→粘B若丽A缩慧是掏合星式凶公乘式钟，劝X钱是袜任疫一茧个诊体容变妻元膛，孩包膨含争全或称柱量扇词饶和摸存万在绿量食词涛的激也销是型合兽式诸公父式命恶题亡逻桑辑哪与蔬谓瞒词息逻促辑韵－有谓匆词踩公铲式分钥析鬼一泻个回谓取词男公禾式约妄束王变读元自友由罚变弊元变残元塘换舅名晓原冷则棕:偷同宣名傲的忠约页束锣变敞元派应艇该毁统界一尺变锁成角相霜同槐的从名堡字尿，沈注芝意侨约肿束批条滤件轻也体得剩修姻改命题逻辑与谓词逻辑命题谓词谓词公式谓词公式的解释谓词公式的永真性、可满足性、不可满足性谓词公式的等价性与用真蕴含谓陕词未公载式嗽的梯解任释在少命释题北逻叠辑泪中阳，习对劳命邀题吃公正式搜中沸各掀个素命刑题索变嘱元恰的园一吃次唉真道值耽指随派卧成壳为购命忽题劈燕公怒式犬的乡丰一盾个奴解询释形集象络理赛解豪：施赋游值村→滩函禾数敌值谓朴词金公什式逗的炼解渠释劝：设骨D蔑为愈谓售词俯公阀式辫P葛的敞个顾体负域剂，框若遣对帮P夜中柏的设个拢体绒常碍量戒，膊函毕数乱和泰谓梁词牌按城如由下别规牺定歌赋险值耻：（滤1演）耐为塔每虾个扰个话体吉常命量偏指滑派释D醒中鞭的尾一桌个贱元寻素（火2嘱）燥为胖每旋个叙n仁元土函兵数陶指峰派波一蝴个涉从迎Dn到沙D匹的唇映芳射踪蝶，杏其耽中迎Dn＝腾｛艺（杰x圆1御,悉x愁2贫,哨…咏,掉x钉n观）箱/蛇x搅1缩慧,川x触2显,饱…骄,熟x洲n讲∈减D忌｝（代3孤）希为公每木个版n系元好谓阅词息指伟派溉一似个暗从持Dn到循｛历F霜,象T栗｝谣的虑映优射编，供责今成协这雪些帖指荣派霞为畏公昏式饰P进在话D传上强的冬一值个涌解辆释景。谓践词幸公挣式榴的研解何释例毙如粘个蒙体算域稠D斯＝登｛膝1较,渔2局｝蕉，谜求芦公尼式在使D可上扮的某婶一部个解姻释解壶:宇个钳体闪常肌量赴b腐＝族1怀，茶f胞(颗1苏)召=冲2议,遮f还(脊2语)伏=粉1对尸谓圈词害指缓派今的狗真鲜值械：P红(宿1秩)坦=滑F惭,访P匹(亭2鲁)筹=鲁T呢,否Q崭(家1挽,慕1烫)指=擦T鉴,在Q名(变2饺,酷1配)林=镜F当更x愚=虹1限时P铁(灾1继)课=珍F楚,尝Q均(过f悟(版1咱)松,圆1铁)舅=智Q死(劈燕2赞,容1直)芳=固FP径(围1亩)正→拥Q窜(贝f千(亿1路)倍,本1决)盆＝候T同眨理勇x栽=拘2拥时夸，猾T当坏前哄的锻解乌释计是节的镇公凤式价B糖是永楚真择的命题逻辑与谓词逻辑命题谓词谓词公式谓词公式的解释谓词公式的永真性、可满足性、不可满足性谓词公式的等价性与用真蕴含谓桨词场公祝式胆的饺永我真罗性兄、袜可田满尼足后性饥等永泽真恭性胶：辅如棕果哨谓蛇词腿公调式僻P悼对益个绸体添域壶D绿上章的慕任津何配一怨个启解胞释递都章取修得显真如值拘T怨，谦则抗称纠P被在副D样上临是像永断真氏的玩；仿如戴果龟P习在别每想个苗非馅空始个上体晃域抬上稿均溜永扛真右，辩则僻称完P协在狱每捎个休非寺空浇个浇体外域凶上翼均诉永疏真色，看则亩称虎P纲永歼真留。可扰满暂足茂性深：买对崖于雁谓压词坦公境式尿P计，根如辟果扛至梅少最存课在趴一锻个离解符释属使忌得锈公尿式孟P驻在毛此砌解项释纠下对的惠真作值屈为赴T膏，熔则盗称山公蛛式政P工是罪可报满你足毒的拔。不俯可雷满贿足算性开：鹊如逼果均谓闪词铁公味式概P尾对助于充个蓬体营域然D唤上唐的锯任坟何窗一碎个梦解宏释狂都百取菌得拖真衔值忌F挨，戏则便称父P昏在塌D构上蚁是版永说久质假赔的资，肌如刚果沿P总在鸽每道个督非描空街个滩体单域区上望均杨永猪假栗，浪则前称葵P稠永为假沉。命题逻辑与谓词逻辑命题谓词谓词公式谓词公式的解释谓词公式的永真性、可满足性、不可满足性谓词公式的等价性与用真蕴含谓便词尝公扒式驰的够等洋价匹性划与境永刃真似蕴读含交扒换信律美：P他∨掀Q妖←感→龙Q舅∨搏P趟,求P峡∧究Q寒←访→寨Q间∧偏P结脑合男律皮：(泰P归∨夏Q俯)圾∨虑R腾←裹→详P相∨叔(驼Q书∨坚R挤)(降P凑∧众Q滨)耽∧亏R吩←其→之P间∧筑(文Q伤∧歌R领)分次配总律败：P歌∨察(最Q关∧蚕R概)况←敞→无(鸭P炭∨欠Q睬)以∧潜(愤P棵∨脑R雅)P肃∧梢(品Q怎∨匹R英)陪←屈→铁(肝P耀∧托Q播)介∨串(飞P隶∧嘱R袄)德酸.毒摩碌根浩律！郑(想P贿∨赶Q茶)荒←魔→敞！汉P舌∧恢!曲Q！俗(宪P宝∧滑Q右)故←番→风！纱P蔬∨俭!卷Q双绿重借否柴定！胖！做P搂←寻→停P吸摘收乳律P杯∨滚(哪P剩∧走R展)远←她→霞P切,叙P墙∧稍(熟P芳∨超R美)临←厨→群P谓蛾词汇公衬式旱的煌等冲价蝴性虏与除永归真厉蕴字含补线余季律P兽∨俯！勇P叉←跃→舌T厨!胶P间∧剩P御←植→稳F结辣合脂律(拍P惹∨捎Q娱)陈∨敬R盾←善→偶P炼∨摊(思Q去∨须R样)(订P趴∧弓Q洒)勺∧候R跟←栋→遇P选∧反(碗Q共∧说R吉)连壳接模词讽化壳归膛律P毕→承Q舞←尼→闲！恶P慌∨胸Q量分词袍转饱化衬律谓更词蔬公贪式沈的且等愤价认性晴与筋永蒸真俭蕴净含谓论词狼公惩式框的巨等迫价正性弯与毒永遵真就蕴构含P晶规岭则六：铃推美理般的杠任绢何答步印骤介可会以寻引铸入共的魄前奸提T司规愚则习：锻前闯面匠推扔出晕的穴结最论挂，洋在汁后叙续禽的殖推仓理蜻中挺，京使仓用C委P福规藏则逐：排从柜R松和文前替提昌结暑合嘱中熊推躺出胳来州S熔，亩使弟用功结西论借R忙→鹊S反员证舱法寄：这寇些夏规忍则厘在似后饥续惯的图讨城论轻中馒，抚我重们慎在衔进忠行具相故关欲介虽绍稳。人工智能的数学基础(1)命题逻辑与谓词逻辑多值逻辑（扩展）概率论命题谓词谓词公式谓词公式的一些特性随机现象样本空间与随机事件事件的概率条件概率多筒值沫逻广辑经唉典刑命沈题挪逻华辑倘和飞谓躲词爷逻懂辑佩的刘语践义追解穴释忍只举有文两绵个级：白真括和惑假壤，滔0访和优1测。现罚实扯生烂活扛中恋的惕某贞些利问睬题多不月是杰简问单橡的朗真异和保假贺的娱问凝题壤，您而倾是惹存杜在犁于真惨和鼠假酷之吴间究的爷某颠个茄位闪置础上（甚敢至浸更寸复倡杂）三胞值瞧逻弱辑兄：的第壁三楚个确结察论丹有梅很栗多乌讨誉论芬，太有湿人浅提灯出粪无独意仅义蒙这艘个耳值虎，筑是齐为吩了针解生决悖屈论多东值茎逻盛辑人工智能的数学基础(1)命题逻辑与谓词逻辑多值逻辑（扩展）概率论命题谓词谓词公式谓词公式的一些特性随机现象样本空间与随机事件事件的概率条件概率概悬率多论概率论随机现象样本空间与随机事件事件概率条件概率全概率公式与Bayes公式概缓率右论为抖什正么票要体引组入裂概烧率款论概孕率关丹系模俩拟概遥率学论据是解研绍究辰随涨机果现倚象摇中争数矩量背规必律成的钉一狐门纠学逼科醋。笛反瞒应殃了略事膛物念的形不贱确唤定锐性概率论随机现象样本空间与随机事件事件概率条件概率全概率公式与Bayes公式概仗率崭论袄－锯随臭机竿现衫象在悼相念同帝的痒条纷件没下蚕重董复分进道行商某碍种骡试假验孕时丑，阵试专验疲结商果撑不站一变定袄完压全破相贸同括且宜不碗可杨预顷知仓的翅现队象厚称匪为衡随两机桌现心象笨。难聪忘哄一破课侨（亭老御师馒名尚单异）概率论随机现象样本空间与随机事件事件概率条件概率全概率公式与Bayes公式样甜本施空纤间膛与东随药机各事仰件在供试填验最中揪每纳一腹个忠可驶能尿出橡现享的奶结眨果跪称肆为青试摆验蒜的慈一元个剖样蜓本古点粘，垃由绝样寺本喘电盗的辜全踢体汁构维成筐的奇集课合沿称导为款样绝本筛空猫间暂。抛尚硬淘币乡丰：硬2伯个色跑子拳：强6桨个彩膀票旬：效？狗，婚中陈彩姨票聚的平概说率播是暗多竟少兼？样危本闲空地间笋与悄随脸机律事促件我饱们袜把桶要惹考屠察语的斩由头一煎些撒样春本绍点谜构蚕成知的章集絮合因称锤为侵随苏机磁事恼件迫，僵简歇称享事桑件泥。在吓某障次肥试烫验猴中惑，惭若纹事丸件足包戚含垄的渣某友一蛋个崇样促本睡点迈出绸现它，或就冬称楼这恰一懂事纱件看发写生五。必扇然鹊事存件冷，筹不帮可著能梳事谅件晌。样末本谋空黄间者与糟随滨机确事诞件概率论随机现象样本空间与随机事件事件概率条件概率全概率公式与Bayes公式事泻件光的冒概尸率表释示捧事蠢件质发捧生副可拆能亭性膀大绝小秤的隙数袭称疾为拘事由件副概继率饭P浆(轧A涂)古收典迹概膝型口：肺如你果肌随去机棋试丙验妨E腐的吴样迫本娘空肥间塘D睬中雹只磨包蛮含药有绪限卫个袜基虹本悠条冰件日，昌并尘且歪在位每萄次翠试旋验坛中渗每础个载基矩本姓事谣件碍发忠生陶的暮可磨能幅性那相万同良，从则阀称绕E兽为逮古鞋典刺型障随突机攀试贝验始，魄简谢称弱古既典驻概精型交。P双(枪A芽)鄙=好m雨/搞n如慎：屿1昂,竹2缺,纠…委,射7助这谎7芳个挺数自字湿当蔬中疲，佛取风一托个锋数缎字A归＝吃｛怠取吗数肃字遭3厕的丛倍帽数代｝B绍＝凯｛磨取有偶贴数够｝事性件馆的犹概角率统树计已概臭率在次同亿一大组劝条容件洗下越所程做邪的小大麦量闸重朗复锐试退验芝中雅，期事推件鞋A幅出窜现铅的以频顽率fn(召A区)兽总笼是屑在腿[请0兄,定1漆]析上仗的促一链个蔬确圾定瞎的典常骑数神p筹附栏近僵摆依动敢，界并完且恋稳出定增于化p隙，痕则亦称尖P配为赤事突件搭A津的嫁概汇率坑。硬隔币桐，捏色遮子跟等事扎件留的渡概彻率P显(贷A用)设∈齐[渡0以,粪1王]必孤然楼事灭件瞒P阅(而D蕉)咬=漂1铸,睡不主可克能喝事鱼件识P垄(段D扛)与=卖0P程(唉!贫A珠)晌=疮1闸-女P斩(秃A曲)P腐(测A体∪颈B拔)蛮＝姨P厅(艺A昏)残+爱P欲(谈B圾)势-龙P镇(热A洽∩炉B液)A毯1赢,村A毁2误,女…宅,经A顷n看两茅两手互经补轰相响容阳:贩?必?事凤件淋B小是俩事赵件触A蝇的堡子亚集号：裤P状(乒A苗-耻B泽)主=硬P或(键A粗)浪-嗓P企(针B贼)概率论随机现象样本空间与随机事件事件概率条件概率全概率公式与Bayes公式条滋件园概渴率假添设仙A愤与面B有是木某陪个奴随丈机竿试黄验革中苗的树两污个惠事例件斜，修如顷果变在访事般件庸B变发艇生虚的绪条盖件颈下标考塔虑平事风件叶A纤发附生育