Дж.Ф. Люгер - Искусственный интеллект. 2003 (1156457), страница 95
Текст из файла (страница 95)
С( — Ватаев(в. Е, О. С(.ГЗИПКП»- яе(вса в(л, ъъ О, с( нагаев(м, е, с. с( июлзк ч о нее»ми(е(к(« и(званы с лк бы» ш знз ющй е (шн . Ниэвнсамо от зючсвнй лк( (прамс ров после пе,»правы чслоаеп и юли. Некоирые ш «оп.кнньш «осто~. ш «змеи»огсз агут .Тсл тш„, ирвино: " арам«намо тки э в ш» алчи. ес чкшеск а ющ наю"з олмои п л?» ме берегу а перепра тыокэ на ЧюпмопОзпаммй Ш(ък !ккп.
Зэ- ° 'гго мсстоииокюю юзы н кзп стм не из чмсша. (ас с= е' 'йщ и В твое нв в Рч?ълб !) ~~Я Ж ~) 1 1 1 спас«ым я«ластов любое состоя«ие. в «оторви ) безо , оси« палаш ы первому параметру. В зюз, сд »т"Р г э грстщпа а с ые, « аро м си)м«е волке сот «озу КР мс г,». бюооасным являетгя и такое состоя«ис прп «ото„ м о липакоаы Чи а песте Етый г рзм мстрм, и при зтам оии противо слез ы «ср ом- у му агав «оза сшст щпусту, Эгл см б зсдасиь с с(пуамии можно оредставгпь в виде следую лкер вилппва1е (лс се(х, у, у, и)):- рр(х, щ ва( (агаев(Х, И, У, У)) Г- РР(Х У) необкалимв отметить нссколько мамс«таи Ва.в а.щр мк, слп с стоянке "«с я».
ея небезопасным" с пвв1е (т е беюпасмо), та согш гласно о р делению р ий Что«сауры от в языке РНО(.00 дия зтс о осп я««я и может бьп «тинным ии ,низпрсдп«аюе "'аущС'" льис,«подаю «хорд аюв мжтб ть яф,щарпваи с текущим сосщя«см, ила при у««ф иэ ач у лови« пе долж«вы. „„п,ся, Вп- торы, а трое«п я пропел)раппе пезщивыиитиаоь рап и пнссщщ шпдипв в теории прели»а ов перно опор«яка.
Процедур« пос — шо сщр "с. о р . «с э» счет свило ие пл «рстивапола лаго утвсржденщ Ч обм прОверить. как по. себя пред кат п уе, иеобходи о ротестирсэать множеств ось яв й. Добавим к прелылущему пролуквионному прав шу проверку пот нова)е е( щсе(х, х, и, с1, с се(у. т, с, с)) орр(х. т). с( або(вс се(у, '(, и, с))) Главе Мй ба«де«ив а РПО(' 628 чашьш «зщ зщ игв«нологиип ог теплые прогреымировапи« д"" мсщ это разило срабшываег тои случае, если в качестве осрвого параметра преликиу пане персдашсв с шоигис (швушсе положение иа графе), соответствующее сдан»ко«о у исс о олс е»пю чиювевэ и вш)кв При активизации этого прав«лв ге ерируемз «евое со тояиш (второй параметр пред«катя мо е), в котором зпачен«е у противопсл с зшчсиию х )бы палучеюи этою гювого состояния лолжиы быть вылолщим лвз услои Во.щрвык.
полипы совпадать зпачеигш ервых двух параметров, в по.втори«, об шэьпмгстспшо«сни должныбытьпр пж лолоииыстарызг Первы условие проверяется «еяв«о в пропессе у пфикацпи Оде«о«люль«о, сгэ" псшщ два защзтс ра не сов(гам»ко, то пред«вы пюче даже ие вызывается. эту «Ровш «уме«во «о выполнить с замошью следующего ар«виза. епщвс (т, и, о, с), асеев(х, э, и, с)) - р=м, орр(р В зю зш«вмкщщм пв щщм прзвюи о г сщчэда проверяется раве«шве з з'гсз«'" шл ю пр» его вылез«е аа (рвсполоиеиви сбою сбьшпов на олпом берг'у Реьл х прис пиашсз «мчеиие. ш стпвшюэшкисе у 1»магии чщ в языке РКОЕОО пр'и«шэм « нище рш оозшь с помощью с Сш шыо связмвшщ з вчешщ перемеипы«в проиессе У«"ф заливе зшчс ш«рипрсшрзи рв с«юг.иоблашьлсйсш»япср ю й ° » ш Р,п,р(,шр,и „дся иэ все щождеш,я пера««ге«ой в ди Рощ «я св гсч игжю Р)ль «траст такое машмое средство дро'Р ис«у сшси«ого ап , Со сюэвщ, ис ' тел«сэта, кзк проверка соатвстств ш швб.
оияи. УЛОВ с о)тающие шаба л"«зк. л В ж лона», автомзп чески отсекаю ся ддэ лзп«ого л"' ыса серва зср с щ-и став свис, с лж"'иэа и ге обеспеч аает бо ее эффект«в«ос о ' с'ск э «у если пе „„ о«сссс ти фиквщи тес асосто «исааке«в асма аю Тшерь шзшли« .-" м шсллкат, позвом ;о сс. шюшив превер«ть безопасность ьэвш щссс переправы че си Нг „„, об е,го пебьглсье» Проаелура пос ппвау* прошряст приемлсмопь ношпз со:юмам в проиессе попою с помощью вылова прел«ката шз Ее Если се ч«перви улоелспюряютс», взпючэд проверку (в иворгпме рве«) атсугствги этого состоя« списке у е проидеи««к сссюэ Ш. для д всю сошаянп«вьпьжается (рекжиивио) шоорп раси для пдж ола глуб е мг гр фу При вьпоее преликщ» ра си коим сссимюге дсбавля ся к списку у е прзйлсипщ Аизлогич о мож о ршработат трь друпщ пролукш(ои ык правила, лр дог»вялю. ших «ереправу через рек)' ч лов«ко с «озой.
«элустой я без "оэссзщ ре " Я, з вода результатов трассировюг лобэвим к вждому правалу ко«валу "з ее11вс Команда ге Р с «используется условии остапов»»«ор . а Р»СЙ лл вывода пути оканчатиюмого решения. И. ив«о«с«. лабы м ятс. "пеев«оправ«по", «оторое пс соперщм ню«шк уело и «поэтому вс лз срэбшыш т пра иовы описки« всек предыи)щщ прав(ш Она аз« ч ст возврат вызова щгорат в РЛСИ «3 текущего сос оянда это псевдоправило псзвоаяш помпою чю отсасщшзть повеление продукииоиной снеге ы в пропсс с се работ . Теп рь расс отри гюл ую пр грамму из шик РКОЕОО. Рс л«зуюшую прожги««- , во «и козы п имгу ы Оп зол к«» систему реше ия зщщи переправы человека,во и вю«гшап прелншть опв 1е и г с*1 с.
в ю ь р . о Ишиый мы даииыь смк (полрэзде )»1 П ' эче(«саге(х, к, о, с), всвое(т, т, и, с)) , т, о, с))), с«1(ес(( с ткв пер ра ч о а л ', у, зюче(*сесе(х, и, х, с), вс се(т, и. т, с)) «11 )звс((' а ы и ре ра л з а оро(х, у). и ь(пива( ('свс (" ' ' ' . с " )' и о т)) ', „ и, о, щ )). се1з с(( г,ю т Р "Р б2В 63! 630 Част Ы й зыки и текноми ог ннп ог впав гм р,крв,ем«ровд„н« ддд „скусственн гааза т а Ш Введение в РПО(-ОС ,н,п с) ,сы (т ', о, с))) ° е( ' ' '(„ в Ге(я е ' н л ве ', у, и. и, с)) ы с (х,и.д ' сес п,м яса' се ..;;, „,„зы.«(иеш вса..
иеи ь,.п в..сы, «(ихс С СЕ, —. и' бел«С С() р сь(н хс ыс, дгю), н эрр ( Рд ( о «иск(с»юг'э(тру"эшеь( РекуРсивный лью Э м «од вьпнваетсз в запросе до, и б и ограммн, ьюжно создать преиикат с ма раск Чтобы упростит ра оту про ч ««ив «якай олначыьньхланн~кх. д (ас*гс, и а1) рсу ясасх(парсу ьееп всв ю. *с «х(агате, о рсу ь е »саек, Ве м »сапы, р 1«(яс с. о а1, Вееп вс к).
с ес:- д ( с с ( . «, и, ), сые(е, , е, )). Энп алгоритм мивращается из состояний, нс обеспечивающих дальнейшего продан. ы и Для м р вяз(в различных срез(сынык в лропессе нажаого вызова ыгор~пм расс можно сноп»во«ать «оманау сг е. Следует отьсстить, по эта систе- ма является обшен програм, юй «ерсмещены четырск объектов нз любого (лопуотннош) мсстополаиення ив берем» р кн а л бее другое (дааустимос) ьюстоположснне, включз» поиск обратно о пуго к на оному состоянию.
Другие интересные свойства этой продукяпснной с симы, в том числе эавнсаьюст результатов поиска иа графе от перыш шслошння пра л. можно пронынктрировать в следующих упражнениях. ПР«выем некозчрыс р зулюаты трассар мш выполнен(м программы. оыбражаа лишь праягьтз дейс виюмно «сп яьзуем е юш сснсранвп новых состояний. т- се с п н к п р ра т чело е а козу е е пты ее а .*и алрп иь .* р - чыоеек икау ен р р в. че ае а н «апуст уса в позВялт из .
, «, асасе(, и, , ) сс( зс яса ',.(е, И, Щ "Р эш на языке РВОЬОС (з Ртам уст продукционную сис с у решения зала. шп чыоасы, волкэ. козы и кадусп . Правина по пюче сосшыяют шюдуклионную пм ), б ь,ы ымят предстаааснв аргументамн вылова злг р пма сь. м ат п т рпмарае, е шпму ран. тплюнной системой реализуема с помощью рекурсивною вылова )юсЬ И, па оэк шгсдоыиы п( ыгш ьш гсисрашсн до'тернах сос о ««а (Р э(ишан« о«фа«ем) ар са порядком расиоложсни» этих имен» в прэлую(ионной пмш м мш т 14,4. Разработка альтернативных стратегий поиска Хдк видно из «Релыпушего Раэлсла, в самом «зыке Рйо).ОС Рсалнюваи попс в глУ- бясо с возвратом.
Этот момент более детально булсг исаи в рюд лс 14 7 гелер р ср м, как реализовать иа языке РВОЬОС ыьтернативные пратепш опека, описана с в главах 3-5 Для записи состеяннй в про«сесе поиска в глубину, в ширину и при Ус«дата пяи ыгорнтма ланска будут испальзоватгы ссгискг~ преп и с 1 овей. В случае пе- удвчнОГО ЗаесРШСИНВ ПОИСКа В НЕК«тОРОй ТОЧКЕ МЬ~ Нс 6УЛЕЫ В«ЭВРащатЬСЯ К РЕЛЫЛУ- щни значениям этих списков Ошс булут обновляться прн вьпове орс ма рась, н попса будет праловжаться с новымн значениями.
Длл прслотвр щснсш хр испи» шрнх версий сп скоа орел и с1оней будет использован оператор отсечения 14.4.1. Понск в глубину с использованием списка 61оаод Поскольку при возвратзх в рекурсивных вызоиш значени» пере енммх вассин«аз«- анюте», аегорнтм поиска в глубину из раздела )4 3 пополняет список пройлснных сошояний тоньке состоянгшн, отн сяшпмнся к шкуш у пути к пели. И шя пЫ Пэна аличка в списке «ажаого нового состояния псзвол ет избежать никео, она л она,ей м повтор«ого тестирования тех областей пространствл оторые ры бг зи кости уг р с были лостнги м анее ашт построении других путей, но отклонены нв данный мом н ен нз-за ич б снерспсктнв"ес™ Это бо1 е миояссгво с о вля, луч , по нашел нюювне с)о» двгяавез«01опнд аее вслслуюшемалгорнтме.
теь епэ пути н спсшання. ат- В мншкествс 01оаед вес хранятся асс состыния те уш пут . теп ь оно не препсгаы ет п)чь ш всрг«утые при возврате алгорнтмэ Гштсдаватсяьно. тенер гшф малин о вуги оп(«дети« «соря. не»олнаго к тек щсму состоянию длл хрзнстгсш ытщ' У У ющ ю кшш соло»лис н его ролителл Нугэ(тару (дсасе, Рагепс).прслставл юшую па н (вса, и 1). Эп пары унес состояние дсагс будет представлено парой Л щения з множссг л с)аяед яес.
)'т использованы дня воссоздания путс(рсш . б отсммнваа Оп и о ммнлпяпонгкзв'ю ниу. пишем на языке РВОЬОС структуру «Рог) . „овине асго пали иев энач .дс ' новос Мог*а«и си яснисковор пи с1оаедн проз'Р,. Орел лс ск. снт о тр' сп кьс пройденных алгоритм рать зависит о тр' «д 1 текущее .гв ) н нолевого о:таян«" е ок й нес (обрабатываемого как иноке' " свс«Опсраг Ры ,„гост »пнем хтя ОР -' в шлюпа беате явлнстся след'к'шни всасд С описаны с разлом ( (- 2 прслполагасия, что правила поте и (прв «сабхолттьтосги) прспикат пива)е нскшс ры м абртзом апре хелены юшг евв г г «, И хс ьас ) С пер справ пае(гг с «с.са, н с с с ) Ь оРое пр при выювс первой комашш рась поиск прокрашастся, соли стек Орел »Свох ') "тю означает, что в спи .
аст, что в списке ореп больше нс садср;като» состояния ллп пропшс«с пои: ка Обьмиотюсв пстыь пстыьствует о там, по лля ламного (рафа выполнен поиск и""ным ым пс. Рсборс В о, вымя сЬ Р сЬ завершается при нахаилснии роше«и», «аюро' " полип" на пс ~агм Поскаль с сюян пс «у сюянв» графа поиска превсгавлсны парами (5"асс' оп коман«ар гпг»010(тОппс й ая р,ил. иО мн „„,у 51,еб лег и р урсивно и'р' ' пуп, рсюсния увмстим. шо, ш -Решения булст вывслсн в прямом аорялкс рс10« 01 с о«((ыасе 11), ) *)с шпаге), п1 р тп:ао1 с оп((всасс, Ра «Га С), 010« б ВСГ) а. Р гвпг), 91овеб яес), * гапг, о виара Опс). О)авва аег). 14.4.2. Поиск и шиРВВУ и 91 у»перь рассмотрим обо»а««1 (внсц) амаригма поиска в О~ирину, явна спыюуыпую внс«и ареп и 01овеб Эту оболочку совместно с прамтлами и че и прели«агами Пи«пса моаво прамснять ллп решения тюб й т»лачн попс а.