Дж.Ф. Люгер - Искусственный интеллект. 2003 (1156457), страница 115
Текст из файла (страница 115)
оный нш рнрп пор ио Р«ап, а.ран яет бр»бог«у а -Ртхп« еф спу)о форму и пцм оаяшую нцфик .к н е вырин лепре к *ча1 Перв поп т ао редел ф слепил м)пфу (ась ыю1 -"П С Р „ - ц нч ( юевол операции! (е р) и е («Ьт (сЬО р (ЫЬ 2 р! торо й опера д Ф юцио н' р1е-Ы-ы-рте ула лобио применять ллп прс браэованиа часовых цю лается корректно обработать вложенные вмражени, имнвй Однаи с ее помою ю н уластся карр ! ) тям «ат р а о раппы саин яют м ся инфнкснымп вьраженипмн.
Для решения мо! вра. б ыепранаы ео ходим тр р б слц оОать в префиксную форму. Рс«урони эввершастсн прэ р аи п(па ар(уме . еаш о н вреде авл ет собой чнспо, то она воэврвша ка нил. манна полна в рсн» транса ора нэ пнфиксной в префиксную форму имеет вшь (а е,п ! -е -р ( р! ( * О (( Ь ГР Е Р) Р) (Г 01»Г ( ГЬ 1 е р! -га-р е ( гь О е р)) (!п-ы-рте ( ГЬ 2 хр!))))! С омошью этого раисляторе о о модифицировать цикл геаб-е а1-Рг -гэги об сасчить интсрпр цию ннфнксньа Ряжский. Напр па(ер. так. (ОЕ-1() (рьг ': Еэ»- ! (р 1 е ( 1 ( -г -рте ( а)))! ( - *1)) С пемеш (аког иимрпреатар можно обрабатыва бпиарныс выражены ц инф шон форме.
(э - 1) 1 - (2 2) Е - ((3 ' С) - 5) В рнаеп инс л пм Р ' "Рс «а 1НР рсавнэовап иовы!( яэык — язык инфнкспай ар -в»фи' т «и, По к льну нар я си — »мв 3' р. у «- ---.».» ° ° (--ыкымп сэру "' 1л я. Логическое Программирование на языке ЫБР Еб В ! Просторе язык лигяческога МРОГР о ПММИРОВЦИ))и Прешагаемый нитеРпРегтоР ля» эс) -,. тмиа м е и шо ет «орновскне аь ршксннл — подмножества .
' ' „ ,„Р„ц а денни п е Р ам«атос Каррекгн Ре Ызр Сасаев» «Р инх И выра)ксннй и правил, н писанных л г,и, и мс п'" ' амм '( элементом кат рого »апас«» ) (" . о сг иа. ар мк Уаа ма»)им В хечеетВс вр(у 727 ы11 ) ЫШ из де„д «се) ,д к ею ;де г в) н з про ю в , ыюа ЫП Я О д') а Ы)1 дю'гд'! ((сю а ! »11 ти (шаП1«е Ы11 «1Ю)П1К * ти,,шш ью ( е аепл Ы11 Яаатд и, юа ЬЭ11 Ь Ш О,Ш Ь»11 Ы)1) (Ггьапа ь(11 Ьа)1! (П *па Ь Ы Ь )И тя эг ьу 15,8.2.
Потоки и их обрлбатцп Ги "Вне )б. Введени*«пбр «ции низ Гу. переменные буд и алис«ни т ау- лам пред нцс Ри'г «ПеРвьш эве ы К к ° пр +'ементам яюшетсл с«о«о анк, а сц Ь, »горы« п«зен ' „не«ма ° мера« термОи. »е „„ин нз Ю, ц с«апшо пр ™ ,й расс«а'Р«м " дсремсни шеи с) П! ' (юс !) Ьатг)) П,.ма Ь ((ес а э«сон, иер«ым элементом «отарого ы а»нине эт') с'т шрмы илп «оньюзт» заытс Выражеш(„эта ео а*з последуюшнмн— 11»т Р*С т бачзб, ! е м11ег Гш з Пэк ем а«ЫЮ( ю э) (оп ы, ш)) а а-сор у юа (ьа а-юр у в сн Ясной форме Нмююка«иа вырюкаеш» за еиц позыв«ю«е. сюп .в ло ение ( 1 11 Р дао ылка — ша юбо ~р~ас, вибо коман,н„„« с«днассыкаэ — эю ~ш Здесь ре н(кичю арсляа'«сине. приВедем неси „с»с а лю люю еюеэ — исегдз прю гас «р )ю (Г 1апа (т с «) ( а .
у))) 1 (ю1 ((па(ьэ ( гх! Яв1 (ОЫг (агх) са! е11 ( г х) )гад пг)! тып Шь д ( аг ) юзе)) йагюшкав бпа занмьх — это сшкок филов и правил, связамцых с глобалшай пржь най 'аюе.«1 он*. Приведем прныер базы данных об отношенихч симпатии, юцшзш па внзж фуию«ат ее«я (молшо было бы цжаальзоааьшд н функцией беб аг). ( та еггю. * ' ( П ыя яаогяа ь*е пэкав деогд «*се! Пэк«в деогю кЫ«! Пз«еа Ы11 Кэд П Ы» Ы)1 «зс) П К э ЫП рзсга) П Кю ЫП ьпе) (га1е э! (аа Пзцев ( гх) ( к г)! П,), ( у) (иа.
«))! сью (Ггэеоа ( х) ( аг У) ) ! ! ) На ве хне ов р уровне интерпрештара используется фун«ц'(" ,Ь,11, ь)""" ! сч тыв етцсшвыс в ичесю' »ырзжешш пь( стш( удовлстаорип лзннык,сев)анной с ае Ор ен«ай яб,зтд с ЛР« и юй ланнмх функция 1о " 1 *, паз( ф )адьо-вье11 лолжна лема'(СГРЦ) снивоюм т шмечеим «оммеитарии). Псд1с-»Ь 11! ьюоя 1«г» «еннл чш Ш) дсс» анин* э пресы )с ююта оека и кшч иап и ь ! Языки иге«поп иного н г шммнроввиипплп ЗП 1е ь11ка»)паке аод кл)) чем перехошпь к пбсу ленею реализм«ш ннюрпр тор» эл Рею аагичсскогопраграьм Раввине р ссмотр ми лакцы о'Окав'"'а" Как видно ю прслылуп(его примера.
лаже исбалы база лани ы П бует сюжи й обработки Нсабло о олька р л ы о юн «ееыл ц выражении, но н находить в базе ламнмт полег новь «обсспе ш ю н иле»ага выражении Олио. у пел у р м ут и рюныс множества по»стано о. Прн цспс.ьташютн оньюнщкн нюей обч зн а удо лствор~жь всем копью «ш б и сшл с а сть сввэзниыс п рс мснных А шпаги«и при абраб т е прав ш исай ол о.
избы ал юв ь сфсрмнравцаюе в процессе проверки соотвшп из м лючснн прав« пс.сво у вШ» енню. были «несены в левую з прав« е Необхол мю ь упрюаеииа раш ыми южштнсмн позстамоеок — основнан исючн к ело»мост н р (н аторз ЭО р Гшечу помогают решить потоки. О н поза т игр Ро ююлевател ности подотамовок-канштдшов рам ь шраннчен«й.
опреде. Яем ж л акой бшой данцыь )Г ' Писем) — это последовательность обьекш з ныт Ню б ые юнчш ЯР» срам обработки потоков»ел»ется обы ная нншрзкпюнз» р тра юнз» а м ю Паслпюшне нс юя лосскд вшечцна спи«алое юв««астры ленные расс атрив ются юк бесюнс юя лосс д з программа с ~итывзст сбрей т еаст тс ушиВ снмю т юа ш ююш мю Обр боп поабш шльнос ззьютса азиопа, и )Н ш«о» — эчаоб*бшснне этоГ идс«аа оюн абш ш, »н П юр Пепси«Ш — ша ф)м циа, могут шисрт р ишь н мол,тфет(ироват ф>ню»н ре р — ф, Оэлаюша» в прорыв й по к обьаьтов линни «м «та««я т нскт тарос ирсабразовз нс н л к ,к, оен м, юззнинмне аюрм прел ю»зчастие отар сэюменты ыпашюпоуслое м, Глв ва(б Ввсдеииавшб~ 'уйй Ч ыщ дамки в эмки и теки апатии п а нита"э „„„ для и «Усат свода, моюю предст «ит а внд юные меканнъчон в па»э базой Знаний, иапо, „., ч'виацц„ ЮМОЮ Н ПОЛУЧсннл рс, „„ юкэ аа Отри« „ фмт Чэан«н лс а а.
нкпмна «елее при ср, «анъю *а П 11 ( Ю В!) шу"'сга Раздела, П Всспольэуемс я лагичссшй этой ырюкенни махгна рассъзат зренщ й ковьювкт а этом вырюк дм па * ш множество папстановои пер* одсюновок Кюкаое ОКС ц му «ОнъюнктУ, в Реэрдьт т св мсн ется к этому с в «знаций Прв оюутспшн спшн ссошетствие множества полата юч, иэ патока РШ«же ССОТВЮШВИС НСНЛЕНО, Соэла мноаа сша подстан станОВОК за счет доба«лепна надаю в м Манн(ц к искоднаму множесшу, Нэ Рис.
)5.4 показана обработка патоке „ 1 ш юг гюго «анъюнкгивного целевого выра сток ОСОК ЬЭИЛНЛВТОВ Содсржпг талька дус Рюш«рассол пасло появдсцзг щ и. «еи предаоаеннв ьзнажсству элементов бээы ланных Псе«в искдюч . б г) мээ ) нзм полстановшс не улоалетворвюших второму ювьющд (1хце деогйе (иаг г!).востоке остаетсл одномцшцц йм д Ртм) иодстаиоаак РСЗУ«ьтнРУюшии поток (((( аг г!.Ьад«!))ш бшт!. 'й лерма едииствеи ую нолстановку переменной, обеспечивмащрс ° аотвстствие обеих падцелей баас знаний.
как видна на зтага примера, одна пель н единственное мво. аество подстанавок позволяют сгенерировать нсакольае нани Раюв«ш(т ц! И«о«сете полстанавак, по олному для каждого соотеетстэея 1 бюе знаний. Кроме того, с помощью целевого утверждены махаю исключить множество Оодстаноаак нз потока, если юййшт! «шл ответствие пе найдена. поток мно:авета падстановак моам Расширятьсв н сужатьса в пропессс обработки последавамл.
ности конъюнктов У (54 Иш рш Р В Севане обработки патонов лежат функции созлания, Рс™ с юю . Рс«ид и доступа к элементам патака. Простой набор фунзш('б и йе ю Фбапш по)Оков можно определить ма основе списков н стандэр' ньм операций над ними ; доба л е* а а ов . ш рацшт пе шй е сгы веге и! ( Опл е)еюепс вс саю ' у-Вета р (вс а ) (пп11 аггеаш)) 3( 1цп и) е- Е-М РГУ-ВТ Е щ ( д шет лва по ока и ) „, *-ес ( с 1 (Ь а-Вс шиэсцпл ПОТОКОВ Я Вия СПИСК С аы данн «, таКОЕ ОПРЕЛС СИНС Па писюв не абсспечпва т в отвоюю пос ю «а в ех аоэмож«т й йлшо о. Патока« Во ьш гпх зш'ча чах,вчас исти,а са н э)м н а в кшо программирования иэ я иэ рюдела 15 8 3 э о д ра а оргэинэ пии и упрог тс» г'т хад а. Раэлеле )5.Р обс а ,„ а,зО адию по ОКОВ прн Онснискппн ,ат ккс рсл мшюяюа с задержка« сраа гми й полхад Интвркретптар ллц залвч лагл~ж основе патокам ческога првграммм о чес и гр мРоаамнп м ивтсрпрета Ор помощью ФУК ви« пин апас" вь )К кшоры ээ'мс я витом никла г ад-еаа1-Рггпю а я уппс .
о исаи оза в рюдсл !5 ) П слс инзш 7 эт функция ш ~а~~ шш едующы ва псиное а хьюыт с'х , связывает сто с с«иванам ООО1 Есщт и слн цшсаое ушсрдд ше О 1 С'"Гт ч (июцп С фУ«кц етаверш юрай"ТУ луаш прюивном сэучы ива«ты т фу кцию 1г для генерации патока мнолсств одсши ок уда ок уда спюряюш х ланиону нелевпьгу утвер пению Э от поток перед».
с э функшш рпп(-ю! оош, катара выводит ценовое угвер ление с «аж«ай ю найисишц падстеиовок. 3 см функпн см ункюм ркурснвно вызывает сама себя. Ват определение функцн«)ой1с- ье11 Ш Гшт 1ой1О- Ье11 (р с 'т П С ((паа1 ( д!)) (ао д (( ср 1 поа1 'а с) 'Ьу (с (Рг пс- О1 с апэ ао 1 ( 1 е паа1 и 1)! (гегрг ) (1аав -«Ь 11))!)) Ос«о ои митерпрста р фуккшш 1 О ауч ст иаэ эос юъсразннс и набор падстановок н нахадзм все решение, согласованны с саз Р и» б тын«К Этн решс о вр шаю по . и з ие найдены, функция ва1ае возвращает пустой по ж С очш ЗР "са Флмпия во1че является иг очше .
(Вошсс), нлн ге ерм ра«(дсшш' Р швинд Вот сс опрелеленне (аа(ОП *О1 (ц а1 в»Ьвгхе С' ЮЮ Ы с1аге ( ре )а1 *а «стех ') ) (с пз пссхче-п*а1-Р ааа)) (г')с -сь а дь-сап)-О «(е ш*ду а а1) (сапа-*егею впьвс саста в ( - у* ( ак*- Ргу-вс е Г П а1 ПЬве сае ап ' в е шг1апе*) ) ! 'ч сина аае г!Оп ' Ва сп'ю слово првах 1 означает, ч о перс с не. См. зш* ~ютыэ мчал (Ч есза)). )Юи сюбалыюй (8)ОЬВ)), н булст л не. 731 Во (ноп х »ОО( 'манна ч Вс)юнас 1 )ВР ф имм „Г.а. ( обь» «ю д яцз(мэетс» ) )лет('бу ' (сдш)цель«пньюнкпюной Есщ) ее») и«» вр ма., мрэм тс вьд ...„д» 1»ес(н™ ° оа1в, выполниош«я оп смш)м ьш. и 1сегммгоцдц-сопз-до нью а лодд у(»ар»о(мне ВОа 1 не (юньюн«ыя Мн'(Даа РЭЗРС ЮСИНО Ш(Ш амошь Ше» но Если целе ое усмр с д с(с» ф) юске 1пЕег, вмюл 1-доа1В вызывается д нвм) к Е11с г-»Ьгоодс-сап юм Фунмн» 1 с лс О»»тсльноеп «от(ьюнкто», н, из которой уд«ясн операм) ота сь (те последе»»тель Еет»О НОДС(»НОВО«.
Рсзудьтат ем юльм леха»нес нншкес мдд дермшем юль НО»Оп,, ДСГЗ(МЯЮШ(н В есе Рсшенна дда денного мелево Рзмеиц ин ~»1»ег-СЬ»омдь-соцз доа1 Прав»дом олрмеаенне фунмин Е »1 с его(д"«1» ЯЦЬ СЕС(С»оп-Веге шее е 1с «-сь о дь-еыз-дов е (О 11 ООа1»1 *дмс ыс сп-эсгм (е»1ы -»Ьго дь-соп)-даа1В (сдг доа1я) Ы1Г* .СШО ОЬ-дса1 (Са дса1В) Яоьаеаепе1 и веге Если сл сок пелен пуст, фу «шм завершает радову и новарам«сг по сз п-веге и без юнсненнй В РО О у Э ЫЕЭ СЯ фу цм сьса дь-д а1 )ни фмы(мцив потока подем овск нв основе первого цсчемте мсн в списке Ревуны»т се рабоц» передается вызываемой рскуреивно фун»ццц ез.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
