Дж.Ф. Люгер - Искусственный интеллект. 2003 (1156457), страница 111
Текст из файла (страница 111)
Введение в О5Р Убб Честь И Язмк» и технологи инге яд гии прогрвммирове ия для искусе)не«наг (веса е (+ 2) 1 б згдшяепс ео +. ц то е в ас с л ех сасэпд: мо т элиювмветь се " ф>иьин« провцр, тПоэьзовзтели могут рс вез „ нны юи лель с ' . О за~э~~с««» лРелнкэтов Э Опус. в)и типов в ос аве в е нем типов. вбю(, сил»нине с нспальзове нем пелли амебы(, с л )лнОс Оп( к»и«с ВОЯМОм наст О 1 !Ер т цт нс лрпснл>ет э полное Эо) р»Ш ьэ ьОтармс 6>дуг ель мнпыя с питерсе 'в н ° ьзо.
ли«их н юыр юмов лскусст«сн Ога н озолиню( относит» слепую шит зктиых типов лэн ыч. !. Естсственнэя падюрюм вуктрзь ". Нспштьзовэнне списков Лпе с. див созлення символьных структур дэнныт 3 Нснальэовэнне функпни со е ф клин сопд и рекурсии лея упрев»ения прогремыо), 4. Ре >рсивнэя природе з спнсачнмч струпур и рекурсивные ахеюя упр е фтикннй даосе и ет э1 для упрэвлемиэ оценив«пнем форм, 5. Пспапьзовэнне фуикинй дпо 6.
ПСПОЛЬЭОВЗНИЕ ф>ИЫШ» ЕЕС И 1 Е ЛЛЯ УЛРЭВЛЕННЯ СВЯЗМВЭННЕМ псрсмсниы» ц побочными эффепю(н. Вост шейся чэсп) зшй гчзеы эп) «ден ислальзовены дпв иш(юстрэц(ш решены) . лэч сь,сственного юпслтеп нэ язы«е ПЕР. в том чвсле лля ревя«волин югорнтчоз поиске и проверю сопвппв) шелла ем 15.2. Поиск в 1,1ОР) функциональный подвод к решению задачи переправы человека, волка, козы и капусты '(тебы пРозе о ст»(рою)э вазмоэыопн про)рзммнаго решены» зюеч нс«усстююо нюю «(пе) еюе из шыке 1.>5Р, всрнечся к зелэче перевозы( человеке, зыке, козы н «епуптя Ч «у эюуек и у ри ~„„шю с е бой ю»и юэу сл и 'э"у( а олм як»катр ц даю«к у) юпъ ч лове Вал 3 аюоу сэЮ тир эз» бм леу шил р (в "еочюлолюивкэ) Е иво)«осэксс к юб юп и !' «:я п>пу 'Р«у.-и Рэби еоп эи тш., юъ перслрэвьи рп р ху ' "'я' , „тюеин' ир сз.ивэб«веды «ныепсдосшнсокрэн»опмюэр) "'б" ' гэ с"кц)(е э н '.»ОЯ'ш нэ языке РВОЕОО была оп«сэпо в резлелс )4 3. ПР)' Ш р шимми иэ языи $.(бу па паис.
Яып лняекп в том жс прас(рене)не На «зр'!'С( ю о р ',р>ВОР мю э юоп(ей с равен«с. нз РВО Ф>ишю имьн>ю о ' О>О. Орзгреммнэя реэлизэши нэ Е>бр о(рюш "' ыпю Чмсиг шю,щш я поиск в гю'" дм пРслаирэш Ч")(»""ь«(РовмшЯ. Зд сь нсподьзУскЯ л рэшснн шилов «спиц м прырю и »ел»сто» «»ею м(. р «шь(й тип а(трс»сляьиш(т состоял'и исн ов Шли выс сака(о уров«» состо»иия прслетвз'ИЮ е)ше ' ,д еп рех элемента .
вкотормт «юимй ко пю сит абозне цодкл «озь н э усты сгцпэ, з ' " '(»сг (сета июне не чслаюке, есина вк ~писак (е е юрам челове« (первый элец,ю> „ „. ' " е ") 'ю от сос яике ерик, ° ьые (Чичии лем лт) и э волк н кваустз — не зэл дном 5», »т ю сл иэ васою ам бсыг» """"Фл«шм и,ап это(О гнпп ЙВляю сэ шипру(п,э Рс:(е» ) ши исосюяннс дон ьи Р ПИХ -«оксе,( чпы в бе. >г- в( > . доле-избе и ьь .
Рс ФУ"'ш"и ло чтз е деке и сеЬЬ де-езде Пе )т стололожсннс человске,выю , "'"'"!"'м и«струк) Ре велес«я .«о ы н к пуст, Э рэмпреми Ф3икннй ластупэ яв ляпся састииие, э вате эе луи пивозврлц от осею н)е Пе ладонке обьепэ. Эш Функции н мою аопрщеллт тю, р шэе м зи ченкм — чтото о- (лпе ехе-»елее (е и д с) (1з е е д )) зле Е и д )) (дю и Еь -вьбе (зевсе> ( си о вс се>) (Лет л мо1Е-втб (зевсе> ( сЬ 1 1 Се)) (беу и доке-в1де ( Сэе (ОЕЬ 2 Ясптв)) (лее п лььвд -в ае ( т*ее) ( еь 3 велес)) Пот«вше»се чэс прогрэммы кновывэется нэ эп х ф эп х фун пнет В эстностн.
прн. мснэютс» лле рсэлнээшш четыре. возмы ых Лейп х Лейп и ч ленск« переправ чере),..., шн а .у нли с Опием нз песе«киров Прн кэмпом переходе в новы соси» с фуиюи доступе используются лл Рюлелення спето»и)и не ега кампале ты Функши рровтсе (катаре» вс а бу ре» всюре улет опр зюенэ), задает ° оп л «б скг .
Рс .Яюш»т реьу, э ф>нкци ил«евеэсе — тремсфармнрует его в новое сост к Нэпрнюр. Ф>пклню 1л егс йее-ве11 можно опрелелюыяк Ые1ап Еэп е -те«е. -Яе11 (есле ( эц -эгле (арро«)се (евпе — б *с се)) (м 11-»Ы с е) (д с- Ле всею) (слььэде-«зле е е ))> зээкп(м, то ти фуиюня воэвр шьет новас со т янис без учти сга бе»апет а Состоя «»взяв с иебсзолэсиым. е . и е. ыс оспе(п нэ берси к зу с к у тон ип лкэ с «азой Прогрэ э да«жил нэйп аусь решен)и, нс эов)скзюший "опзсиьд" сасшян( й. Проверку состоял и нэ его "беэопзс а ть" можно пр возить не многих этели выпалив и» протри . М 6> олюпь ф»е. су еше и л ош ю Ф Ря(ы елее, «аторэя скора букет определен» Вот пример ее нспалюовение '(и )),ыст епо о »с, в г" бе зее и „, ) (ею '(е м Ю ) т .
с ст о у, р )и 1 и 1 ( еге (ч и е)) (ь зэ ест ус у. р у . 1 у««ню «вее юпольз>мкя в «з»иой фумкш(е среза»э лч фиырм(ин опэсньи таяние(. твк, любой переход, приз л шей к 'псбсюпэс т" состоянвю. г ( сг эг" состоян с. в знеченн п1 1. Рсь, рс нный ю ар«ты юле«н» л и( нр вер ст том Ф» «цне елее оу сдечееэст рсолиээцию проюр ° >па и ло опрелею и оэмо Функц р сЬ реализует ла ск с возвратам ро транс с сос ннй.
Е«арту с оянвн Е лп ав рави, то поиск ср ) ш» Е . ! р н», функц р сь тс ериру«т все че ыре со одних сосшяни на рафе питоянни и р «ур. сивновмзывает свив себя д. «зжло(а из н(ш, пытвтс нмин ауи кпе и. Э о опр д нс нв Е!5Р можно нсать шк (д е рать (аеас д и д ((е р в! сат 9* и ' осе ! (с ( (р сь (еа вг-сак *- «11 повсе) до и (р сь (еа -с к я- о1е всвое) д и (р сь (е -с к -д* с с с ! п и (р ть (е гме -саке«-оьььяде люсе! Псюи ))и Этв веро(ш функцви р сь преп ш ляет собой рос л п р л р «ур«р мз юас пуп! 'Пславсчсскоиш ю ив ю !.(БР Онз юл рюп н сю ию ошибок юм ° ые обходемо устранить Ол ако 3 юрсия отражает основ у шр) пру з р а.
Озтому ло начава устрзнишя ош кю«мзуш лро нююир ю лр бн и р ын Опорвшр сопд слуютг двя проверя ус сшил о зммршен т горит в ю. При с(ютте сп ив схолноп спето еи нет«тому яц всат яоа1 Р к Ра прекршпеив н озврзшзется аю и еля В пр и о сяуча фуюпш )ют( ш Р"Ру лс ерин! У!" Па р фе поиска.*ззтт пызастс себ для ю л шюзппуыоз Пбр ппс внп з и мз лспольшвтн е формы Ог жп упр лепна Опцие и рю и!в Ныло ннм, что функшш г оценив свои ар ушице ло тс. юр.
пока одни ю них не в звр шьет ачснне, шм нос ог ) В з с )чю зов ф)пюл г прскрзшзе с . !оные се ар у неопсн юю и Мщмпбрюо функшш гнет юнсп ьзу и юкзоп . юо Фзпю Е жсстсыо обу р юветпк нем асм ю улш тн н с мидмо сопб,пос низу про*ср смо ° юзвр шасм . «у ЧЕИНепз1,сслипдс.одн«в з оюн оц(вдет па (нп(ьшн Рашю! д (Ош длясоп юлят.
ит пиону ым. Бю дит ф) 'ш Р сЬП и, зврзш п(1 ( ЬЬаде-в1бе втаг )! (арров1те (Е *ж г-взд* втвщй (н 11-езде вовсе! (доит-а!бе с се) (О1РОПЮ (овЬЬпд " дь с с ))и) (с пзИ И Звнстим, что тр послсдмне фунлцин перехода включают проверку условия кк" щи лсления, мазолятся лл человек н сто прсдпплапш ый лассзю(р на одном и том ю— „с пуе! ды П! Роки. Если ет, то этн функцнв возвращают пз1. В функциях перекопа нслоюз прелою ленные выше формы Обработки состояний, а также фуикшш орроя цзсе, ю врзшьюшвя местоположение, противоположное текущему д Ьш орр зее ( де) ( осш (( р 1 зи1 'е! 'Н) ((екш1 вьбе 'и! 'еИ! В !.1БР с шссш уш сшу множество различных лреднкатов длл пРОп«РШ' Р сия аз«но!Па бшпс ц.
Ой — е сеял ' — ед — возврзшвс значение "истина" только в то оду ' ' а! 9 тумснты солтвшшв уют Одному н тону жс Обьскту,,с указывают НВ Ол У ю н НП ласта пвмши Болте сложным Пью«тех пред квт есрз 1 ЯЮ П н «ошр™ сто вр(умения ьж до иы бюь синтаксически ндшпи нымн (в Сч (1 '(1 2 ЗИ 2 3! Ш СЧ )2 ' И 2 )И (12 3) (*9*1 )1 )2) ( ч (1 (2! Г хааа )5 Введенн в п5Р 908 Част юея , ш ьч! Языкннтехнол Ото ' иди мошко Этот сп(ль использустсв прн созд „„, шида пере.олв """ пров НОСГН ! фу(П ПНИ Ва н применения вр дЕе четыре ферзю перскола можно опр Ьщ Релю„, онпых снсшн С учсто Оз, юшнм обрезом.
(д аг- де агаев) (с ЬЬадв-в15» цг г-сак е-но1е (вс се) д ПС Ге) (тю12-пьд ( Опд ((в)О ! (Е г ег-ез (ва( (н е-е " .ПСЮ (ОРРОЛ1СЕ (Ел (ОРРов,е (юи п, а ' (д аС-юде Саге! зсвщ)! (с«ЬЬад -в!де Саг«И)! (дееш еапюг-саке -довс ( сесе! (со 3 (! (ц аю (еаю г- зд всат ) (донь-избе всат«и (Ват (ИИК -«Сат (ОРРОВЕС (Еат — Зд втат )! (мо1Е-п1де агате! ( рровзсе (довс-в д сзсеп (с ЬЬаде-езде *С Се)!)) (с пзИИ (бв1 Еаю г-Саи -с ЬЬеде (ягаге) Ш лд ((ела1 (Еа г-в1б вСат ) (лаев ьтак -вс се и , (.,«ч )3 )и (12 3) , ! и )1 )з! Фу кцил ваЕ опрсд и а вз снов формы д соп ш позе ист провср ть,)ва "оп с ьш" толов человек рвсполшиен пршц олею ополоююм р у от вояка юы, и члоьск вахолнтся на прои юположмомб рсгуот козы и ка у р ка усть! л соспивнс Е !опасно, фуцкпия набе возерзш ст стон измени м апра паном с учае она щврицзстп11 (дЕп Е (Гасе! (ООПП ((а д (ЕЧЦ 1 (9 аС д яс се! ( О11 б с с и сл ест козу ( Ш а1 (Е Г ат- Еде Сат ! ! 11- Ю с свищ зи ((» д ( П В1 (9О С-ВЕПЕ Свес) (С Ыьая д с с с «апу у 'ПОС ' Д'1 (Е -азд ВС СШ (доит юд, ю*с,и)! „,и (с ясасещ) 209 Рш Ю»у» Оэс ПМНЫМ ПР Л ЛУРП Щ сг ' р у Р " нро Рй0100, с Ом (аж шб.
ншо с шм. и т'(э' ч)ж н иц толах Лш с с теорец )ющ ( мн» мо и й'б Е. зь ю» РЕО100 ц, б"'Рм эм Шел и рше н о, „„, " я"Шоюб )юн Очерел, Ы5Р дОпуск б,д„ш,„б Лу Шдсший ир( 3 Ра) м с(у пришл лру ие фу ц, юкс функция. воз р а юших фш(«иню в р»улыжа т фюкини наш»»ются фу хч ш юряд (ь(гьмю(де ш ю ш) юшашют аж»оеср лег»о рюлнзаш и р ц дурно»абшраю и 15З.1.
Огцбражецжя ц фильтры фш р(гь г) — офуню ю рюшшшеимпы ш ев Р л шссотвюта н егоре у усчовн ° уда(цюшю ш ршошню»е' шсм при сро фюырв я ется Оп»шипел вм с в эт й ф г 1с -п да ь О обр б м лани» ожрзщ Ьлар) — ня т р л па ок Р зул,тато Эгу идею о:киа р пь ° а ссп и сбэбшен т шобр жй и фил тров получаюши ючестве л р ро пнк н фунюпм Р шр ш Рамон месть функций ь эл мен м списков по юл. )т (ь ьуюшшо )е г- Е «ачествс пример рассмшриь у омянугу полрюл. - Фун чи овоасп .зв(мзуч шс педасьгея Ен »каче гаспар м ра пер юс я»и овод . (и О Ип ЬНМК и М. ЛНЮОП пол»спи» вврашашся ыо лм шм ь.
на б О риц мокноапред литьфу «Ююф ырдл удюсш ч це (азп ! 1с -е ( ь*-1 с) УСЛ с о а ( Опа (( 11 Ь -)юс) » ) (( аар (, ь -1 7( ! Глава (б Вюд „„,,Ь,бр 730 Частей Языкннте юге нж зыкин те»оло нн программнрова»на)ши но шеи»» лри р а зал»и Функпин рсс), )осам. Р У) еб шим Рс ,твс поиска. Через н ск )цк,„' г», аьч Еше олню ццю ов в пршю еццц»ль»ы» к будет яоэ»ть сс я с'мог с Од„ог Г ыш Фу»аж)» Р н „т в беск иеч ый пию( маншу н»еитц Ь чни„е другой )сл оззт люе ю )Р ' Пдд н)мл тираж нк та»Ой ш эуе пмнн ми, ц »мор м Рш ацстр ьееп-ыцс, предо аел южиною 3)"' спн паРа си»с ь „,;кно поев»»т Р орсини м выз ве Фу»кипи рась дю )а( нсасгз шюнм сс о» нй Р б лет дабавлятьсд з список Ь*еп-1з ис Чв ,я»ю з Р И™ ш„егос Яц Ьюжионщ'ОЛЬ' Еа' Пре 3» ес Ьег Вши зов опрелсее ис у о 1Ь -1 Ы а Юп р сь ( сисе до * (сопя »саве Ь С с а1) (ге*я -1 вс с ас в'е(ц»3)) .са» -е 1! вовсе) *»сш Ь ( оп зсас ье*п-1 ш ) (! г- ш -шы! »саге) доаг с се Ь си-1 ве)) ю (! г-сах шюаг тасе) д о 1 (расц ( а ь (та -с к н-саЬьвд »сапе) д а1 (с *сас ь -1 вг)))))) Злесь ц Ьег — э о в — ) "ени Ье о в — ) "слива Функииа Ооюпое 3.(ЕР, котор задет саб» »ак и «а ыоевтс» скш Ш( кш ФШ(юнЯ У- еюЬе .
опрелеленмаа выше в итсИ глпм Ешз вени м различием силу этим ФИ(«циами Явл»ехсв включение е список н гуно иа ( ювс з'ечца1 В стан' нс от "доморощенной" функции му-н ейег,п. кал ф рю позвшшст нрогрюнисту указать функцию, к тара» будет нспалыо ла »пася проверки прн» л, е нити элемента списку Эт л»ышаег гиб»асш фун«ции, но се».