Дж.Ф. Люгер - Искусственный интеллект. 2003 (1156457), страница 80
Текст из файла (страница 80)
по миничем ьиой ннтериретэшкй. прн которой логеч с я претр»мяте истин э, является сютэ интсрпрстлшш этой ро рэмиьг. Поэтому в пр»ктнческит ятыюш программнрошння, тк «эн РКОЕОО. э процессе работы прогреммы можно еычкслить только полино .ссгпо спят»нных с ней интероршшггй (5Ь»рис.
1987) Псслсдоеэтелытый язык РКОЕОΠ— это эпщюксимэши кит рнрп трэ дш «адели лоптчссьаго прог)ммыировэ . спрос»игрок»ни»я ды эфф ь »пото эыпагнснил нэ иешг ис фо Нсймэиэ Эпт шпсрпрештор при сияло ло пп нор н ээн Ой ю ю Псследоеетельный РК01„ОО ды юрипмшш по«с ом щюцссседокюэп:л шэ испо. Ткг юь а: Рядок целей в выр ч е ин, тэк п порюоь в р»:ке ий в щюгр чме Если нтпеспю нека юрое "исю целей. РКОЕОО всегда обрабстыюш ш слю япрмю. В процессе юнсш у««финн. РУС ого эырюкенгп имеющиеся эизмо кты »сегда рошряытся э ш порядке.
о роч Оил ггшиютс» программ с ом после обрэботьн «иглою «ыбрянного мрэкени» к минеи т"ифг» шш лобэюшется скет»тель отер е. потволяи ш и в с э' нс Лепною ктал«ко выборе испОльтоедт дртсис ырюьенг (опять же ыдэнн ч пр ерш чист ерш.с). Еш«эРОиссс нс >ее«чается).пе он ли»ест«от. ош их вьфэже гд! пр прэнспк лпь. шю'гтте, то вышкееши т гршмошя шудачно при испол зоюн ря и опс ю.
с с для ффскпг«ою попою н гэубюп (полряшет 1Л 1 5) ниирщкшшр ил сэмом де е чожчт обрэщть «с есс комбинэц«н выр.пкеннй в прогшгшстк поп ю нпгс г Рэботу ннтерпрстэшрэ бшш форчд но Пт ть юсст в пель ййй чэ стьу Лопал игольные ни!сплетя гш» «опросы решен ид задач искусстве«и»'т «и Глав лев« 12 Автоматические рассуэце"и" поэволяют выполмпть приведение лая соотнесет уюших «одцсюй. 3 Прл нсполюовании стратегии предпочте ш единичных выражений, ил йл к атолла» фор г(мега»яки предло пения фа«гони спольэования отрицан я цели н ее дочерних рсэольвент, оп санной в полрюделс 12 241 и првмен ри ципа попона выражений лля ретолюцл в глуб ну(с возвратом( н слева направо сишсма докюательства теорем на основе ретолюц работает пак интсрп(жтатор языка РК01.06.
Поскольку э в стратегия »властев полной в смысле ощюаердеипц ола гарантирует нвтождсн е решения(т.е.тшюгючаегпюечетше интсрпретвцин та огег спользовання вьграження с е( 4. Н, наконец. конпотншш л 1 ф ац г прю с до аэашльства обеспечивает нгперпрсшцню (ожег( лля ппорой целевое вьшжюнне яювюс» ктннныи Эпт точно соотвегсп уст процессу гпвлечсиия отвюэ. шмелиному е полраэлслс 122 5. ((К4 п Вв ным свойегвсы совремеммых нн ерпрьчюоров языка РКО!.06 пишется неявное исполюоваюювсгореаянтаШшл(мдпа. жс н»оэа лют сс цярасшро с (с(аьа3погшшьшпрг~оп( В т орки вреюмаюв волэтагсльство р(х( эквиедгснтно доюзажльству югш цо Р(Х( ломшссни ло:кно, т с выражение д(Х( ложно лля мышой цншр рюэшнг, тш юю(юй набор аксюм яшшсшя спшным Интсгюрювтор ямка РК01.00 на основе юп рима унпфикацгю из саввы 2 даст более »астм й реэ>люат, чсч общий ц(выпил опровержения разде. шсюш, «сани й в разлслс 12 2 Вмссп прсверюг всех интерпд пш Ю о шстируег только те выражения, коюрыс содержат с» в бюс дэнцьь в явной ф рмс Сфсрмулнртсм эпг ш(жни.
чення. пойм четко увгшсть неявную шранп сннссп, мыка РК01.06 Прслположны. что для каждого сред мата р и «алло« переменной Х нэ р мможесгво эг пь ., а„составдлет область определенна Х рабою и рпрсштора РКО1.06 в процюсе Унификации осноаыавегся на слслуюших принципах. 1. Ххсгтоьгэ сб т и атюоа ю г е дил вшх тлсмюпо» одт сги опрелеления алю сели гш значси ч не адепт« шы Олелоютальао разноименные юсмснтм рэхлвчэюжа. 2 Аксиома чьлу гю чцр (с( ьей г(Ф, д(дучд(а,( р(,1 .
Р(в.( Зю означает. что «щможиь,ми реалнэалилм оп ошсн ы южного шсн ы пшпогся олько тс выРажен~ , которые содср втсп в описании талачн. ббй Частьц Д Допопнитюънме во талям ч нскусстсвнн (па лава (2 двтоматнческив рассуилеюю КО (16 послсясватсль а выбирает первое дд , ош,ц Р Ни Р Р г УдифицнРУста, Затем это выРеж и„ тс о гэар тьюнкгн ис аспол„ туесе дю арин , слепя» целей Если ы пифию ггг „, ф та ледовое вюрш«синс принимает приволяшее внр исиае ят у ф н пришлеп»с «райн й аи™ Р УНИФГШГГРУЮШЕЕЬь Прелнол ш 'ГЕГШ Ь, исиопьэуя первое вырэпение»рограичы ф а ид. Тогла палевое выражение ириною при пплстаиовке унификации (емс, .
с, Ь, Ь.*а, э, . »„((4. эб(ж ш"ьтстел «»" стек ооюаму целесообрю„ Заменю, что список ц юш«не(бент Епш юмрпрсшгор юмка РКОЕОО не ~~дцт „„ прнпюшуюь! ш гпшеняю. ю он вотврашэстс» ь бмшыйшей точке выбора ~юаг~ш эес уста»смен»не поыге этого седа и эыбггряю сд унифюмц н (в соо аюствин с порядком в прогрв™ р(. 1'»ким образом, РКОЕОО мв„и зуе поиск а глушшу спею напр»нов пространство дняью ьг нных выражений Если цюеасс ырапенне првэоюпся к нулевому п(жлложению ( Е, то пр гююш этомуюмпозвлея совет»но «уинфпкации ебсспсшваст ннмрпрюапию, прп кош(юй исходное целевое выражение истинна.
ю яшо всзвраш в ссошстсплш с порядком следоеанна выражсюф в программе, послсдажпюпнмй «тык РКО1.06 лспусюег вспальюваню вырюкення сце нлд ' Как описано в пслратяе. ля 14.(.5. выражение сцг мююто помесппь в лнтьюнкпюное вырюкен е в качестве оный леви Тогда пнюрпреюшр, доспггнув этого выра» еюш, фиксирует текущий путь вьпюянсиия п(югрвюш а полмномсспю пслсгшсеок унифюшпии, сделанных после выбора выра сюи, шлериашсю с е прн эю г сэио выбршыж югююнцп внес выражение становится елггисг аеии~ средство. приве»сии» шалого вырежсння, Если процесс прнведснгш завервгшэ не Ка поносив»и у, оспе лир»пепла со с, то есе днтьюнкпююс выражение считается ложным. На и.
шике юя ю» Р элюации мех »изма с с иеобхолимо хранить возвратные у"юэ тели Ляя, ствуюшего в у шего в приесленин выражения и всех сто помпонснтав, распслоие« мих до вмражени» с т ь Наличие выраженгы ццс может означаю. что вьюке оиюоие от,мент отмо отмолопц инюрпрсгаций модели Пю ою и г описанию г ю послеловэтсвьнога языка РКОЕОО. ьпелуе 1' ос моделью ел ржерже пил ра треш сина р дою 12.2 1.
В логическом программа й, »с полюусмыт для ретолюцни, д стгцт дцэьюикгилньгх вс моп ости прслюавлеипя в ю,гд» с,тс, цг дед,и,к ство хо навскггх э Р чв бо ть ш лес оюгого п пенса в юрновской форме кажлое выр'жени оложнтельного анте ала 2 Следующие струпа 2.1 Це ы позволяю ют ггрелесавшь валаху в хорновской ф Ры елеаьм выражен вя это список уп\срждснпй. «ш ме ; ения разрешения.
Для о атоРме необколимо пР сРнш а пРонссс' т Р мр нонки уннфикац н ип несло ис «видо о а, строится о рнца нс, вы о ниса иолам. ое сушествусту р вело ис до по»уча я пустого радения (есж така- 2.2. Факты а,т- это отдель ыс выражения, используемые шш реэоаю ии. ц 2,1, Хорновсние правила или аксиомы вг-Ь, Ь„., Ь„ м (бшпэ и с) ЯОГС) а«,С севе) е 3. Акюп ае а млаяю м еал Рл эш сея в Од, Сд а„) сг. Нта зл мсн ' мед. сз «кают Об й полный сп сан слпншз з ло елпзаваньт ннтсрпре™рс «зыка РК(31 щ ' а пак мсн О пю мнажесГзэ О зы е РКОСОО все целевые л О 3 О Означает, чга в язы О ' Ота.
гся л жнммн Эта мазке.г ь ю вюстл сщпс гндамь палевого ьырз:ксннз де сг, Об.'спеша ю ме «сщ«д оку. УГ ГЗУ ГГ ЮУГтГЕОГРЮПЮПП Вазыы "' „. „, Нз кнк, полшлга пРабвсмы отрнцвпю. Яшшютст РКОСОЬ Яана ЯР ма аэ л . Из более взьпымв е«'г 'згв':гг»нчесхаг т прогрзьп нраппння В, Ю ЩЕН Л Сснзп Щ ЕСКОВ МОДЕЛ Г ЛЛЯ яе «и вхопден й, чю нрпвод тки,юм жп д с отмет ю аг утств е пр верки в ст ом (раздеа 2 3), а паис нспальзапаппс вы а еню с его паюножест ом Ра )т с претюароэ РКО).ОО спсдует рассь,ш),ццвк, „. „ Со ременное покощнвс ншрпре И.
Орые,1робзгсмы ьпззны тем, что ма ссголняшппй день де ср пюй очхн зреннк И шорыс шсшвус зффскпмного п ф)с г лунг ~гт решенп (проверка вхаждемпя). Друг«с связаны с „ и кампоат нюпров и г ов и спал зозанне поиска в гл)бнну с возвратом (пырюгещ,е Мпапк э омюнл яю а РКОСОО эшгяютсп рсзуньютом попыткм резлнзовать неды м ~роваяну ованну ецзнпму встаю лопмескаго програ мвраваннп на послсдоватюыпщ комгпю ре К Начата сзтсз проблем .свшанн с с выракеннем спш В мюючпт гьнам рюделс главы 12 рэссматрпваются апьтернатпвпые схемы огпчь сл га д, р ыеш та сок р суяшеннн 12.4. Дополиительиые вопросы автоматических рассуа(девай Мы раымпрелн слзбыа то,аа решення задач, основанные па спнтаксп нх свой. ствах прелою с кя н првмененп стратспв юя амбара камбннэцнй в процессе ппзнс Го рсбара В заперш нпс этой главы прнведсм некоторые колтмсдтарнп по оспа«"г'и аспектю спабых методов р шснп» 12.4.1.
Е пц ...едпцое предщцщтеппе длц рсаллзацам слабых Методов рел Крап лща локюпе спм спп разр:шсн я требует прнееленг всех э"снах' " лтг яюоз фзр ° Такс с«нное е прелат «пеппе почва яет рззр шаг вьгршксвня н уп)ююст Р"Р' з Р к'и шп Р:ш ннл а' Сп кл 'пг. Опнавн щ нсдошзткам агата подхода пвляегея вэзм 'ж' щпсрп вкной зрпсп чюкой впфо ,Ь ' ' ' прь зппп з працссее се од нообрюпого коднравающ срмп преясююсгап п ю а спал .
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
