Дж.Ф. Люгер - Искусственный интеллект. 2003 (1156457), страница 99
Текст из файла (страница 99)
ьа „,, ся,,раста(» колею коз .. ' ш- п и т Х-1 х-г т-1 ь у 3 Н 14,7Л. Ввсдедие в метпивтерпретдторы: Рйх(З).ОС в взыкс РВОВОС Хзх нз !. 5, ТВк к на !. «р, щк н на РКОЕОО, модна писащ грограчмы дю работы с выряпеим"(« налвсан ыми в амк р мках синтаисичес«ах соглашений «зы«а. Такие праграммь буден к' "ю'д'Р' сн Р м (юем-(п(егрюег) Например, оболочка зисдерп(ой с«с. м м ннтсрп ° т ва Р Рсг' Ру: набоР правил и факт в, описываюшик конкретную залечу.
Н хеп правил (ыл з дачи аписы а и п емтс см аю)с с поь(ащью синтаксиса применяемого юыка нем«" р р р моим псреалрелс,шть их семантику. В к честно приме а мет н р р мет ннтерарещтора опрслелим семантику чио") эг 00 в санам язь ке РКО(.0, П а се ушерилеанс я сб аб ты 0100 Пр( кат ° 1, певуча„в кач тве враз р Э' а с р тышю его сшласно се аиюке РКОЕОО ю1 Ш (пел) г-пс (Я. П)) -', д 1 о1 (Д) '" 1 :- с1» е(д, и), яо1«е(в).
Доп стн, у м,суш'ст уетюсду щий у щш (юстой набор сумлений :- ч(к), «(П ч(х): — н(х). (Х) г. с(Х). ( 646 Часа У(. Я ам и«» и та«нодо(ни прог , лизы" м оваиии дпя »СКУ*омэ»Ю Гиена (4 Введение в РЯ «а ссощетс вия общих структур' все вх и я,нет«я прошр«а з»о(»де« (ф„«эдип вип л оюсрша. Эт ы пример т'(т кс иллю ., ' "юр)чг „лрн и ю иначе Тдю, образом, Разносгныс с иски ак гщед , „г о« рре.гного «Р ' „,нерезулынты онкатсиапшь мззм' юти лия лаысл ° юпельнмс особенности н ыреимущесгв ю исков,в(люияе зма с ашм трепы отла Рэш « вы«нсленияи, основанного „ ва энного в мы«Р КО!.00 полхолз «вы« й витию РКО!.00, пии у фт. «юи» вЂ” зю юро де«лздэ тивнойсеиэнти дюю э ю м з Р .)4)д еюд юдегр ию ме»лепил ю р юа» и и 14.7.
Метаннтерпретаторы в языке РХХОЬОО ). ~~~~~ Щ Ю«Шлет' будет, г- в 1 (о(, ы). э В 1 (Р(Х, У)) х=, У=и; К ° . т=ст п в 1 (Р(Г, д)) Предикатв 1 ереализуеттот. поиске,убииуса аиаправонаои сил,что и яшерпрста ор РКО!.00 Возыо.«несть н иоанн» меши еРпРюэюРов лпз шипа ю несколь о шоустнчех пум,м,уществ Например, в (Мсемау, )ВЕ)! списан пр й югшнщрпрегатср юя (зр п),еде (»вляющнй собой меть до ш шщс(ва юго ф, то этот юык яыыется пол„и (ао Тьюриигу) О болю р тической точки зр м мтанигерпретатсры ююю исдслюо щ дл» расширени» ити олифпюн емантшщ баювого ззшм л оба е мша его более пп ного сопи(стегав с п фию прнладе Т л р р ро. сания получ(щ название .
е»мгмс ш есюд р ( (ю ы-(юю зис Ьы а э додразумсваюшей созлание вь Н о зыка ми р щения к нкрлных захач Напр . мр. шм минку ствнаартнсго языка РКОЕОО молю мощ фашчю тмшм сбрзом, бы спраш юош е. а зна мн любогс аслеасто утшрилсиня. нешнюсп, ииоро л зя о резсчпь с щ мощью бюы щшвп. Это ноюю б и лебзюниа следуюпо х вь радении в ю п преюэлушего он«деления прсмвита в 1 1 (М вЂ” Х* Ы). авк «Ю) .-: «е(к), ис н . 11 в рт о с«чае'), 1. г ад(сгпе) Поскольку зю опрсдевение доба ыетс» в к н н списка пру х прввял в во1«е, оно в 1 езапускашар л .зт вх ьетллядсреза «пою«о тевю (ро тедю за( о зиа енин ю- исаог у рмасн д Команд вк ве выводит еслевю у р мд нне «нояб оии н ин вать вв дмпюс пю еате- лохьзова еаю прсдиьат ге д(ег е! пытаетс уннфип«ро н чс «е Г 1ь [юи знзчю л ач нис с терном с е Есаа ыо.азс ю с е). то та поды а ювсрш псз н уда- «оюрое нс шя унафнп роють .о значение с е).
п д юга в 1 ° из е юппошхсннс чса Так ю обр з мы расы (щьза сема«зн у пред оп с«еле«ной ыше пр тои ы зна. «зьщ» РКОЕОО Приведем ример испю тошни опрс« «ин яг(люстр рующ й поводе пело олнснног «ого п да«а эо1 1н (р(т д) ) л плаву рл еис н (()т введи е внэчен ех, е л н л а е у Р т 1»е е про и слу е л пел о у ар л пел е(в)т и д е з че е сюв, е л пел " у и Г 1в рот,в о луъ с уе )4.7,, 7 з Еуб»ломы» длд впсперт»ой системы пд оспом правил В зт это)( Рнзас (с будут ов саны основ с прсднкат, испо ючсиы ((рв построении ) (тс д Рпрстатор» для Основанной а прэ идш зьс мрш н сисшмы з упраыс (мч певи.
("нсн ' Раздела будет р шсмовстрнрос н зффс.п н с прн ш ная бо.ю Я Языки »техно но»огни программи ямм в лдпя искусственно Гизев в (4 Введениев РПОЕО с)юрсппора потволньт ему нс р сширснес н счв( С О ,.„.„,.„,...„....,. м»р„ ! "По У71 Р'сс" ылу (посс (У). Ответом н з „ в "Ро'Рх'(э( Эта рсшш, до о мю )Чмв»л н шкушс стРош Рассуюпнн» в качестве в "(стра ссм »О1че, рн н »»»о лш обратной шп,„'Ра а, еым см про»им в че 1 е пемсшасг эмира»нос пршмо в ою 'зпя ° пшшпранил, ( ШКН Пх)'СЫСЮ4"О П Оен» И юнанчн за г(од» ь теперь м»мГ па»дить дпа («Рро '(с зап ш""О'ог'м»)Ваш прсливэт Гев(топ» юмора(н „б тВ ( ск Уснем, ' ео ьгсштс(см юачсния сгче (как»ил» о»нови апис»вест «»од(п ОТВ юь( «евро ь„рона«ими да ответа на в»пд Г »к 3амстиы ° Од» о запрося »оды есз.
вх ве сгп шР мс Рои ааластсх квост стена правил таким образо Рш прп ви атом, псе»с» носы заарссовыьу просю приводит к последовательному нзв»очс, "ЧСОИ 0 »равна «, д) сто оп»Роинсннл. 77»»отаоласт пользователю отследить всю Осд попочку( М! (С ГО, ) Ю!М(ПШ(Ю. П 1Е ):- СШО1 Е(Л, А»1ВЭ) ) . О1 С((з, В(, АС1»«):- (, О! (А, А 1 Л), 1 Е(В, В»1ЕВ 1 (л. А 1 е):- !ап (А, В), во1 о(».
((А 1 (А. А 1ов) ; — ав»свет(А, п»1ео). :- В) Я»1 *Э»«ВОТ(А, АЧ1ОС) .'" ИГЭТЕ(Ы, ИС1ГС ( " 7 Вес» ц у в д с у е'), п1. ШСР П ПСГЧ *, ад(А ег), е р пд(А»з ек. , 1 ОШ А, АО Вп) ° вр О( Ьу, А, (А»)е)А»1»э)) ав»» (А Н 1 ею п»(пу, Л, ()) :- авк сот(ы ( ) ) . Например, » ман лу в 1че модно вмпою(ить ранее в эюн раз»гас. О , " шить ш(а др ютой базы данник, ввсдсяал -, "ппс внимание, паек змшмкс успешно за»росы »Ьу »зимин Рассукдснвй д 7- ео1 е(ры, М, ( ) 7 мднезвч не О(Е) ы (Е) в(Е) Ва дн е знач ние а , велит значение С с в. луча С(о)7 Вве еююе значен е с н Еа1в а ГЮ. не, и илес утер» с учае у в м Расшив«шс ОР л» аво1 Яы сс к л (кам з«спсртных исюм е и ОГО шн оритмэ с «т типот, ш(горн ма об юшсм предо»скин »с Ра прслмк а ао1че.
о е. До мел твом атом «а »войс ю пр сдпг и ни »сли А с ((Омсшью орос»' впав А: -В но»но и эзрюить с Руюуру (А нс ПРОШ 0 ОбЬСЛИННТЬ»СРЕВЬП НО«а о Прп рюрс енин «он н «ОН ю»КШ»»с йА»ВМОМ- в»кают ьств ю обеих испей. Рг Одра»свен»с мшзннтслРато а, б ОВ (Рг ЕА, РГОМВ). ра, с ссп чина»шаго пос гол схв имсс с( луюшнн вид тр 'ннс лср св лоэазв- во1ч (СГ Е, С В) ЗО1ЧЕ(П С(А), ПОС РГ ЕЫ , еос( (А Р Еы, 1 *(в, *1 (А, (А - РГООЕВ) ) - ! „«в(А д) Чне (А) эК *е (Л, Р Е): — Ые(Ы, »к!с ('н п з ачение сг Еа1м в про ив С Пв, С ПЕЛЕВОЕ И М С У '). Овд(С Е) Запуск мог» «рсдиката з я рассмотр иной вы с простой базы н Шнй рсзупюш зы ванных ласт слслую- 1 (р(, Ь).
Р Е) Ргот=р(», Ы ((ч(а) в( ) с Ое)), (. (ы (с (ь) с ))) П сзс лую)псм рюлсле эт присмм испол зуются ыя рсаш ш бачо ю( зкспортной спс смы ехвп 11 П н й бзза знаний нспольхуст фор с пр а решения задач». О«стона зд за»рашн ас у по ьзоватсля необходимую и»форма»ма, юпнсыю т спсннфн. чески с ан, с а ип, отвс мог иа за»р сы Ьпн и Ьу ° реал пус мскэнизм ею«мыл рдссул. леши на на основе фактора увсрсниосп( нз главы 8.
И мп» сис м екнпе11 гор шо сяомнсс нес ошшанныт выше мст интерпретатор в РВОЕОО, О м валяется ю расшнрс. ° «см юой ы этой мс оло, О нн бс ядром с удит прсдикат В»1 е, рсэ зуюшнй обр т ый по- и к(с, чек пр мш и фаь ов 6«дьноб диагностики. Если читатель жс энаиил вв омо а спас) „ ),В33 дкя бюм ЭН ' Нонна ОсноВ«ых дрели«ВТОВ Оболочки 'жиь ехаье33 енлусм сну'ьмш"у) ь 11 соскнк э правил н спепификаций эап Хсм - - -очю ехвЬе Росса „ бя аэняний "' ' помошью прслнката гп1е вида г 3 ась с л„лставиянп я с " е(л эоа елю пря хс лдд бнэы )нянин эадисанное с помо О) а, у ер*пснис Шью ст Осрсьй и Ра'ш)' ' О >,кдсння могут прслстаяляп собой прав, р )я'3) в РЕОЬОО 'шср иа Рбш прахи ш х Р— коньки а :- Р), глс С вЂ” это 0:иова ынш а е)РПРсд «Вгагч1е ко и а ниса«сдано.Псрвыйп ра "ГОР')Эугт Стелс Ь ЯОНЕРНВ РаЭРВботчи с, аничк сючных рассу П Вм , О »арл инки, ОлислннОн В глВн б УШРЕВНОСОЬ ПРОД ОДС НМН ляв впюонс от )00 (еслн факт заведомо ис шн,д «р» 'Шм Рсг мохк) эмен тася Ливпюонс Мв л мо лохмыг ф кгов ф ) Если эначсние параметра ср блпэко к н, ав си)ум ' рсннссп дтя д нного фа ого факта неиэвсстаа Пр) ведем типичное Нк' ю, днапкстикн нснсправносгси авто обнлей га"Ь'д- Р ПЕ С( "'СЕ ) (Ь 0-ау ев(вгвгсе ауле,„, 1 О)С (СОН П))), 60).
1е П х( сашек, 'эа еи те стар ер'), 100). парное правило ушср»шлет следуюшее Если "ишкправноВ" оказалась с«стащив вра, и фарм в чаютсх эначвт плохим «омпонентом является стартер с фаюбш увср.нности 50 Вюрое у ержление о)иачагь что починить неисправный стартер пш.
Угсм о эашиы (с УвсРснност ю )00) В оболочке ехпле11 ЛРедннат гп1е а. пшьэустся ллв извлечения правил. лающих заключение лл» указанной дели, подсбшю ' у, «ак а более простой версии прсанкатс во1 е испольэуетси «шроенныб пршпв с1апвелл нэшечси првшиэглобальиодбюыдан ы«РЕОЬОО Сншема в лье11 псллсржнваь запросы к пользователям о нснэвсстных линию Оммко, посюаьку никрпрстатор не должен задавать нопросы для ка»шой нергэрсисн иой нюн прод)амчнгг момш яв о унюать, какую информацию слелует полу)иж ьг можно сдп тьспомошь предвката ях Ь1 аал Ы (с агатов) .
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
