人工智能的逻辑基础初探

广义智能科学的

逻辑基础探讨

西北工业大学计算机学院何华灿2004年09月11日于秦皇岛

一逻辑是智能的基本科学问题吗？对这个问题的回答经历了早期：狭义智能的完全肯定√

中期：知识工程的部分动摇？计算智能的完全否定

现在：探索广义下的肯定答案解做决芒这贼个午问蒸题补的构重纪大颗意躺义有堵助话于张深躁刻忌认城识滥智犯能吊的揉本阵质为急智豪能灿科愤学劣奠布定区重馅要若理阀论叉基估础使也人铸工芳智来能兄有肺统齿一买的震可漫靠遮的旋逻龟辑勤基屠础廉，潜这婚是灿由仍实晃证穴科泄学怒向定理犹论盼科轿学仓过齐渡崭和抢由研定背性闻向劲定皱量穿转拴型能的逗必聋要标条配件深胶刻维的曾比袄喻尽桥管撇人丛类光很汗早溉就慈通棒过捞形马体捎、线结领构祖和张遗晚传培进谣化倍认明识薪了栋生掉物抱和睛生势命菠，够但来直舞到硬发泄现闭了轮D拘N丹A爱，拜才耽真颤正料开意始辉认办识渡生和物捧和理生芳命匀的氏本扑质描。人罢类判基搭因抗组压计被划如高首贵坟的人和躁卑鱼微抱的黑这猩廉猩比贞较D忌N折A益的迷差斗别户小隶于领几圾%显！逻断辑柳学洪是俩思芒维苦和兰智轰能孙的劫D星N堪AL计猫划根鹅据咬1会：絮工真生寨命可的芳重缘瑞要必启野示人抓工奖生娃命根中望的玩研贼究披结欢果辰L陵-狐系触统订细竖胞胆机D矛N缸A芳是器生铲命桶系边统毕的匹逻季辑拜规谣则虚生物物狗体龄只凡是冻这渡些枪逻楼辑馒规芽则期的申语虾义孙解牌释票和郊物旺理绒实疾现根萝据甜2费：侦蓬丈勃啦发将展亩的蓄现锦代氧逻途辑与怜A辆I夕界辜有抽人悄放田弃影逻像辑昌不背同裙，凤有吴些蜓逻感辑雄学蜻家教认丑为菜人酸工限智反能虾是扩现驰代侄逻柏辑械学添发顾展揉的原扮动星力他秩们借在丈努免力告拓模展堂经劫典露数责理在逻筹辑骑，陈以逆适沿应惹计扛算睁机斧科得学趁，欺计魄算葵语续言探学煮和轰人复工研智层能顶发秒展帝的良需腾要撒，护取净得谱了清丰欲硕池成辟果座，弱这耍集泥中液反嗽映少在输现刮代圈逻属辑慨的东“拜圣秒经杠”膊《蛾哲食学摄逻焰辑班手狂册葵》两中奖。适沙应叠智谈能栏科璃学恐需饱要洽的做逻颜辑承已初晋现馒端伶倪割！问量题渣的绩关披键赵何疮在组？智拾能旅科就学浴要熔处待理株矛且盾梢和赔不主确石定己，奔如供：不蚕精道确论不陪完农全响动致态夺演醒化人饲工圆智汉能归只恳能廉使赔用政数芽学姨化印的帮逻位辑而驳经锣典惭数剪理刮逻舞辑偷不朝考讨虑席矛微盾集和垄不扒确各定辩杜证归逻度辑嫌能广处挡理暴内揪在攻矛吃盾姨性习和夏外披在亩不欠确然定铺性氧,未辩宽证比逻却辑蜻能拌够晕数跳学滋化弃吗候？关芬键援：志探眠索桐数妨理继辩睬证榨逻梨辑二广杜义与智嗓能停科单学对旅逻化辑君学院的胞需附求什肾么辈是罚广华义预智瓜能痰观智尺能次广棒泛序存装在斥于骡自誉然床界敲中咱。（守涂翠序忌彦头等杰）广潮义膏智绸能是黎信镜息善系曲统扁感观知头环览境疲及厦其岸变渔化婚，俊通土过赛自桃身手结注构润和犹功令能骗的夸改炎变弄，罢恰锯当冰而既有悟效弊地份对穿其瓜作勤出叼反证映剪，柳以延适甚应批环窄境缺，宅达万到宽系坑统爸生庆存酸目尚标疫的钞能碗力共。（变何零华嫩灿份）广企义倡智享能励是喊一扮切不可役把扶广肢义润信炉息毕张广害义爹知末识祥为广虫义痒智纺力耍的攀机芦制库和傲方摘法（奴钟觉义帐信诞）什糕么龄是蛋广维义黎逻漆辑拌观逻标辑倚是舞自亲然槐界询一慕切角事始物想及询其轨变绳化座的肉一晕般稳规版则宜和怀规题范密。（钟何匙华乳灿危）逻扩辑讲和番具坦体拦科杰学蒙及冠哲垂学病的领关版系活与句区传别科败学翅具愈体避研佣究婆某悠类悠对派象危的蜓变浩化饭规您律哲凡学吨抽阻象掘研盼究支整佳个仰自宵然私的锅变地化晨规昏律逻春辑役抽胃象造研抱究收自置然板变况化灿的良规卡则俩和努规根范逻敏辑注侧纱重蒸规竹则养和留规揉范冤，副科县学士侧林重录原洲理逻均辑合有吨多筛种未形盾态蔽，驻如二狂值揭逻死辑迎/尖二乌值役图鉴象看多锄值行逻导辑销/蔬灰气度鸟图况象墨多牧维倒逻陶辑迎/应彩谈色阿图辆象之缺浸省缴逻赤辑打/贱缺掩省晕图尸象舞动旨态枝逻发辑宾/咬动震画某视绘频结岗构趣和涝过惕程呼都暴是漏逻碗辑独的含具源体久实嚷现事令物插的疼三常种等敞价描蚁述匙相乱互舟渗董透弹不应可电分逻搞辑规迹则映描蝇述添事脑物关用厕推哑理拐演签算慕解映决知鼻识结元构描凶述左事良物殊用树搜苗索详策洪略骆解泉决演谷化过峰程描细述胡事刻物千用坐寻爷优撒过办程瓶解愈决例隔如冻可碑从签三勾个泳不火同然侧侦面朱观吸看鞭芭纺蕾键舞阶：从形扎体上长看猫是炎人擦体菠结御构画的杆变君化从能岸量上仍看绣是籍能氏量踢变伪换逐的执过脆程从信趴息上古看饰是凯思治维抬逻数辑奋的娘演城绎三谜个勉中咐一船个拳为主，没其廉他撞是亡伴忠随翻的附多件人怀工猪生洽命著使码我即们仙想黎的楚更盲大续胆蓄，绘更转深制入涉！广渔义智赞能满科包学注理奸论貌体捞系基予本往需抹求细：剃数电理售逻屋辑穴柔佛性絮化逻恐辑赶学窜分啦为纯：★形纵式仙逻届辑研磁究押具臭有责内湿在才同险一萄性琴和安外匪在皂确熊定恩性丈的王概象念沈、悔命浆题链之弄间武的榜必卸然帆联燃系梁；★辨日证乓逻稳辑研零究庄具窄有剥内盘在敞矛饮盾坏性晨和著外幻玉在尖不黎确用定熊性烟的务概独念稳、忙命裕题社之印间辉的抵必范然匀联高系膀。研踪蝶究房诚辨骨证只逻扯辑蔑的基罚本没方衫法是罪将都辨版证争逻纽奉辑问撒题月通仅过划请分盲和懂时论空定定驱位，礼转目化芬为垫形司式逻请辑犬问击题查。逻闸辑公学胁中扩的更基兽本枪问五题刚戴性潜逻逝辑箩学传和闷柔妇性凝逻答辑专学辨滴证厨逻阻辑据的宗数旦学等化孙得叶到威非邪经今典临数傍理永逻多辑网，乐它扰是柔悉性悔逻戏辑撇学(包F瞒l项e鹅x补i婆b伪i顺l仿i引t鹿yl逝o五g雄i骄c西s设)形厚式闹逻达辑返的鱼数动学照化史得缘瑞到枪经寇典锦数仿理则逻撒辑愈，墨它若是刚隔性练逻蜻辑剩学(亦R赌i伪g禾i牧d负l旧o捉g辟i刊c逗s架)数权理轿逻耻辑凶柔浸性姜化朗的愤三孔个因方锅向1亏不慨精献确齿推怠理：二彻值喜逻斥辑连阵续喷值别逻响辑三旅值容概杠率渗模炎糊菊多版值障模茄态2执信果息梨不沸完规全：全抗信沾息咱逻俱辑非引全破信战息横逻悟辑归句纳止类恩比场容咬错游非市单惭调泳弗忌协浑调披开搏放3易动京态阀变轿化：一魄维挎逻泄辑高决维敲逻茄辑四竹值察八夫值抓动收态叨区真间妹粗疫糙栏灰退色众否多鱼现耻代领逻党辑胆需税要在遇新邀的博理流论条框拖架镇下烧统姜一不伙精舅确旷推收理盼：么二棚值萌逻鬼辑连秃续巧值宪逻执辑关舟键犁1桌：夸命顾题蜓真龟值捞连利续腿变衰化恨的旗逻巨辑榜意刊义关惭键旋2病：考命坛题士连旬接殿词桂及株其街运嗓算聋模磁型逻焰辑牺意亚义享：整净体付判赤断略和损局接部祖判财断命碍题纸连谦接洗词慈及绩其社运门算消模牲型已弓经纲提恳出竖不洪少惹连委续冰值通逻锻辑吼定旱义受界传译统渡逻蠢辑客学斧思扫想母束拣缚帅，墨运数算侍模旁型零唯皮一T距-策范数数柿发壳现汽了辜许录多侮连际续洪变斧化介的钢算嗓子元簇辞，唉但洞不沫知星道脸不缎什拉么碗物口理采意寒义示。认纪识床到穴不克同签情遵况轻需针要症不蝇同投的护运授算钱模萄型关凝键裁是厕转仇变国传季统浇观灵念员，幸找记到返适界应槐不平同滔情效况婚的伪自贫适纳应点机鱼制堵和艺调握整颠参泥数信嫩息颜不锤全末：凶全筋信即息晋逻泥辑非脆全裁信锋息聚逻粮辑关后键艳1谦：底如炮何冲补傻充粥和狱修遣正症假育设垦命贱题关见键押2龟：笋如净何万处浪理盖假舞设灵命牛题作带城来鸽的粗各巡寿种厕问凡题目分前拦是勒在币二陪值铺逻顺辑缝基坟础驴上拳放唐宽蹄对钟推姜理撇的处前册提哭条线件啦应超该扯全逝部妹已易知伟的贷限图制灵，之允蚁许馅部检分赖条乓件计缺哨省伍，躲然辽后旁利荡用观先音验至或广后秆验密的漠信台息笔进逐行竖补坚充况和召修矛正笔。产星生扶和艘修棚正讯假雪设丑命秤题什的明方屈法耕不衔同口，召就冶形脆成谱了跪不悔同酬的侨逻魂辑马（辉和丈附左加株机墙制笨）刊。场如不杂完丙全药归聪纳亭类肥比须案垦例聪发帖现倾信然念赏等假聪设驻命送题砌造猫成院了沿推校理货过疗程渡的孟非苹单么调秘性赤、弗践协牺调寇性刘、球开锁放乘性廉等佩。非悠全族信组息烧逻知辑烫主饰要阶是窃研泳究芝附牵加带机愈制贡。动看态惰变皆化星：译一即维屯逻毕辑高京维使逻麦辑关除键突1左：狭伪东偏唤序达逻只辑款的旱蕴魔涵具如滚何典定四义快？关江键放2虏：湖从并整真数订维庙实习数阻维碑可讯能疯吗纪？可焦拓拢逻甩辑灯有毛更王多神的增变狡化凉机胳制（您蔡烦文邀）人粘工标生蜂命辱系流统坛的贸经序验为傲什岂么天除下稀没乔有柔完形全秘相萍同严的烛叶亚子生蜡物妨体计内完部扩如踢此鲁完绒美向地狭协软调生内物士和捏它牧存塞在副的蚁环闷境纵如疼此熄和逆谐因德为它套的当逻拴辑礼规泄则导中刮存栋在梁随丧机探参各数插、漫内仇部六动船态卖平担衡允参货数悲、仓对摸环柜境色敏传感欧的絮参伸数券等逻拦辑娱学键中闲需谱要瓜而间且荣可驰能绪引扑入缸许吐多站附颜加录参出数阿和笑自诸适盲应彻机残制数兴理拘辩役证料逻予辑坛的循统闪一遮之灭路经线典蜡数燃理去逻国辑假已危经鬼是岁一妙个坟完明整叶的候理叛论波体丧系傍，久但勿它皱只休能倒处声理裕具煎有郑内泽在总同揉一森性雄和夫外姻在阅确帜定毁性哲的概推尾理锣问段题沙，刚它仰的灵各拒种际逻苦辑跃学趟要钳素专都止是深固岛定努不蛋变把的柳，抵没婚有醒调凭整音机参制松。数席理密辩拼证乖逻垂辑汽需灭要笔在潮经假典劝数裂理揭逻写辑荷的番基镰础括上嚼，乖根甩据搜辨荒证颈处姿理滤具傍有约内劫在亲矛桨盾筹性箱和着外墙在衡不紧确吹定顾性姻事每物潜的比划乌分摇和裙时暖空建定照位尾规巡寿律总，声引扑入莫各榆种阻柔掏性疏参殃数鸦和零调忽整巷机仗制色。统嘱一降考芦虑障多稼值面性骄和贸非估全腿信钩息秩性统斩一星考吹虑口各狭种精不欠确喊定敬性三泛宣逻牧辑季学拦研甜究纲装要指及党初奔步毅成透果1溪泛仅逻祖辑扁学既的敌研攻究鄙纲趣要泛插逻规辑毅学黑的量总捏纲锹领炊是为从景顶询层大研台究尸逻跳辑桃学葵的汪一碌般程规梅律磁，丘建残立悬统析一抱而易又但开洋放抓的拜逻牢辑咱学汇理狸论辫架刑构酱，绝以盘规院范根和质指芝导尼现册代轻逻冤辑她学劳研父究设，狭实长现缓数芦理俊逻饥辑研的听柔载性曲化庭。核药心淋问疫题怖是岸在诵数庸理签逻垃辑奖中拒引颗入条柔拘性勤机贫制包题容棚各厌种液矛左盾窄和怕不油确洗定荷性任拿何蛇逻逼辑撤都艇有脾语婆法谣规古则赴和起语漆义堵解端释陵两凉部古分语飞法惕规孤则唐中防至例少浇有影四芬个碗要潜素样可筝柔厅性羡化尤：1监.站1盆建塞立饥柔木性杂真福值加域命谋题猫真须值圆的夏度傲量须空首间拖必顽须治是贼有仪序姨空画间辜，闸可驻是线野序、偏淋序或超区序。真惭值罚域障的诱一杂般鸭形剂式是狼多仗维辈超惊序泳空舒间W＝化{}俭∪斜[隆0那,首1常]n<>n＞冤0其吸中竖[场0惩,均1顽]迹是基蛙空猪间，n是维犬数，表宏示无牺定帮义或恒超赠出劣范者围盟，遣可醉没槽有垫;是岩有变限伸符结号沈串败，袋代种表妄命完题动的附捏加未参庄数，池可尼是。1吸.线2上建口立懒柔顺性拦连共接腾词命葬题胸连洗接样词停由牢运栗算幅模蕉型砍定耳义竭，辱我笛们袭根偷据佣模漏糊鬼测压度贝的废逻柿辑哲性葬质浅研黎究步发京现终了刷柔杨性党逻盛辑苍在W＝访[枕0犁,瓦1食]示上澡定决义口的谦命麦题选连头接汽词叙有醉7失个泛阅非动泛敬与困泛方或伙泛睡蕴荒含泛稍等婚价买泛柱平份均饶泛抽组距合柔抛性怜命狸题婶连秀接厨词巩的项运兄算熔模饶型捎是见连港续咐变挨化确的腹算烧子娇簇添,即它拖随娇调款整织参移数终变脆化晌，左可蹄描碰述早柔殊性顷命盐题救间塞关悉系阶的肠不帮确斯定唇性退（关橡系障柔六性）锁。1暗.丧3露建铜立盏柔婶性饶量周词定债义辆在W上樱的贡柔双性汤量恭词影有趴：标砖志俯命逢题招真竖值爸阈唉元她的阈闻元乞量岔词♂k标晴志低假佣设抓命向题铺的假椅设熊量酱词$k约死束害个飘体档变谣元枝范汇围绸的范绸围译量似词∮指铸示帅个刚体培变考元斜的货相粉对蛮位侄置岭的位偿置朵量田词♀改涌变阶真喇值突分稠布而过揪渡薪特茅性润的过羡渡付量胜词∫其乐中拢参趟数k,表岩示颗约悄束隔条位件册，巨称缺为程涂度跨柔匹性柔他性总量霜词双可朋描佳述拐各饭种晨约细束晨的惠不油确馆定健性桑。1摔.去4科建析立恩柔拦性汽推营理个模瘦式柔君性骑推该理琴模进式粘有许上弯述焦三城要塌素灭上侄定挑义忍的演异绎祥推辆理尿归腔纳漫推背理匙类革比乒推退理假膀设栏推划理添发糖现呈推选理绑进便化辩推绘理由主于苏在柔柔煌性抓连宣接故词浑和足柔纹性怖量捞词圈中镜都胁有菊柔隆性跟参杨数嗽存春在溜，离这汗些疲推迟理虑模打式默不灿是免决希然抹分桑开饰的茂，熄可田在欧一纽奉定鲁条府件怒下子相蚀互致转右化崇，内由伴量宜变糟引吨起剪质再变阴，配称侧这佣种暮柔嫩性鱼为模宵式纪柔窑性。模欺式楚柔峰性粗可纸描帅述穗推信理贡模助式读的屋不章确悄定担性锡。由购于县柔桃性扮逻利辑毒学末中见允部许元真夜值像柔吩性显、蝇维熊数捉柔员性砌、殃关代系足柔夕性堤、斩程洲度库柔税性摘和音模黄式幼柔糟性脏存蹈在洪，闹具谈有窝与路内柜外响交摄互疗的摧附惨加笨参耐数叙，链可查以描重述矛塑盾垄的察对义立队统城一旱及揪矛朱盾值的乐转靠化过碧程描光述认帖识女的忌发茫生辽、颂发掀展纷和正完圈善的心全秒过誉程这祝为辩仗证愈逻爆辑方的楼数郊学闯化提泼供业了经可缝能碌性这麦些挑都荷是丈智爱能脉科敏学榆技圈术机中瞎急东需速解柿决耽的并重析大朝问豪题逻仅辑驱学扮的嚷语象义荒解刻释眉赋厘予荣各斩种景逻难辑休学杆符检号0蜻1拢P租Q代R换工纹轮以身具来体亡的询物蔬理座意滔义韵，闷以致便刻描门述赞和蹦解反决莫现骆实甘世镇界销的叠具徐体抄问五题日。同它一攀个友语叨法顷规粗则活通颂过寻不封同舅的龟语弦义允解悉释葡可范以锈派召生副出侦不津同剃的弯逻冈辑别，宰如难开资关仿逻恶辑睁、福图利形量逻丘辑半、运语允言旬逻喝辑给等2克建躬立栗柔优性躺逻甩辑凳学损的搜“另新间四洪论泊”“四坚论”伤为威经恳典煎数廉理姑逻日辑底奠淡定耳了男严窃格添的培数即学致基烈础僚，肺保胃证症了承它伙的可惰靠劫性辈和视完鹿备即性。哥数咳理仔逻魔辑省柔读性挨化魔后传，阴引俗入政了避表逝示五各律种栏表蒜示且矛帖盾跟和凯不度确为定舍性涝的匠逻普辑发学腹要恢素期，摸作浸为验逻柿辑状学境数委学骄基攻础该的恶“兰四醋论搅”腊也广要反发元生榨相载应感的友变载化劫，膛所升以俱建堡立浊与液柔稠性皂逻害辑盘学哥相抬适意应顽的严“新弃四络论”兵是陶一炎个铸十扫分虫重鹊要级的州任磨务捡，术它致是宽柔浅性烘逻顺辑职学帽成钉熟堡的近标终志在。我母们舌特趁别蹈注内意魔到语，虏集借合啊、核逻右辑粘和小代拒数劝是陡一且个盼事闹物绵的柿三汽个畏不悟同纱方察面句：集巷合是脏事筹物另的滑外使延桑；逻携辑是胀事凝物族的什内谱涵没；代续数则哪描堆述涉了岭集谱合馆和篮逻截辑参的炒共带同饰数漂学睡性帽质怠，雨它转们具是朵三犯位得一逗体慈的梯关笼系抽。知一粱种掌逻退辑埋学城理朋论贺，伶必衰然泉有雷一细种仆集梅合筛理券论其和塔代谨数孔理踩论体与势之逼对研应委，私充颈分句利窑用袖这严种三仍位巾一湾体福的辆关移系，普可状以蜜加体快梯集包合劫、榆逻芬辑势和叉代枯数捷理裹论膀的坊协贝同评发界展映。目滴前评泛成逻傲辑糟学留还虾是返个杜待习实狂现谦的筑研钢究罩纲棵要3续已页初圈步练建转立稍起柱柔圾性想命例题槽逻忌辑能嗓否葛在否经此典奖数葡理罢逻航辑姥基崖础陪上轨，萝增绢加她各膛种笼柔垦性辟参前数健和罗自芬适悬应狗调将整暮机掘制筹，绣包壳容售矛次盾糊和惹不龟确道定赔性晌，载实爱现绵辩强证阳逻茎辑溪的尘数抛学起化免？各下种阀逻伐辑伶的途基行础喊是扬它祥的输命盈题欣逻障辑唐，扯命港题搬演斩算狸是守逻温辑扁学拉必颤须祝首瞎先金确蚁立咽的递奠躺基泽石矮。我时们缸已各经辨在挖模雀糊匀测亦度播的浪逻引辑货性刊质景、耀三辨角只范妖数敢S逐c每h沟w鼻e桑i轧z扬e补r治算积子竞簇竭和役L两u姜k均a患s臂i痒e却w史i犹c背z术连岗续代值动逻拌辑校的开基唯础衡上世，林引捷入继柔震性骄参便数群和拘自注适疾应泰调努整您机悲制贞，恢建晋立沟了辫柔非性号命娱题抵逻确辑均学主克要记的锅运烫算展模丈型判簇1裂.碗泛滩非阅命蛙题历连陈接拳词英的临运塘算逗模模型刃簇N(x,k)着＝豪(勿1盆－xn)1/废nn＝擦－得1论/告l右o距g2k,k[洋0徐,筑1舟]2获.绍泛节与饥命环题丽连怎接屈词滚的爷运范算软模蹄型T(x,y,h,k)息＝响(众m盖a症x爷(送0嘉,xn贝m＋yn择m－尊1茧)皮)1/倦n撤mm＝窗(支3指－聚4h)识/湖(低4盐h暖(纪1败－抄h鸟)墙)筛,h[删0肉,盯1除]3育.闪泛卡或沾命言题钩连迹接奶词芽的倚运齿算佩模肝型S(x,y,h,k)仇＝N(T(N(x,k)置,N(y,k)鸽,h,k)珍,k)4沿.富泛都蕴胞涵男命较题席连搁接永词泽的肆运胆算浑模逮型I(x,y,h,k)远＝姑(状m何i仪n也(栏1匙,脏1尖－xn恐m＋yn穿m)颗)1/姿n土m影傍响格柔取性仪逻虚辑拖运专算揉模协型指的农因茅素坛有模鼓糊穷测减度疮的抗误菜差，宽用蒙误迷差准系浆数击k幸表糊示k毕=研1申最偷大判正列误妙差检k急=闻0冶.网5智没洞误驼差k郑=按0蔑最肾大管负天误删差广戏义肿相吗关繁性，雷用局广肥义应相畏关侵性赶系献数珠h尖表陵示h砍=孤1迅最晒大荡相每吸扰h妙=诉0援.率7灭5舰独隆立服相席关h窃=壳0龙.凳5区最剧大见相够斥漠h涛=鸣0这最奖大即相育克不枣平权等邪性必，瓶