Дж.Ф. Люгер - Искусственный интеллект. 2003 (1156457), страница 43
Текст из файла (страница 43)
Иоаюлисй операи ей спиО язв»сто» юызтялю еюр ш я ю юли» г я сякий ю, " Опе раша вда авил пезм ишр вает в и рю. «Осла про схож« изме»с»па с т ик а езм тр ет все пред алоис»«я в соа е'«тали с суштесшр Дла де о«стра«а СПИО ка зааисщк тай. Ря ем Ш , втор . Реве авл иы леры предакато . " »ый в па»рази ле 8.1 1, ко«рыб помощ ет я и чике«я ка "ие г гро ивор чит" Наири УХд П »Гид 11ду„шш Ш""У»а П1Х1 тгр Щ Р З 1У1 да,1 шп Рооп ыиовлг1а т»11 Р .81 С б Ег р З . Д Су Р 83 06 Ю " Ч аа" "Р"ЗЯ я вот«Из, а»ч с 19 я+1 гр871 8 Р осу деми« ус»азию иео рюе ас ЗЗЗ ю юр« СПИН»сыяв т ж ш жш ыви вносп пеклу пр лполшкен»Я н, н нс с „ зт пр дпс сан й Пол у о»слов»оден»я юы яются ддснпзфя«,з юцпжгсца вид Ш, пь ° вид т,, пч . коюрые ассопиаруют я с обьскшмн (узлаын) с тн. Гопц гебр попс тв (н ООГ отсо СП)РЗ р сеун»аз ь о даерлке пред о оже нд Ит .
СППО Р ботает с нно с ванн Узла аб снов ннв. Узлы овне«», прслполо . »»,а обо овапая полксржняают к. С у»панн ассоцнпровань цстщ Н( » ООГ укю аюш« сга ус прелполо сная лла данко узла М ножен рдсс леть о подсержке люб гс ума п срелством отн сев я ег ко мн жест ы (И ц ООУ лру х унга«.
соп»в, юшпх нх обо »анна Первичны н операцням элшбры СПИН сясперзтары р ерю. юлпфккапип и адан ашгн. указ нные ышя И нюомец. «ока«у просер»а обоснов р из»од тс» утеы обратного про. смотра сяяюй само» е сбосноаяннн — зто прныер возврата с уче ы з вне«ыо. с и Дяя в лучен»» более пюзной пнфорыацпн об этом пол оде в СПИН чнтайте (Осу(е, 1985) нлк (йегпбапй, 1989). Дру т с ы поджрьк нонн»ости ал»ет ддр ш юос ш гр д оюэсе ю (СПИП) Термин чла основе предпол жен«й" впервые быя авсден в р бж (беК(е, 1984), хотя подобные нл н ыо «н всего«ать н в (М шп» « шпрее ятю я »новос саы редпосылоа Мрсдп ж:кеннй), ле каши.
в с ове цк вы. вела. В (4 К(ееь 1ай хжс у'г'стэг сто» Рыл»«»с межлу узламн-предпосылкаыи, явля юмнс» нстню чн с чн сезле. «у»лена. ко орые ы туг о ксывать яре»попо ения Режа. те задаю которые юшке. огутбытьотыенены Преп»Ни пю СПИП п ш ношсн»ю к СПИО состоят я дополюпсльн н пфка~тн. «ооз рую беи пюет СПИП. абстач . Работа« со нно.кест оы »овмс. ных иютовнян предп По юнв релполыксн я с поцошыо ошыо цнсшств прел ссылок, прн к торых онп истинн»' в яучвеы еслнп еоз о пня п р лположення ( СПИО ссе узлы (й), а ск рее Р»л ньж с стояний — абор вс к ц цыноже тв, поддер:кнваюшнх предпосылки Соззт'""' зул пя, пол иян вюцож»ых ынр я озволяег срасп тя»ть Рж , получаемые нрн выГю е юны , пол р рюных пред осыло, обнаружнпа ь протн Р ч с н х, а также бс печа ает с к невосшшце спиц эег сушест ояавнс разлнчныт реш пнй з»л чз' П огне яюя навоз»о:ян «о орые мн ля о.»ность гредс аепсг ня ы о а прслпссы» мн ля цся немо»о осныцн.
н й и жлу СПИП н сша н у »сапе нв им с помошью Рею» ел» роша спец задач реал»тошно я"~ основа о и операт вк » ъ, рат рвк гр «ркцм двф яю» 4 "'" '1 е. есо гоа я оы,что»С ПИП цег слп»ОГ «ос ю ежества пошпцна ы ьг» др дд сьшок Нс«ь СП аа предло ыл к. лос аточн аточны лля полдер ки ка лптп 1 334 час шп Прел тавпен н юя нр я н( вцч»слснна пр л«т Я путе» РаепРостР» ц спет «Р елносыл к. никол тельно апис веты рцц » (1„1 г т юц«,кот Рыс п предположению Яп „д фз«т, то с оыошью ссылок и, н, с™я я пз, с оцошью и, н, вывод с ь с помощью п,н п,вывошыся, к, панс«со.
со нощью п, пошью и, вывод с» и, П" 1» в , эн н»г» э аг н(н » ц) ГЫ» Ян и зл э На р с 85 редставлена решетка зсвн с ей р л «( д. л ство/ супернножеств ), показанных на рнс 84 Эи рсш гка позцпожсст бс хорошнй с соб»гтзуюткт«цзтн прос рюытса юцбнмапяй предпосылок Ваш орые предцосыпкп яызыоают подозр с. СПИП сью е опредсз ты как онн соо . н . * с другин прсдпосыль нн пад гножеств Н р ыер, узел и, на рмс 84 поддержи«веге» вссмн .
понес м резпасылок ксюрыс н л выше ( ь пй в решеткснар с.85 Механнзц рассу»шенк« СППП избавляется от ро воречнй пуюч уз н ю ушев шх мн жеш» препп с»глек, юг рые юю сл нюся» ынж Прсжзоло . а рЫор. что необхолиыа провср и рассу»ае«, резсшвлснн рис В 4, в с«аз «рт«воречкв ст ю Узла, П юл «У ыет й з л»его ножеш а (, п»Н ю ж прелп сылок опр делается (ютп р . Ко и щю ре вс об « руд»застоя, »се ынсл ства редпосыл , относаш «я супер» жест»у (и, ). о «чаю ся как прот рсчнвыс удаляют нз сети ю с«ноет.й В ой сгпуашн ло » быть ужш на одна ю возы сто», езушнх ь Пмное а пгц ал о. Р"™ устра рог»ворс»ай.
о но зйтп в(4 К(сс, 1986) Суш ствует не колю ярую х южныь п дюпон рвссукл н и с понош с . » »споношюСПИ Д г есюе г»сш«ны оде р и юг (ЛСГПП рояжв рюз шш р бзты РМ Айеые, 1978) И ИСПИ отн шенгш пеплу редпосн юп, а редт, юяюы о"ш'ю гра. »ин(днзью кгпв)..отер»с южно споюю эшд . юй эть дц ы *ю 3 юс« т«нцс гп ссо вегствуюшпх продлен пн дру ой од од — ю р . »Л СПНП за '»юч ннс го, чю решюель юдач ° с и. п зз р ' ""ноны одн снстецу Мдр о м вы««шея н лога» сьоц «з .5ШМ .опн аз зш сошзякю з й К л сштоя нс зюнпй о гыыс гя юр й дсскр юро пер й оЧ'ш«э «базу впав»»,аюэр « вЂ” »бор ю» та»лен ан 1 п(ы Рых вплю п сов цстнн ыа Атгороп«ы ро П\ ю гнан. ч чн стьвпроц« Ра«уждсннй вйтн а )Мап ю, 199П 338 Глав 8 Р ссукдвнно в условны ноопрш(еп н з т (рыл л(410.упрв ни 7) а а эо ат псогрю ценное чню рсд , мчж ес луюш с)боре рекцпвход сялос ю екпс валяю» нссушеююнны ф ю рамн н .
П я дос точно 6 пко зр)т ° лру « Р « рамн н л Прк о рсдс е пн )зла ) ло ал н умднш форма вшсн) РСШСНИЯЗ Л ЧНПРЕЛЛ атм Пред ла О з к у Р снов ас»л нз пмюьной юяв мнра. 1 У Н п л з ются только п елн ыы Р . Необ шнмые ли р шемн Прова по с )с юикцуюсп алая на семантн у шрнданц рассуцл нцц Н апр и р, шлн м ц нм предо. «ть, кВ Улент жена "Руп ы «Ожсм проем т(ьпь сдцсок Юа у да) «) «) з Об группы Кад скоросцул тявнонс мешс в)губ ул нных(чнна а а оде)нф о ж а нас об жау л ум тороп и«, н б р тр « епсов. з) з) Р Если прямои рене тула не помеш н. то он не суш уст. Пр лпол мел«с о эам утастн мпра юод к слсдуюшецу Еслн вычнсяате ю цст ма н может сделать заклююнн об мнност«Р(х), то поп нно пснр(хн Как буд п азано в рюлеле 124.
«а р л озшк ннн о жмп)удмтм мира »роется вшюз скшме РН01.СС В р л 12.4 пр «спшпююннн мнюшапыцп мопезен н явно Юитыюился )рн «релпюозчнцл (аксномы). Эшмц акснпцзмн ляля» ) ю, ю гюс м«Р н .Ую Р Ц Ю 6 У означюг,чтовсевп м ср ш рю ш ) . ж )р м му, а э ы 1. " являпм ОРЫ Ц ыр )н \ 4) ) 5) ) г) () (М и .)9И) „цд ц успевнц« ц О Ча ъ) ° Пр дставлан« ддпеж н ум в рак(ров «скусптаам 8.13. Поп(па, «сац«да«же ац шааашццьамх шцд«дах В прельшушнх раже и мм рас «ркдн ог ку с помошью нескольких малальнмз Оп раторов, «стор били сюп вана р зработаны дла рассуя;деннй б быч ых сосю н»ы ра Эопозаоляюос бятьтребова н «полн тена хзнацнй амире Мо ц ьаь» о р торы появнл ь всюлшвю нсоб однмостн с злання б лес гнбкаго н ю менчиво Описания и Описания и р В это ) р деле предо валяются ло)пкн, спеннальио рюц)б~ танные за рассузш ня в дву с)пуалн к жгда множество утверждено" оп сь' ам ншь шинные по оженил, нця, когда ю-за прнрол реш м е задачи мм жсетеа)'Р' " лож й явлцс шпал пнл м«вбольшнн е случаев В с ой с туалпн нсполь У "у см Р,возгорел — Огр )н е ю.
этн подх лы часто Одю нюы асшя ннтерпреташш, «оторва у вус неско оопр всю ням л ю 6 теор р ыра ения б Влл всех з пений п реь)енных' мо ьц цд ю дю р Одр едала с( мнк«мю ЕОЯЦ )ШО у 4 О,,гд юе еор 'Ш' юя Р е ц )ю»мх ч оп «оп са маа ньп од тен ея т "' нюси уний вм) ес ю л реюнз цнн рассу «лс " Опр ц лика и Нп ре суше»вуек (патеню льн ) б ск ечное "" я снтуацнл в эаа че о миссионер * " (лньъюн«юв) Зш ю цр д е юйоб с коэн ча т,чюш)ш р щ зюжпнсмц прели " бл стк, мпсрые прю)вше т малев Е рн щмдпж жпю под срам«отед мнн»м ОЛЦОЛ ОГНЧ»ЮЦ СШ фпшц«- е«Впротнвц чслучае р буюсяалгорнжпозцер оп«ножн Есл ддл ЭОВа р д 0 у «1» трсбуетш, б быцм опреде сны вс прелнкатм, сост юшпс опюь, лл ашебры о Р с НЦ (МсСапЬУ, 1980), (1.)йсм) .
1984), (мсС йу, 1986) необ олнцо. чтобы бьац релеюны ол о прелнваж, сушес ные,ъж ре ннл »дача В ебре о раним б снсмулабавлаются к н мы,опрел юшке ш )»«яуюн)п р рюаш Она р л»ж )эбюыэнан к Этл "чеш рюнкаты" (пмл к» юлмзнюш угврвлснш злачб опнсываю спас б цнт Рпр анна коню»тн) пр л ютов таю обр зо . ш реюляю )раннлы (цл тралл нва ) в и о ы инжр регцюн пред юов В работе (МсСапду, 1930) нд о)ран) юм н по зуется в э даю о мнсси рах н анннбжах для ешення он зада н необ олнмо р рабп ть сзо пю хо)")п( с с лодкичер эрну)лля шее а). Вол прн но с вел рю (МсСВ)юу, 1930) прл Од)псл большое нею аб )рлньж пуиюб.