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