Дж.Ф. Люгер - Искусственный интеллект. 2003 (1156457), страница 112
Текст из файла (страница 112)
рвет суш стшанои роди в настоящем обсу»дс иы Вюс о сю бм оэвищать атомарное значение вцспс»», (ггчп(е псршыаци фу «цни иайленнын пуп решсню Поск льку л следовагельность со тояний в луж!. шеии» уле содерлитс» в списке ь п-гхвс, синс к е эврашастся в ноас)3 ас)3 м, м фун ш поскон,ку этот список построен в обрач ом порядке (начальное соспю" стсипс п плеши его псе»шшим элементом), Ои сначала обращается (перешра веется л самаю порзлкес споиьзовзнием» расиной функ (ни ЫЕР хечахее). и некоиеп носко му пар м р ь еп-1 ер жслатеиьмо скрыть отпюьэо оважлл яг лшсобрюнс созлать вызывающую функдию верхнего уровня, параметр мн ю ю аа сп ау(явля ся иача ь ос и целевое состояние.
Он»будут вызыва ь функ»'(ю ( ч ннс пвРаи р»Ь и-1эзс Равным ь1 (д ьп о1 -! д (ес с доь1) (раеь с се д а1 пьг)) (мхк аезц Па юш срзвннм версии программ решения задачи перевозки че» сс«" ,а»мю з «а успя. »вене нные на 1(5Р РИ0100 (программа а РЕОС»шэ РззЛю (4 3 . ). Про ра, а на !.!5Р не только решает (у зю залечу, »Ю "" . гз" цРограммз олн»с'аш' в ом же л О Р Ранет»с сосгояннй. что и версия на РЕО! 00. Уто с»УМ» о(Р ' ,од(ЕЕРЮ , с теи мыс»н, ч то юаю(пу извиня задачи в и ра с ее сош ""'" лнзании п а м Р а Рогр м полою в з ом прошранстве Паек льну обе пр )Р сби мы в»л по ск водно ип)»же к т м)юге п„о м»с состояний, эти еююа (ин ""' Р 15.3.
Функции н абстракции высшего ворадка одним и) г авных преп. Уше т» Ы5Р и дру их фунюио п юш ов чюгра Рою р функп и. »вр ( ьо р яюяют , ( ррту О'Оас (( Ь ))) к )Оил трвиие вс ги че иых и ел ;Оп р о )зл )щита с иска Нр ерещче фу«пшк в шчестве )шраме(рп «ак в приведе«или примере, перед (си ° иеи кулис )еюыешь з ', з «е просто символ '. Эк деке кя для того, чтобы )иир«пи« ибр мог ссоп)екшуюш)щ обрюом сбрабпывтк этот аргумеи г В чзспюс и, прк «Феи' бушик«в ка ве параметра к Оощиш Ыбр с хра»лютов все связи ес свобэяюп пш и« иых (с зк таковые сушесшуют) такое сочстхиис Определсиия фу»к«и« со сеязыюкшч '«' Вол«их пс)и«си«ьп «щыюекя лекс схыч лы ькакиек ()сх)са) с«вше) Флаг 4 ' уиз«ки с!и«! Фшск ОР 1.!5Р а иесбколимосщ построеюш лексического зщь(ка»ик и пс«сазе" Фу'«'в'ьэ.
«олсе строго Еопса11 ащсдслаетс» следующим образ м Ищ «11 еу )«рг, ар .. с ар, ) В щом апрелелсиип фу«к(ия — это фу»«пил )ЛВР, л аре( кл белка еет ргум оафуикч и Результзтаасиивзиия епп а11спепь'! вы!ока функции ф Ьу фу )Ли сс и Указан»«с ар)Уме»ты «с ела« гелем ческ т парзметроа ит )ср Фуьщ(а р 1 в Рр у вьшалмяетту из мак ту, по» еппса11, ко *с гФОЗ(е лана ьск к в шс сккщ Это с ° , „катр« ~шщсщс«иж синтаксическое )тлю»е мс'«лу фриш 3)т 11 Вротрз мист о.-ю тщ"шк ьщлоппим ф щ»« -"-'(иш «шкет а«В«рать од»у кэ ф ик)иы (ю своему )сь'О'" (ш ю ( рфи, Опт«исае»си фнщ«Н р Юшш» ен 1, пес О(я,ку лщ три иош дают ООйью«м™ ть е щи«(щ иекш »ими соспэкт в том, что парамс(раэ'к ф) 15 5.2.
Срункннпнлдьные аргументы и лимб«а-пырю«иии» В п«с««куш«х примерю ар)ум фу«хш «юилзщ прк ки Юупщ аргуыеитач дл ющ фу«щ .зррмсип у ио Ф ю ир л щ щ е е гл( б «Ойш .Ол о ) щ р . «р р щефуккщв.ие пред ювсепюбы «а Е«ушек и э капаю и ПЫ М а Вмре» е ие 1ам«а и эщл т огзаипь олрелслекк фу ылш к кьюш Испи» л О"""'» э ек виском О(из.с )с лямбм-вмршсшп шп кащпг (, ' «) 'Ф)"'щ Е'"! лищ ьмф)и ша л сьз щек ыи иа иющ 1ш.па . ), г-!эящ (ЕЗ!С вЂ” е -! Вс)))) (са» '"' г ( а нлй к-11ет))))) (с (Ех1с г п ( т) ) кшш отл)юаю Щ~™ ДРУГ От ЛРУГВ т ькп иие» 4ика, СПЕС«а.
Х П(Ч!Ю \Вас» ДИ КВУ, «аю„ ыо фоР«ы Ы5Р Еппс«11, д „„ и которой явля по»ко делать помощью орм Са УИИ ЬисетЬ аР УМЕИЩВ, К «ПтОРЫМ Э фу ХШОРО« е*1с г (11 е- е-О1 волга свящ * ( аг 11«с-ы- 1 и пск) 1) с-ы- 1 се) са с) ) ) (С (Е 1С г с 11 (сы 1эвс- Е-в1 ь с ) сват! ) ) ) проверяет условие секс лл» первого э«смел зул щт проверю каче» тдечел от и 1. ои добавляется к результату фддь с помощ ю фук шю Шп» СОПЛ. В ПРОтпз»ОМ СЛУЧас В ЗВРашастеа отф спж и. Ри испо , И лыовз«и» эт к фу»кпи» ей мо:кио перелезать а «ачсстьс „ рпикчеы пр лк пред«хаты Тогда о»«будет решать разные залачи фильтрации (е 1С с '(1 3 -9 5 -2 -7 б) е'Р1 кр) )О ль ращ ! три« тель ( и щ (135б) (Е 1с* ' И 2 3 4 5 б 7 В 9) а' пр) (2 4 6 8) и 1С г '(1 ь 3 с 4 7 а) 4'и ь гр) (1347) рь ««е и арр1у е е 11 ,,ызр! зз) , , ррэ„ В Рз И 3)) 5 (и! з 3)) ,(Еп*щзог ( Ь )) бшс опю ' ы юи и и фу юши в«кис о Вкм)вп ющ бр „„а римсиюш эельпиуюфуищшоковсечэлп «гм п Нак е с 11 «оопр ВЩИ)ЬПРОту фу«Ю Окбр ( ЫЕГЛР-Л1«Р1Е.ЕЩВРЗШ Пт Сщ~~ ( ю и др ипорого фу«капа«как ю элемс ч испи« аксписю.
им ие ип 1 . шэюспксш(р у (а!пира Р1 (Еч 1 с) (со а ((п ы ! с) !) ((. (.... И...11 Е.п. (... 1,.с)) р-к рз е (са 1 т)))))) р- Р1 Ь'1+ '(1 2 3 4 5 б)) (2 3 4 5 5 7) р-в ! Р1 Е В '1 СР (1 2 (3 А) 5 )« 7 В))) ы!сыс) Эю упрощелизя версия шр «ой в Ы5Р фу ш ч рс с. допуск ию ° ю ил «сок«х списка аргуме ю Тогда ппаксквуюш . смел ч «сопки. ихс м р е ьфуи л ккыьких ергу апов. (пров!+'И23азщ).ееу'1-ч! (2 3 4 5 б 7) Р т' ° 'И 2 3 4) '(5 б 7 В)) (« В !О !2) ( р * Е'и '(3 9 1 7) '(2 5 б В)) (3 9 б В) Фукия р ди и м р к:хфу«.шш-е обрит ийаЫЮ ззкач, аиа кз миоп(х фу«к« йв апек пары«а 775 "Ваа(5 Вв де«и вс)ВР "з'ии «тек»оп ого»«юх"Е" и"™и программирова«и» для искусе!ее»»о а *Р" ,р „а - ар польза ать мес о ямани функции Лямбла-выра»с»' „ Е псд!1 ыполннт ело )бла-вмр т, 1, Фунюш еспса1! )о) арр у е мн ею с 11 кака при использ ва ряпэч ванин ф„„ зргумсн м 6)луг сп()х параметров ла жны совпадюь.
нм 'цэ( нч став фарм л ных и фа ти сон мер, (Ео 11 З'(1 16 „„„, 4, а за ем оченивзется т м сменная х с«азыза теш ы 11 ваэ Рашаст «вад)вт чис а 4 Н, ы ня Функцая Е пса в з нсп( сра * б а-выра»спайз функциях Ец !! с и) ° )суо еров испол эоззназ лям да-в ( РР1у З (1аэ3ма ( у) (' х х) у)) '(2 3)) (Еш 11 В'(1 В (1елде () (РРпд (к)) '(а Ь )3 (аЬ Ьс) (Еш !1 3'( '(! Фд (х! хз) («РР пд ( аа 13 (деш) (с Ь а д а Е) Л» б . ыРзмен,п мошна нспальзоаать и а фУнквпх вьюшего п Рлд а д м да- ыр парса а (сета м нн глобвпна опрелелениой функции. Вот пример.
П рагс'Н )иш ЬО (*хи)) 'И З З 4 5)3 (1 4 9 16 25) Ь р а. З Иа ШЬ ( ) (' 3)) пи г З 4 5)) (2 4 6 В 10) (р»Е'ИПП(х)(пд(О)(х1С))3'(1245-9В23)) (Г 1еп31С 13 Если бы не сушспзовало лямбла-аырз кений. Раграммпсту пришлось бы онргдсмп асс фун ц ° глобал ноб ареде с помашью функции деецп, дюкс если они подзпи ол оп а но у )мпальзов ншо. л . бда-вмрюкснил ос обождают прог)мммнгга ппшй необховимосп). Чтаб ватага и в квадрат все элементы списка, дастато)ио порола бла-форму фуннвнн иарсаг. Это иллюстрируют приведенные выше примсрн Лр это» не ну на мранее Определять функцию возесденн» в каалрат.
ам ио Р шеи е '""'" мр монн „„„, яви. аоблы мп см а з я сл а и справа сн аал ' Ф Р У Рс (дег П Ь ( (и 11 *ор ) Ш1) (с(1Г((СС(')П*))) „-ь дсь шс с д 3) ' (юсц *пма (1 с г гю) )лага (в сц *д !' дс"зз) (ь сад«Ь-Е ВС)) В 3 ой реализации ра рзе ся нв эм «нта в св с *орел'. Если список пус, та п)ар ( возврашаст з а не .1, отначаюш «уд з е рш ни лгоритма.Вира нам случеепр вер р, ка* р.
* Е юса ветс)ау аелеао у у у, р м звв рш тся ° вперяю з с ю В щюшвном смчае лле п лучення и па те ув а епл фун вп депе асс д аавпд пса, узль омю) абаюаютса в аи о« 'оре ', н фуикняв ьге свь-езгас рскурснвновмзывас са з себя Функшпг- -ьгеадсь — эюпроцелура нннвплизааин, а «опрей эзлаютсл нсюдные з нм а р . ' Рель *а!оавд* и *доа1* Функц д с д д пс стае пара» Р е Релмотсясоыоянне зс ге в спнсак ф)»ьли)) '»о евц мр руюшиь и Ре мэ В ззу у ом апрсдемюй ) опав з р заела (5 2 сангак 'иоана* ест вил 1БА,1. Поиск в ширину н и гдубнну Рев иванна ел) ягма ННУ „,„, аре дз ар т (а поиска в ширину базирустая на использое "' иачсстве труктуры ПРО о д «ак гл п(т (отарово сп)ска ар и с1овадапр~ нме перс енине Нато ест а„анстрз вать ненави«ванн. г абе есть несколько причин.
Ва-пе вьп, мь) хо " р ° но 'Р" )„)зр, Во.вторых, цс»ес гл ю)5 В» д «Ыб)' 73 4 ЧастьшЯзыкиитехноп инмш итехнопыии пвэгрвммирования идя ис«3 15А. Стратегии поиска и ЫОР Фунщ и высшего аорявп ляэцп мошныц средством про нслур ой эбшуэяп ' н(.Взз Рюлсзе пупе» або(ран(развив« будут применяться д реализации абю(х вл'4" и в шкрюу, глуб ну и" элиота" алгорипаа поиска, описанных в главп 3 « пош мв и р йбулу,иш з; арепиа1"Е ( сц аа* ' (Е -гахн -е 1е еа е - ь -на)е еа ., -са« -а е е -с к -с ьь д )) Фу кипя деп г с -девсепда г м р пзе шас с поганка.
Па н а и срмнн с нсха вп ю о пред р ш дуб р ван мт дуб р ванне алеман ов в этом списке н сключа узлм. ) е прпсу вхюшм ' Р в юшм с хкс ' реп лн д*. Кроме сес ояння фуамшн д стасе-де «рс -де сепдапю п«рспп * са сок проходов эа магу бытьи свау сопрел снн фу иясо»рз ения еэучпа азпсрсчаяавюкальюн ср 1 с Опр деление фун 'нп»деп г са- песен (д Ец» я се-д а юдвс ( саю (д гас -д а Се с се 7(5 15.4.2. "Жпймыйп алгоритм поиск« Г"ЕШ )5 Введ „в (»др гю (( 1! Ь )а «с! (! Ьа О1 СЬ1Ы «а С:С С В е,),1, (с (сш Ы1б «С))))))) «юпЬег нспалюуеюя лополнпг;л „ П е»)0«с фуя цял э ° в . ) е упомни«лов роэлсле )52, рун„ Э ' ° Ы. «агар й жюрвые у «!"«)СЛУРУ Прапор«') Н ВЩШ Э сь(с„ р-"л( ы любой ело«носи, д пюн моа а пс ачьзюа ь пред« л(эко Мйр ребу )об» э юю ого»э«он«я ! ««Л)э )Рву«КП(Н ПО У аЛЧЭННЮц „ щмжш, Пра нсполюов нен эгага пр слнкшя лвв обьсшп счцгэю сэ дснгнчны СОД« О«» н««юг одна «ш с месса с(ода»оден«с п«ьшп) Мы непа«ьэуем бо)сс спэ «.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
