Дж.Ф. Люгер - Искусственный интеллект. 2003 (1156457), страница 97
Текст из файла (страница 97)
), РГ СЗ* С 'П ш*1 с ап((яс с . Рюапг... ), с1авад аас) шм ю(0 га с аг парю пс... ) с1оввд а с) Р сз 1 с ап()Р Пг, ц В др г Пс,, ) сг ) га(яг с ), 1 (Р К"Р(Х), П> дмп СУ, 1 (да>(н Пд' ОСУ), да>( >аа (х) ' ПС Ы (Х)) дд(по1д а(х)))) да1(апс ы (х), ,(р Сдо (Х), (По>дг Ц(Х)), " '(д 1 ПЮ>д Н(Х)), ддш С Ы (х)), дд(с1а «(Х)), вддш д арсу))) о в(вш К(Х, У), ПП Ы Д(Х), с1о (у) ) (дп>(н 1д1пн(х)), да1(о1а (у)) адд(* (Х, У)), дд( 1ваг(х)))) С Л глаца (4 Влвданн в РЙ0106 636 Час ВМ й зыки н г а>молагнн прог а шадш™ мануса>ЫН"'Г 14.5. РЕаЛИЗаЦИЯ ПЛЗИИРПВ)ЦИКЯ Иа ЯЗЫКЕ РВОВ.0С й рыдаю>4 бмл ор пл р тсорнв прсдвкагаз й м лаг(аа прсдв агав нсполюозалзск каз дзя прсдсгавлсння саста ний мира планы. Р «з, ллз р вш нзмсвсння таких састояннн.
В этом рюдслс булст рюрзбомна рсзпнюпня >то о злгорнтма на языка РЯО).00 сышлн апц. Вшючзя нзча ос н цюсвас, пргдсгавнм в виде списков прснваип 6 расс мрмпсчом пр( грс начюыюс нслсвос сшшлния моммо анной(ь тзю(м абртзкк с = (и д рсу. Ис ыыы, апсап) (с), о (а, ы, с1а ( ), с1 ( я '-=и д 1 ()) Р у > гпЫ ( ). >сьы (ы, Оп(с ы с1Ва ( Эшсоспа >анаршусфр п(з Порская эгон "ма блоков" 6)шмзш">м прасцмнстю попска показаны на рнс (4 3 н )4'(. 'Рс >юков" опнсыюю>сз с помшцью списков лобавлсння н Из"г КВЮ нн,юк рюш с)4 Прсдюшы ю и И- сто пврзмстрз> н йто и и мвнсят от троя зргумснтав Первый — вм ирш т('Рои цнучгнт — гго спнсок прсдусяавнв, г с. и'Р'"'ю оа,коюрмслоякнь быт>дсш санни в описав ш состоя>ом мнрп.
шбылшног'"" 'яа прйм нймо и зш у сосюянню. урстнн аргумс(ш — >то лн ворс гн> о двк (ш' зн )плакатов, кагорам доб в>ынмся к сост " ппи га дю сою наз ново о с „г ппн ,,шуя.,с црнмснснвя пршйш о анан > сгнансполь>азата або Рак ныс „и авг дабяз гданснпс, асрсссчгннс, Рюнпсгз ' б яви ш н алснай он» ш ' .(Н дпц,г„, 1 ат(х), оп(х. И)1, пш 1, ,у) да1 "1'ВГ(Х)) 1 д (о>(Х.У)) 7 „.
нтрошсрхм кзг пнаннро, -„,, >ям сгзн ю прн > и шной р.ю>папан (ю н. нровання с огас сгв " >сл шям лсншцсдц асяс.> нй арык г с "агорога двд>нсйшг пл н ро зн с нгшз атно ', ( с ' ор л* Рабш юг слсдуюшим образом. 63У 14.6.1. Метпдагмческме предыкаты Г«ав» (4. Введе ива РЯО 636 Чзшьч) Я зыки мт ЕПЮЯОГИИ НРо шк( я ин ддн искусспзни д дккатано е.
(,Ню щн е подмножества проверяем. кыпалняются отношение лкя про с и получения под я ли 2 С юш)шыо шкрапн( еия Ргесопа1сзапв для д дуслоеия ге ю метал«не СьхЫ лнкат сьапае повсе генсрнру «спо„, пр Рвом, не сапер вюиемспкскэл явк преднкаш квнЬег эае еа 4. С помашыо пре енны. стояние веласко у ке ерайде новое составные Сьз Ы 5.0п р горке с«лаба же(новое нем пане »тесл амш)мчал«»а«юли с паве в стек мем )„п О.Оператор як схл ааляег наго вызова пРсл(вала Р1ап па основе д 1. С помешью рекурсианаго в ОЬ 1д вс се н о напк нн бювпснньж ст ко* Мем маге всв Ь н В литов новы ео "юшне н ялгорн мк требуются дополнительные утилиты, описанные и (п Лкя Рею изанин ялга и смет)минн а с рэ бс рэктных пюав данных (стека н множества) в додразлезшх 14 2 ) н (42 4 бс«стесню поиск РешизУегеа иа основе сюзон с паыопшю алгоР)пма поиска в гд„г „„ с еазврзтмш и завершается после паха«пения первого нуги к дели.
Алгариж(ы планд таню иэ основе поиски в ширнну и "жалкого" алгоритма полока читателю лредшгзш „ реалиюшгь сама токгеяьпп п кзчесше упражнении Р1ап)повсе, ОО 1, , поте аеас«) ч ! с(атаев, Б )Ь а»гав р с атас«(иа е ас аи!. р)а (Бт с, шж;. в и вса к, моче ос сю а е(н . Р е апа с опв, лссз лэ), а т опя кесщ с а с о в, Бтае ). .ь ае всат (Бе*те, хсс1 и, сьты кт се), т( ш ь в ск(сь(1а ас се, Б еп аса ы ).
*с х(и ,е, ве . се к, не ьееа с ск), с ск(сы1а тасе, иоч зевак, ие е са к), Р1в (О 14 а яс се, даат, ме ьееп сась, мем шоте саад) р так к и р к дак план нвв зм и«н)') сс (с) с(т, Щ Ь С(Р, 5), сЬюае эеае (Б, ( ), 5). ьюпе с те( в, (вал ( Р) ) т) . 5 и . ) сп а вт Се(5, т. 52), аа (п 1(р) (т), Б т. 52), а (5) е е ве Ргэ с таси(Б) свой щ. пе с, 5 , 5), П, иакопеш ныппшсм прею(« дрешошт Сенс шш демоне) эроыевтоа про яс ~епа П(щеми «(амира аа (5сагс. Оо»1) ЕЛРСУ »Саед(МОЧ са ),) Е«РСУ Веа К(ПЕЕ атас«) освод(дсагс.
5*ел с Ьееп вовсе, и „ таас С Ьге(Ь) ,„„Ь, , О1 ег (а ) ), Р У опсаЬ1 (а), Псаы О) о1еак( с ваг(а), 14,4. Метапредиквты, типы и подсгановки унификации в Языке РййОЬ04 Иеилог«час«не канстру пни позвошют поные ть разнтезьнагш про рэм шро нн» в любой среде так«с юнс(рукини будем называть 4(ешалредпьаяанк Ьпешрмщса(е), поскольку ани предн значены дая проверки сшпштсга, фары развиты зз. прасов и управления друп(ми преликазамн. сасшвляюшими спепифш аш(ю предметы й облкеп( зааачи Их можно использовать ддя рассудпенил о врем(к»шх в РД01.00, е (м лпл обозначения )ермов ипп объектов, чта свойс асино обычн м превиката» Ишштре лнщты в кзыке РВОЕОО служат для реалншпии (как м икмум) пюн пшей ).
Определенно "типа" выражения 2. Лабавдсние ограничений "типа" в лаги вские лрыожени» 3. Построение, раздел н е д оленю сзр) ьгур РВОЕОО. 4 Сравнение значений выражении. 5 Преобразование преликатав, «релаваемых в плед нньп. в спаян»с (й «аа РЯОЕОС ою(а весси( г обальные Выше была описано «» в программу на «зыке РЯОЕОС груьтуры, т е данные, доступные ва всем мнопег; ве ешз«лнзьюнкзон К ъушему аб ру 'тять«нет С можно лабаз ть с помощью комамлы еп веге(С) еваз но с н ьо арой опа пастью П ))спал зованнс коь(анп павке и к*стасе ев альнме, у утры. а рнвозп к по. ахьку зги аманда( создают и уд ашот глобаль бшв, ш лру р бюзм,пр«Он«ло оструату. тьны е рь (но лапе ниь(( пРограммам.
Оливка щабюьные тр «е '"щ'ь Зто требуется,ра создан«« в среде ы таккс чок а «в ч ювэт з.я аеммч с помощью основанной ив пр ви фд «оо (Г пте) Глобальные стр)кз)рм так к ° об пформ чия полдня быль глобзльной. ).чт ык ней '(Род нм няе ьп лчя );"вшн нг( У других метэпр нес, шя'ся сведу«щи, 639 14.62. Типы данных в языке Р)йО).ОС Во многи пра шюннях нс искри» ч иное использование повсшново» У к,кш венею онюбок РПО! ОΠ— это непшнзарованный " нюю прк сп! к впнекнсвен юнк ир н шс уннфн ивш л о ! ь пр!' р ст проверяется соот стегана шаб»о«аз! без Яс кп анниных Нв н,ж к р р, жзч нас ыражсння ПРРП"4( юыьеэ ш ррепо нд дрны ре от|то!с т»пнэнро ыш о ноулк озс шъс ю, поноюс' ш з т н тто !!ровсу"ч соош зр лсч Мнопк исследо з! аренд 01.00 (Нс ш н др,(убб),!ЫУСГ'Эй ' „ ы н ншользмк»ня в Рю и чески и щза ве н шлаз нное'ь лазаре,, чтобы Обеспечить согл Глава (4 4.
Введение в РНО| ОО 646 ч сжч( пзн„инт знш тенкжчинп «ганна нн искусстве«НОГО" Ь ,«а" толька В о слу", сели х — нссдд знач нне'Ногина" 'вззниз ° чаг(х| прана«затяня ' ° зна юс ')!сшив" только в то» "сина„ ° (х( и|анана !э юс тянь с псспжнннн тср, х свюзпз с и в и дик»те ° = .. создает сп«еа зп крыв предика !',-нфзтннр)ст у со списком ! й о(а, Ь, с).- с| фу«алки, а хвост содср» нт я ~~ Нелоаээоаа Ь ЛЛЯ ВЫПОВ« шш эюашо юкяк =.. (Гао, а, Ь. с| пел!ни, йоо( . Ь, с!.
° Гш стог( д, В, С! при«инва » ае зш кино 'Тктина", если аргумент ! вна ношьо главный фу йф нюсркоссрото и«ест пня ! р Напри«ар, ащнвчюп Опс о |ОПССОГ(|ОО( УН Х У) петю ж ьснньыХ=|оон)'= . с. =1 1'=2. Вели Олив из аргументов ыстапрсднюнв |плес ваяск связпюой эин и г синов, ТО шж'не пол)чиш зид ! зшп д|з поп« пквыю(ь ю(ьва с заээвншз именем идшн эрнсстью ° с1аояе(А, В! ун фвш(руст В с телом дизьювьтв, гол в тор о унифнпнш еюасарту енюнд ЕШ вше ЭИИН СУШЕСЮУСт Правнит Р(Х) з — В (Х), то С1алав(р|а) У! кожно нн т= ! ( ) .
Эпп истюуедикю полезно зкпсльзонать лш связы»изин урра пеонаж князи в нкрпркаторс. ° а ту Ргедзсасе(, Х, ... ) . — Х вывел наст предикат Х, ввлнкшнйся аргументом пронзволь»ото реди .вта Р й Р л «ат х «ажно передавать в качестве параметра н выпслнять в лкбос уаобнос врем» Прею а «1! ш), где х — днзьюнкг то:ке эавершаеюя усшп. не лр олнснв прскньп» х. эпп кражей список ыетнюгнческнк препнк тов шснь ле ю Р» нос Р нн н ннюрлр. днь струк-тур данных искусственного ннтслясшк кюсзншп рсл зушш г аюх Псскол у РН01.00 позволяет легко упршдшь ссбш юнныь н шукоуьнтс ю нкпс»не Рсалезоваш интерпретаторы.
Ноанфнпируюш ннпнгг ю арйо|ОС. Эю н булат сдса но нные н,сн Ую ашер!тратт штю запРосов Допусиш а б пюшснш ..и епсогу («агюст), в 1 ш«нь'т )"пюьрна сшнрхкжя вр.пасшею«к) и т и Опрел лин базу дан«х „„ ОРР зег |пчепсо (то вр. как мно;кк ао иношеннй с инснован. ыш которые можно рассматрнв ть как набе ннш оры кортслсй Напр ер, оп ш снес ,сонет состоять нэ чшырсхздсыызтнык «О(!те исй, где Ьет, В' РР1ЭЕ, Ы ПИС П Зл Е СОТУ тоы случае.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
