Дж.Ф. Люгер - Искусственный интеллект. 2003 (1156457), страница 76
Текст из файла (страница 76)
няща" л „ри когср г построить отри ' "дс зиачсн "П цс„сюрос сущ,„)1„17) «д рве. 122 означ т. чтц ф„ цсргно ян с,цио кз ( као „вдела,, (ггпо) Пол „щ, Вовсе слрабиа э от примерз улет и прои щкледую рагс« л( ю пп опв пипи ФОРШЬ' Рд иэъюиитиви 12.2.2 Построение див л абросванне все ио, к Люлю НЮЬШ Л зъюн э ВВЩСЯ ОИЬЮИ прел тьелеция 'се»ар»»сипя в бюс„ прсдпсло»синю в нсн. Эш ЛЦЭЪЮЦКПИЯ, псс«н По пр "л В то»е врем» вЂ” эт »юп' ОбРюОм, сего б ( ОорйП вп(щеНХЦ ( альма вм »меною сяещет лоб»везть (с и мощью копаю»клин) Тв«" ч обрезом. Ваза данны» вырпкен ня, в данном случае Юе б о ы конъюнкции мови с опустить. набей дцзьюнкгов, а Операторы конь и й и ю (Уяоуб Ом(яоо) Шв(ало) Р 1 ° 12 2 Хо.„щым " Р Р с «сцользова пой в г вас 2: а-ьЬц в Ь.
После этого преобыьэован выр «синей) причет вид (ЧХН (а(Х) ЫХЦ (С(Х,)) (ЗУУЦЗУН с(У,ЗЦ Л(х, УЦН (УХНв(ХН. (Н) 2. Теперь вы лннм преобрщован ге оператор в отрнюн щ Дил эпп мошно вос. лользоватьсл формуламн, описанными в главе 2. »апример такими ( а1 — в (Эх)а(Х)ц(УХ) в(Х) -(чх)Ых)ц(зх) ЫХ1 (а Ыц а -Ь (нЫ ва Ь используя эти мдепщ . Формулу йц ма» о привсопг к в«лу (ЧХН( а(Х) ЫХЦ (с(Х, Ц (ЗУН(ЗХН-О(У,ХЦ О(Х, УЦЦ-(УХНе(ХН З Теперь нсрепмеиусм все переменные тзюця сбрюом, побы псрсыенные, щ)оникс ные Рюличнымн квшпораыи, имели различные пькма (Эта операми нязыяжпе сщнларпь зачией персмсннык ) Как бюю указала в глше 2 пче псреькннс— п «кипой — зто ююю обозиаскюьгвашш Воспользуемся на этом шмч следующим ..„.
бр 1 ..„.Об еэсвеюкм ((УХ)п(ХМЧХ)ЫХД~(ух)а(Х) (Уу)ЫУЦ сменной Х, переименуем ес с сПоскольку в (ш) содермится лва взоъдсння версмен ', ерс луюлгнм абрюом (ЧХН( а(Х) Ь(ХН (о(Х,П (ЗРН(ЗЗН с(, Н У 7 О(Х, УЦЦ (ЬШНЕ(ШН. ВЧ) Расом но Вова ель „ по приве чю щ» с цре,щ, теис, ~то ории прел» т ат льк "" ": одно " ~н'"'" Ф р а „ „, ' рклещй ш у ° н.. „.
Эта свя »вано с те пени лиа«о „ , уапц ио, сели а »с*олпом м место «рщ есть пРатнвоРе с, то сио остаетс и в днэъюнктив й ф Т ктивно ф рме Т шс црсобццв цс цврушают пслнотм лсказате ьства провср:кения. рющ ~гр)ем процесс приведения к коцъюик щи й ормвю Ой ф й ормвю Ойф рмена онярегц двзцзм краткое поясиеи е шмдоиу з шОгс Эш и сивине не претснлуюг нв щ.ств зквивале ности прозбрщоюш й лл» Мор«и прсюн ов е иолом л „уюшил вырамецня согласии пр пятым в тамм 2 соглаше чя прописными бщ, Обпэ« ЕНЫП'Р'М'Н ЫЕ(ИГХ УИ7) СЧ НЫМИОУ В ЗЩ Е ч у щ д и) — ко станты и раничные зиаче ил, а иача ьиымн с ро ммн буквамн (д 1, с О и е) — имена прсликатов Для увугшения ч«газель ости выракеинй исп е„два типа скобок. «Руглыс и «велратиые.
В иачестве примера р «метром вырамс- Х, у н 7 — переменные. а) — к стан ш (уХН(а(Х)г,Ь(ХЦ-ь(с(Х,Ц (ЗУН(27НО(У.7Ц-ьп(Х,УЦН (УХНО(ХН (Н 330 Част«у. До инте»ля попшнцюдшыц воп(юсы решения задач мщгусо упса 2 лвтоматическив рассупдениц 531 (ЧХиарн ЫХ))п(ЦХ)а(Я ЫОЫХ), Значсмие такой стацаарппаш с внес понятно только пас е опнсзнп» пропсэчрм уннФвшппн в процессе резолюции Она сводгпся ь опеку наиболее обшей )зюфицпроюннон Формы, сбсе ечнваюшси эквивалентность прели«агав в двух выражеиивх, а ззтсм сс пад. стэнс»«с вместо вшш псречснных с олимакавымн п снами в рз лп мрал ения ) э», если имена некоторых еременнык совпвэьют, то в процессе ) афикашш онн моиг б"'ь Очкиьтснаваггы с оследуюшен(вгэзмояшай) покрей абшнасп решений Описанный процесс используется ол прпвсденпе лю(юго сбора ны)мнений из тс Ран Промт«этан ь шььюнкт наной форме прп зт и свойство палнотм опроверюшш со- 'РУ "' ' ШЮШСЯ.
Прои члюстра см процедуру резююц н, используе ую юм генсрэютг дою'гьств на основе этих вырюкений 2 3. Процедура дцндзптплбетца Нд осНоВЕ бннпрной резазюгн(и рг"ге'тур» шграаерзссюзяраэрсгисння (геьсдппоп мыта(гоп) лает ответ а ззпрос няи тс )'пруст новый резуяьтпт пут и сведения набора выр " р в вы аженнй к р шорсчию, пред- 333 гп "птпматичаскис рассуцдемип 332 Часть ц ",.Опи и„телшы и-„нюл „юп(засы решенью задач иск) ю ш поряд к нх с»алазани». Э ,орм гл ° зм ина ть любог конфлн ева, ие гпьгс монце мс яу * О рьу О ( Еу 1) П(Х у)П (ИП ХИЮ Ивуигюх( м нм ), и л ар ь Ь яар макая б шин) ГООГ ° ", здю Я С ПОМОШЬЮ Яра ГСС О ГЬ, зм .,„, н е сь»з'и"(', ьэ)стоя «в»итар суше твова и дд„ исрс.
( Ннсюш' „с соДОРиат и гдтюи) В»ьрю ' ', дсремю ую. связанную кванторо су ест. нснио 52)((ао( юрзд н П з юц.сзше й и Р Р ' о С едем 3 ш Оозвоюет о Реле .ь ш такое «о оРом мрзц " и еобдзате ьно оказывает, к по Уч гь эш зивы нвюиис ПР» з' " ско о о прпсвое ив имени значению, «от лишь властен метода зн ее»не Он» лишь а»ать Е лн пскаымм ьт зц»'тепггс"г является Н т,з ук ' Рсе с. доты о сушсс за»ать (~(~од(ХЭ) можно зач ° св ь в ваде Гоо(..., Ра. ннсма помпа зтредс ения Х дзш, б йдо). где пмя ддо взято юс с юс гиля, Х. При этом аскалььо арг) сито» д союаид Есюг лреднкат имеет (Иа(еп соЮаиг следует за перемеимыми, связанными «в» то н с)шествование.
след . б ь ф пкцией юих переменных. Э б аспг. то она должна ьць ф) веса шн лм в ажсиие пратс ссс скале павлин Рассмотрим выр ВХИЗГИюошег(Х, УП го че овека есть мать. Кшкдый челов Опо азн чает, что у каяшого че о ная Х, а сушествавзнис матсрн— терц — функция от конкретно взятого человеках В рс.
зуньтпе скаясм извини по учим ОгХ)лююег(Х, ю(ХП. Это оз ачыт, па у «ююого К есш мать (значение ш длл этого Х). Вот другой при.,' мер. Вьфпкенне (УХИУУ)(52ИУВ)О (Х, У,1, ИО) в рсзулыяш сколсмизвпни можно привести к виду (цх)(ч Изш)(гоо(х, г, Их, у), иги. Свзыюие ююшром с)Всю»аваню переменные у и 1 пюаются поя «»аюерп всеобшноши переменной Х (справа от нее), ио не пол «вантором всеобшиастн насти пс. Реюннай И'. Поэтому кюкзую из этнк переменных можно заьюнить сколемом емомпй Фуншшей ат х Замаки переменную у сколемовскай фунюшей ((Х). а 1 Е( ' — (ИП Формулу( ) реобразуем к виду (ЧХИнВИ( а(ХВ ЫХ)) (с(Х, () ( с(ПХ), д(ХП б(Х, ПХ)П! п(И(П.
Пкле сколемизвпин мшкно псредти к и. б, в «отаром просю удюююя "г- ' ,мю«с бн сюючим все квзитарм вссобши кти. К этом мамонту (после и. 5) осташ сь яи»и и временные, оввз»лиме кваитарвмн всеобшности, и все «онфлик™ " Р .у а ценню усср»и (в и 3) Слеповат. ьна, все кванторы можно опустить, тюс г'эя гу ем ь»г'б' ю зел а дак Ч з В дакюательстзз прсшю агаве выпоаиение утвер:кнснгпш 'лю э дс)с мснных. Формуц рп) примет вил (Х) ыхи (с(Х,)) ( а(ИХ),йрй) п(Х, х,йхПП е(В) и РьпРсл имэг мрадени Яз дс скоп юн пю ди ю свойс вами ссоц ати пасти нд стриб з ннь, (главв 2).
что стр упю асти аперап й и И . , (ь с)=(а Ы"с '"„ ,)=(, Ы о авиа»ает. о псрапии * н можно П)м ие бхаличости шнн всс " Ро зво ьным абрюом 'Рупа Ровзть и и альта атьса с»аист»,м д„ нб вы 2 Поскот «у выраке не 'г 'т" грнбутнвно пг нз и а. а (Ь с) у,«с прела аянясг Обод днэькнкпюггуцз ф 'оцр: брьззв ать Ош о для опермагц юзт из «шш с сдует мкполюовю уг нььг оном а (Ь с)=(а Ы (а а) Оканчатс ьна вырюкенне РОО примет вил ( д(Х) ЫХ) а(Х.О а(ВП (-вОΠ—,ЫХ) сбПХ),й(ХП П(х,((ДЗ) с(В)) (зы) ) с(ВП (мн) й Тсдсрь выделим каждый конь пкг в атл л нае вырюксни П (м р ' ни реала ение( айбу. дьт Редставлеио в алле наук выра»гений (х) -,ь(Щ .(Х, и (В), а(Х) ЫХ) с(((Х) й(ХП П(Х, (ОО) а(иг) д И, иа оиец. снова Рюдсяю Р, .
пр во порем ым в ьадлам вм. ряжения, сгенерированном в и. б, раэлич ые н снз. Эта де.тэекз на о нове присе- ленного в главе 2 тождества которое в свою очерель след)чт нз того что зменз переме нм — мо лишь обоз ачс ня знакомссг. Теперь, аваля ов с имена переменньх О и И пресбр зу формулы (гха) и О»Ы к вплу а(х),-ЫХ) с(Х, )) (ИГ), (ха) -аОО) -ЫО).-с(ПО). Р(ОП П(О, ПОП.е(Ы (хь) П пи О(ючне в зннкает ири попариод, юеиисз ( т 'таям. с на у зулсзын з Рю „азддгопн» не привалит» прап»юрсччк, кня ю базы»юн ' ' „„— резазьаснюа (геза(мпг) — дабы, нмк..г "Р зара.
ааксгся з бзэг ям г, юк пРансхолнт Р юных акрам'ю' р лт о»алсос рсзолюпии в исчислении пред„„ П шдс ыи пакюю ч высказываний Ию Ременных) Рд нз абюсти» испания "'рнм сс Р "Ре»Р»з' 'нч2и,.блашии ° выс ьваннй дш(„,д темою рг Ьрь...ь. в,л епр «Огорых а,= ьг, где ! .!.л н !Пщп В ршу сюср:юш»* лаа имер"а щд Резслхюни полу им зыраисние Тамм обраюи, ршальвдпа состоит иэ анзьюикю и всех литерю нх зырю ний эа исюпюеии р л кемп р лов а,иЬг Про ас ра »клен е по ео ИО Ее НТ ЭНЮП За Ранки ПРИИДИДД Р ЭДЯГЭШГ Д з -Ь и Ь а — даа нннм ан ь нннм анраксигы Заиь им, юа одно из значений ь нли эюсльно ис нно, а а оров м о, а а орое — л мно (Ь Ь вЂ” это танго о я) Следоввшдюо, „„„„ аном нз л срелоа з ~рантики л ат-Ь с, Ь, сг-д е, е г, д г а Ь с, Ь, а П в, е г, д, Докюат льспю па мс од с ол апра' оду рс олю ни ооказано на ри .
(2З. Пи»ам' к д г заовырамшвшв Сн ол газа ' и ол Ринг лрпнворсчне ЩЩ!2 Д двт мати вски» рвсауядю" 534 Чш Ч ев а Наполи ые в ни!вага" е вопросы решения задач иючюс а с ло юбшъистинна В Рамсниса а — зторезольвентадвухролнтельск х з Ь Ь с тр 7 Р Р эаблаюи истисленна высказьва «й Ур бу„ значение а на основе юелуюших анена (естественно, (ь — т и — М для всск пред. Ла С йгнт ).
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
