Дж.Ф. Люгер - Искусственный интеллект. 2003 (1156457), страница 42
Текст из файла (страница 42)
Алири м хроно огнческих вол рагов систем мчссеи оровер ч «се альтернативы в нростраи тве, Овн о ел коб ремиз лин иго ме аигп а »шпека татра ымповремснн неффекпгви ы,анри чеиьбыь амлрсстр сис — сел. сис — бесиа. езным В пронес п Г сьа жслате на гс упн ар, о чку иго ранства, гл ыт. н Гк«а пр Елена, и откоррсктн)юв ть ре ние в т ом сас оянш Эта ш Этот Оол л наэываетса омдам м г тмеп Г еигюос В Рассмотрим ргшер не оно онтоннога р сс шипя.
Нвм собходимо приюти к тактюынию Л. которое мы не икс. не ткем выв стн яно Однако сушествуст правд пшюбнос пр лпыоженне О, «торсе, буду с . р НСП ННЫ . ПРИВОЛ Ю П Уакимобрюом предполег епяспин м,» выволмчл прш., с П ло. Мм, с уашениснна шс а шс. Гбез) етап, »авывоГк» иснстнннООЛГПВ водим1ил дВ ало шелл шс.ул лим нстиимос ь 1 н н И, накоием доюэнваем, по лр кне ре о юк и елло монне О вллетс» яшкнмм. Что Лелеть в л ииоГ снтувнину Д(7) * В(7) С(7). «Второе читается тах. плн д(7) локюуемо н если ы ие прогмворечит тнаниям лот ляюшим прели можить В(7), можн вывестн С(7). На первый взгляд, лог к л.
гика умолчания во многом л л бма Описанной выше ие к"' тонн ш ашике Мьк-Дс моти Г м,с -д р ти и дойла Вккн м рюличисм мкюу ними " по ошью которо а сове шаетсл еш р сл рассуждение В логике ум лчания исп " ыьиы лравыа вывода и авдспо р добнога расширении исхалиого акси логи сорем алиое расшн ение сот ~век гики умолчания дл» знаний, и е св о)„м исл.пьтоваин» олыго Ггт ГГРВВГГ О ГИ ни, представлен ыт нсх дным множсетаОМ "" " м а ратсм, есиствеиио пол ает ой бюн тлений Э о й о можно продсмоис и аа угдь Год ред др гидг лодгшных (таски(ГОН грироаат иа сведующем ЛРГГМВРО. .е О у пв б(х) -Г от«дон!ос(Х) аьлое в рысиис молил ислоль Обиеге ховать для сотдаии» уникаиьи'тг ованногона схо на. одном множест е тнаинй.
Частый Предстанп нтеплс в Ракурсе искусств 830 Гневай Рас ущвниявусловиыиа лрепоынг мОжнл ггсл)"Гггть ПРОтггВОРсчинг„с р Ипюггшуя оеср т Р к по "пе аротиво н ", , П явшстса хорош ороюим стУлеиим, но любЯТ в Р Рс'ульт„. СС Огдс охшо нс1юльтовать с '" У миол сства прсдик описания ситуашш мои б атдалбХ) М«гибУ Латд(Х) дгябивгле(х) УХЛВМУ деглол(Х! * ло е дооб Вибепбдвгог) пвбУ унт«л(ЛЕГВГ), н всчеРннак. ИТ этот мнажссгы вь, тле вбу Регаол — итон в р ывепи ич и ВУ3 тьк и заключение что и ег ме о ЮИТВЮЮ СЛИВ, По оп ОЬОИЧ П "ст бь л нвы Гклх Петра и нс нтвестио. прилежен лн ан В учеб.), лес ичной информаюи о прнв ° Одним из метолов рассг- " Всс)кисни» по!вол»юшнх избежать таких п ых (н Тул татов, Велас!ел склок т Лежпааиис С«аьмеа На Пс(КМСНИЫХ, ИСЛОЛЬТУЕМЫХ В Моды нноч Оырат ре "ле протнворсч ворсчнт" уа нм образ м, елиноклы связав значение Регат с „ Р'лн- катом аш у ВГ нл ла б нлн ыклг бу лвГЯ.
сисима должна прел твратнть святываи итны нгмс р- воположн» 0 . Ву про»икаю Дру исси ы монотонной ыгнки (М беппти ° ОоУ(е, 1980) ЯвлЯютсЯ еше более к исеРлатиннмми н ЛРед юг любые заключения лз таких Гютемииально противоречивых множеств вмраж „„„- Вотможна и другая аномалия чугегуятвпПП Млойлгобу ЛЛГЯЮ1-ьпо1( Гиду Ьагб(У)) УХПОГ(ЧВГУ ВГПВГКХП МПОГ(ВПГбУ ЬВГб(Я) -Г ПО((яглбг ПН б(Я), где гагу втаб — очень уиный Ит тпм вырккеннй можно вмвсстн новое выршкенне. ЧУМЛОКВГНПУ ЛЕГП(7)) ПОЛЯ!ПНУ Пегб(ЕН, Псслелуюшие исследования семантики ера ра "ге пр т в речит" аправленн иа решение проблем с такими аномальными рассуждениями.
Одним нл лааьиейшгп расширений »навете» огика, одееве неаюн(ся ае омс ческ е абратовсине лолам б (ан!Осрюешк! Вс) (Мо гс. (985) Другой немонотоиной логической системой является лог к у олчлмм Ме(аой (айгс). ытланны Рейтером (йенег, (980) логика умолчания использует новое мн жепио лра.
внл вывода авда д ний Любую те рему, выве ка ест е аксиомы для дальней и рьс. бы утаи вить. Накса Р сшнрсние ведснную в р ниах и ыо „ чн, необходимо беслечип, О а «ронне лы о исп льт в п я л и а управление ар несо м приняпи сшс нй ог игш ничеГО е ГОВ Рит О снбо Встмл кн П б Ре астма кнмх ореад падобнь расширений ит 6 знаний. ЛР исс ття темы асом (уоигсг*йу 1 , 986) р Отданы в работах (йспег н Спаси Ш. 1981) и На«анси сушссте)мт снос 6 немои отсинм Пассу лений иа о нове множа Венного наследования. Упомяиуый выше петр (хортннй сгг ртннй сгглен н любниль вечернно ) мог иа. следовать вишь одно ит миожства свойств Пес аль алшу Он — хороший студент, и, вероятно.
н Оынчит ВУЭ Но ан м жег наследовать и другое свойс о (в дан ом случае час. тично лротнворечашсс первому) — бить люби слом ве е инск Слы ве ерииск лыовательно, н мо. «,ети не око чнтьВ53 Ишки й пр блсмой, с «огород силкивакмс системы смонстониого рассуиления, явлаетси эффектнвнаа пРовеРка миожства за«лючсмий а свею итменаюшик пРеллодожеиий. Например, если лл вывода е исп льтуегс предн г, то отмена г исыючаст таиж а, а равно н шобос друпк заюючение, нсполиуюше В Если аиугствует и«эави. симый вывод а, в должно быть исыючено ит списка «орректиьм у р.
д ини Рсалитацил эт г пр Несся в худшем случае тр бусг пересчьча всш таыючеи й при «лжлом ю. мснснии прелноложе ин Представляемые ниже системы л ддержкн истиииоспг беспе. чнввют мехамнтм да» лаласржкн иепротнво(кчнвссти баты знвмий ВЛ.2. Системы Поддержки истиииости ЗВ! Помести з омпоке т о пред В СПИО лыД Ор,д„л и сев» й.
други н миожесгюми пре „, ий и» ОР лиаз омечеи о иа рип 1 егк й гя, авакс«а миоксс ом прсвпалаж ий. »старые до ы быт о ы ыт достовер и л рассмагр ваемо о пр лпоаоженю Втор е юо с о Сыт я и с ласка и стао попок иий,ко ср еиелолжн быть с иинималляраеа рю мага р дол. ю Пд Р с 81 прелшавлеио аба иова» е пред»за гыту Пагп1О мд1 л юшо из предаю в е ых «ыше Реп«паз .
Обозиачеи на рис 8 1 дмпирсваии ш вбмм Р гбгищ лп, 7982) абьасляютсл на рис. 3.2. Ор дпыылки б нованзш помечают я е саотве тали а рис. 8.2,, а омб мгн«прели ло еиий. пр од»шах к закпючевию. абаз вчаю сявсоответста и рис 82,6 Π— Г Из иифар алин, риведе ой ла рис 81. Решке ь зю мшкет з ч, и типу ьшп1О «61 стинио, гш ьа р лгтыьш дооо ы ив 11пвкаП истт'»пай авмеспшой факю, чт ораши шуае«ты прил кяо зчагш К ш. у е в Д б мо евим пред осыл«3 Р Р зму ре аоп1овысб. Эю попы» иие поэзо ег мшстн П гиду Ьа О1пв«ОП.пар дпасьыь зюпу Паго1паюмйб.ыиеюпадаср зашя в пс.б.з Об аписа» мии наметОбес авами«шш з й вовой с у пии огрэже«ы врио.б, р ки М»ООГ летельств ю на 8.1 я 8.3, в СПИО рел аапгм и«шеи вно нс выра.
е ып ак ий По к П10ирсшатель задач б едки ю вр» и бшсщ Р лета ы Чаыь1И Представ е племя еи и т в р Рсе искусотевииогс ззятамидол е»аройт еще ирсе. с» олс ич Ошю ваз го зз»с»маса:й об ой и формали . а и «ине — „ СШ ИИ",' ПРОП ОР ЧОВО Г апа ало«тат сявпсред стмег лож н ю Об ил'к ' т ю, г» а быть ывеяе»ы ее»авиа»ма Ог д и О у ы кюсю О Далее «зло дви И 6 ЫН Мэ Д НЫ ИЗ ИЮРааЮЬЯОГО аРЕДПОЛОКЕН В, Нс Озк е, бм з лаюзюы июм абр зо 1, накамсп.
л сзм кват и »сиада Расс, "ела алгар пма воз рата а учетом Длеиспоюз а иия сис е еросс, ке бюл мови ик люуюшм шмл йс виа, о м а е. Эт обоснаааю 1. Саша ь с апис эег праиесс вм ола л ола па»наго мшючеиия Обо повадке дал;„и шфашы,ер ва «пир дп пр яположеиия,используеьгые ллл получеии 3 юзючсния 70бесечт м з аяд с а Рели рам обсе»аккы,ко«расправ по к прот оречию.
3 Оп ннтьлюкиы прелпочокеии» Е Оидать ,о«ш прлпао снап в дк в шюзючешк, «о орые испол зук в своих обгкиавамиях отмсиснкые воз»из пРел алеке«ив Каи с о кеоб- юдвма перепроверить, могу л сии бьп в веаены независимо от отмемсииыл ир д сыпал Нюке пр»в ли ся два метаю поегр кния с сшм озарата с учета за ю геа В 30оуы. И193 ошкмм олив из первьж с стем поддержки ист д ости, люв пию е й 33 р г« ° ы к ту г юм обое аккия 0 ы йсагюп Вазед Оищ шмпг ивисе ьуяе 3, ил СПИО Д он дойл(уса Ооу1еу был первы сслсдователс, сторм« яака от. люии сискму воддержки иста»пас, аеш прсапаложеплй к их обое»овевая сне«мы рвъуюеиий, лейсшуюш й е немпсрой предме юй области Резульштом 3 ога рвзюяе.
шм «властов«,чю СПИО«юмодейсшуш с решвтеле задач (вак к»о, сис ода и матичес«ого лоюктелызеа тсарсм3, вогчэя фармалню а новых лрелпол юимп обосноеаик, свою о ерсль, паскаля» решатеяю зааа л фармюзию а Р:лис»Опт»ге я».кашр валюш 6 дестааери и с учетам ауществуюших обоснований СПИО юдоли три асио ые оп Ршии Перва — проверка сети обое авя«лй ЭП проюр у макет м пипера ь решате ь заоач с помощью запросов да. "До; е» """ позер прелпо» ксюш Р1 почему я аол;кс» доверять предло о«сияю дт Как Пр " пвю нияз ж вас«вер"" 1, еи й СПИО явл я молифпкашы сета зав си а тей на ос«аз фар аи«и.по «ал И ш т Ой раш тел м задач маагзфикагги подразумевает велев«С ки я ил устранен» предп кылок, попал»сапе противаречю аваю арелповож кий. П й.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
