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