Дж.Ф. Люгер - Искусственный интеллект. 2003 (1156457), страница 77
Текст из файла (страница 77)
Пришла первую а снаму к диэьюнктивной форме в Ь*с, з Мь ), паекалюу г-эщ г и, а Ь е, поза спуда Моргана. Ос ш»ные акен м мы привалить не нудна, поэтому О у аем набор сэгедуюлш" Ранении Дл того чтобы нспоиюоват бинарную резолюцию в исчнсл нии предн то ии прею тов. при тарам ншшый пперю мо ст смерда*ь оеремен«ме. неабкод мо обесле пь эквивюе т. юъ лв) литерала с резан .
имен Рдч а эначен см В алрюделе 2.3 2 бьш апрсд тен нропесс ) фнющ к, ра Оуюшни ю . соыниую и более общую поде!апов у дл» обеспечен эюиашмпнос прелняатов. Алгоритм реэ люинн в ючнсленнл прею тав аа много яоптчен эгону е кроле с)ллв исюмлен ш показываний занскюоченнем следующих моментов. !. Лн врал и его атриплние в радншльс к в рам шм л рею у . а в м пбюе. если овну нфнпированы лаз нею рой поэсщновки и гатез пир н мзеп:а «зшйрезаль ентелоеедоб ален кьнаборушпьюн шв Призе рб) ш, пабы обила наиболее общим ! иф ром зла рошпсл псы вмрзысиий ) и'гф«ьируюшне Оолсщ о .
» у л о щюп ра ий. О)шпечгмают гаазы кипе перанснньщ, ори к шрам исходи й эапрю яшеюса испшньш Эпп пращ с, ггалучнвший название нюгс енк а а Пюютюозспап). буксе аписа юскс аоста лгш нсскальютх литерадов в одном ра»снн» сущытвуег абьешнмющ падшд Прн э ом намет не смпествояюь о ро расина лля наборов юпьюн аэа,-з -аш х это в рэ»енв да сюю этотнабаряв ротнворс ивмм Нзлр«р. »эссэ'а Рвм ыр л("'РВА. О(В), РП(' П Нс к эха модно заметит, что» простод реэолюинн эм вырю, н мамио свссп л пр аака не с М""ГСГПМОЬ ФОРМ ЛОП .
Е Р РС Т с сщласг ик противоречивыми. 535 ф„, „, Р Э 1 Ю Гмраж Вв (Гсв „ и можно ОР' с,щн имеет более общий ' сщ унифщы ~намни азвкса 2 т это выр скопнос аьэре с с. к которому и Римснсщ (СЮР ' ре (йсю)' ра а затем улзланы Оста васса тптср ОВЬВ в, кол (аль а МР „„обонл л срзлак п оолучщг Рвавзс , (1(ГУХ) Вино ЗЫРаМСНИЕ Еи фаь ТОРСЫ Р(1(У)1. ЛЮбая,н СНсгюь г)) атэвм акгорнэапюо, вслястс» полнОЙ в смь1сн апре.,' сика Рю(эсш нгв.
т (выаотн емую в, полраэлала 1222) ( гюнюртггззшг и нг,е факгаризапии Факторизецэгю твю юкнь аРС твь 'зк Р ала н пРонелтрс гпп РР зюа (ЙУРспеьа(шю, а', , вз ь кзь ссг О колзповр"а ' '. Вврврсш. еиэобча- гг ' ния рспикстов рве ° м л л)кмгуюнс арию "сч н.с ту а в Тью о. Олбовувт зн ЮСТЗТОЧН э у иючвш ювшам зщ прслл прсвланснил е прелиютной форме. уХ(лаза(х, надою) юп(Х, (омегу)- Ларру(Х)).
йт в в. баул кюыг шис р ныйс ул юмв т л ю ТХТИ гобу(Х\ )а ЯУ(Х)- Раза(Х, И). Люн эу Р тул о уптв -Внбу((олп) (псяу(1анп) Л Ввуввсвбстул г рмю влверею. тхрасаудо-эиахх, го негу) ) го кг Прэ'ввм эв четмрс выскзэы анка препикатов к лнэъюнктггеной ( щмвв (222) разз(х,пюагу) -ив(х,г негу) паллу(Х). 2 валя И Раьну.х). 3 Всау(Ю) раза(Ю. И 4. (нбу(голл) 5 вюудааа) б.
ЬсВу(и) игп(и,тиегП. Лсбьаинкэвмкм з:ьс „МС к Гл В ЛПЭЪЮИЮИ 7. Варру(гоев). Гаф вэ Р фспусвср снос вт ,(ссс СС' ф разрешения наива нный а рис. )ЛЛ Ш тия и.стсвоввеи таино.тюпываег, шо Лжан счаагл а р «счссгВО пас л ст примсрз р ссмО ркм эз 1 ОГ 'иг срюнойжнзни- эн о д воватаатак. ЧТО ух(атас((х) з(иргб(х)) н уу(ива)ту(у) О-.поог( у)) Уогла поаучнч УХ( РООГ(Х)* тат((Х) — Парруихи уу( аоб( у1 — г твг((И), га би Пп)* Рооги Пп), ух(парпу(2)- вл квд(хл юю(х,изгою) (х.вп у)„о р ь(ис гь)тпоони)т 1 ь(и) с в(юс) ЬСЬ(югв) р иол,ь ву) "г ьэи с ) р твщп г у) 1 ЬЧИ' с МКЮ и и н трннанне эвкчюче ня ньвст вил ЛЩ(аког)(лд((И) тнвн г „'Рслнкатные вы эаа чи "нпсрссной нэ г" празов с» ь лю юмк.
зной 4 раже и лла ч 'н '" Ьрмсс лующю Обр Ом. 537 535 УЛ „ нного в геп Юыа Волросы ращении згвеч нскусстВВНН г Мая Т 2, л "ТОывтнчеакиа рассумланмя „ л) л рруП(П Роогрй ювбцол ) остро»л) л РРН Р П ахынлр( ех ~й Р(Н) допазан ив рис. !2.5 я зго о примера по Г ф анроя рюни» Лля ао ЬЕРРИН ПШВЮ мя ЮШ РЮЛЮ П ЕШЛ) Люля(ю цю ) Лю юел(у) Поэтому в процедур« Резолюлим, кот ч, очень бшюшае значемне меют эз атарыс относятся «сл б «л мм «тола решсиийзаре я „'„,и «главе 4, лл» «ах«он кои«рет й эзрист кн понака По но проблемы не е лобио з ристн м, реесмоь н „„дувшей стратег Тем не ме нее аушссгвунц еб уше таус стр го о обосноааься С ЗКС а«»ты~ ЬНЫМ Роета ы чт с»В ааэможнм» «амби»»ннн Итц абелю стратег н,п зво я««небо. " РОМ') ' '"Р) шшмю (2») л(ю т«эп Р«пл) (Гуе) цы,)) ...* 'а ац л,) ют Ыю».) Р,П)й ю е р рс с дю а "» рея йж 12.2.4.
Стрэтсгнн н методы унрпщеннн рсзпдюннн На рна 12 б пмшэна отличное от прелсгюлсиного на рис 12 5 дсрею ты«азате"ьь вяз в «газы при рзнсюа поиска эти д «аютеиьства чем-т схожи. напр мер жтя шюш нани обе требуют ыошвмн я пят«действии Нр ме того, в обоих локюапы мт. взх с по о мю и виан вхи уннфикаштн подучено, чта дион относите» «чис' у ииэу~ш "нюереснай и«пью" Овнака та«ос с» с«леша ве об»хагель а.
При апредсиснии яююм (палраыса П 2 3) а з а . .) Рюак «аибинэши лнзь нктивных вы„;кений не Уст и и „ыея Э а очеи замп й момент ес еиий, те иместс М сп сабовихшмб нт есщ в просюанстве лвзьюнктаВ сутттестяу бо зи. цмбвнацин де;ке на первом уровне Резу'тьт" (т) рзиеи й аю лсстатачно зелик. е езу ми авен ь' . дэле если 20% к з бинаинй привал~ ых емрапеннй та на еле ы больше Для б луюшсм этапе число возчажиых коы " чрз Эта В пыжик з шч шкай до эточн бы"Р' ива»о н В громазлнкти вычислений Глаш т 12. явтоматнческнв Ршюу"цюн 888 Част ьЧ.Дополнительные ттвюеь ые вапраам решения ванн'т искусах )эб.бюеод ао р р ою р й Презша чем приступить к описан ю 'лих стратший, меод«одино ел«ать несколько пояснений. Но-первых оснавмшшсь на определении исвыпалмимостн вырзжеитш з ла.
зы 2, нззовем набор до ью к ае т еыразк'ен й нее«мял»им«(а тм Г смп сь х шшцн8аюс), ешш нс сушествует и тернретзш . до«юмваюшсй вмпалннмссть итие набора О.юорьш, Оравило вывода будем считать ютнм«е с«мше о тюе р м («1 ы ао сошр)ете), если неаьдюлннмость наборз дизьюнкпшных выражений может быть,юкюана с поношью одн го этого рав ла Этны свойством обладает процедура рсэююци с фа«ар шцией (С»влб н 1.се, )973). П.
наюнец стратегия я ш по. Ой. если на ес Основе с па юшь пюл Ого в сммс Ро ер прав«а э мла чожно гранты(юПн юню найти опровержение для свыполнимою набор» л зьюнктивныт аырвже ий Рпмеамп «й ратсг яв в и .е р г(цтшйт»-йшт) С трвтегня поиска в ширину Приведенный выше ана из сложнтютн полного сребора дизью ньж вмрах е ий «оаыэястс» на поиске в ширину На первом эшпе выполняема бинарнш резолюцн» все» х ""эт'"хи«тон в пр странстве выра»,еннй. На стелуюшсм этшс в прастран тво поиска к иск ха)тимм выражениям дабэвлвются днзьюнктнвиые ырмкення сгенер роев»имя пр Реза лю'т"» лизьюпкгов.
На и-м этапе обрабатываются вес вырзжени». потученнмс ранее ат тмоке исходное ми ж ство дизьюикто, " оспдНУ( „ош, (27Ю( О'л( л Пьу " л(л( Стратегна " нмкества педпержкн" Оупегм "мюиспаа помержкн" — это отличная стратегия поиска в больших прес М с мк и э ю ш ш р сн й (шоь и Кои иэпп, 1968(. для нсноторою исбэра ис» л «пнэьюнкгнсны» аырюкекнй 5 мвкно указать подмножество у, называемое с асо г оддсря:"ш.
(Ьш ремныции эгей стратегии нсобходныо. чтобы алаа иэ Рс. эалыснг а пылом с р верденг(и нюла прелке иэ мно сства цодлермкн моюю гюхс' эсть, ~т если 5 — невь полнимый набор аитьюиктип, а 5-7 — выполнимый, то страх ' ппюолсп помйэим шпся полной а смысле опровержения (Уиат н лр. (Р (' бели холиый н бор жгшюнктое ясшпся согпасованныь, то пнь требоееж Р у мп орест любое мкоис тво наяде(пккн сключаюшсе отрицание походного эею улоаесг с ссг я сниеывастсс на там, что добавление отрнианн» докаэыя смоги и 'рс нн риволи к п ро геореч мити пнмтранпэа иоэмогкнык дихт*шипи ' ш отсе соэхсрэпаусс,с и о к, рои сс реэолюцни для пар аыражсннй, а иторыч одн е кн полученное на его осноис днэьюнктнаное выряжснн Нарис 125пришденп иь Мв ро пРимер применения шрпегаи "множества подаержк(т ш ния мычи "нпархний ж Шесшу тири наа чн само~о житин" носюяьху ноюстпа пп;шер «н пнр ' " тп О и и дном иэ сшмобс миэа донею с шири у вп м х возможных мнаж ремиэации такой стратеги» кш"тстс но этом' раэлсбшие фф эффекп енмй и, че мнажссте поддержки опроасржеию к ' „сян" угь, чем поиск в ширину в прострмс™ ию шт( фтрстсш(к слимнчниги раэрешен»я — это бпппша стрпегня, гр«буюшея.
чтобы одна (и Реэильвент асегда рсдстаяляла собой единичное сиражснне Это более с ро се трс. йован эсь' трсбован л выдвигаемые с ратегией преяпо тонна елим ного аырээкення Ншк покюать, что страыггтл еднннчюп» разрешснт не еп.яется полной (бп этого цн н'эаюоват тот жс приме, что н лая демонстрации пилотною тратсг « п" . н и. "Юной пр мр.
Пкиянпй ф \рьтьг гяаш (2 Лстоыцтнчвскне рассуидвння 541 м,цю пРостраиппс ои ха, поэьэ кс сн бм 71 му бшдаег ннтсрссн м саойстаам Н см и " е н „оггдсн ее(жт йшсгииэ нц П с ширину. мт н„м уровнем н не прслнолыасг Репе. нн» . к полной поскольку,сели сснпл спись. гп опроаерженне. сели тахо иоасс ,домну км тт тск лю т"'тн'э Л "хпн й суме ш „и добныт Расс" ~ "— -„с„и.бо пытала эсдача "ннп;росной житии" шн аус эмми поиска а ш7 фину Лс» э мяч мп '"м"п и сяш г ьч яцм си ~ сп ь юм( и "( 'тп (ь( г е г мюм( ° ° ю .сц м Рсшгп. 7 Д Яелд д 'юмР й эий ог Рс Част и йю теплиц пьн ыо с'спросы решении ладан искусе(данного ин ений, Необ олимо лишь улосгомрн, сирам эм.чтоп о рмм м цеиеиого о Рсжсанл, текста цсс н „' Р «Роны осе рсэ посг, нк помкн бгРат стесни ирелночтеини елиничного вы"-, Юженна Вместим, что я Риесленных еыше примерах воям дсцдн выра ения, нс солержаще о лн ер Рах реэилюцнн противо е ершов.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
